Forschungsbereich Compilers and Languages

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E194-05 - Forschungsbereich Compilers and Languages
 
Code Kennzahl
E194-05
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 586 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kühn, Eva The Peer-Model tool-chainArticle Artikel 1-Nov-2022
2Kühn, Eva ; Šešum-Čavić, Vesna ; Smith, A.E. A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent AlgorithmsBook Contribution Buchbeitrag2022
3Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionKonferenzbeitrag Inproceedings Oct-2021
4Ertl-2021-Copying Bytes-vor.pdf.jpgErtl, Martin Copying BytesPresentation Vortrag Sep-2021
5Ertl-2021-Practical Considerations in a Static Stack Checker-am.pdf.jpgErtl, Martin Anton Practical Considerations in a Static Stack CheckerInproceedings Konferenzbeitrag Sep-2021
6Ertl, Martin Anton The Essence of Closures---A language design perspectiveKonferenzbeitrag Inproceedings2021
7Kuehn, Eva Maria ; Damian, Ferruccio ; Dardha, Ornela A Practical Tool-Chain for the Development of Coordination ScenariosKonferenzbeitrag Inproceedings 2021
8Ertl, Martin Anton Warum ergibt 1 chars den Wert 1?Artikel Article2021
9Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
10Ertl, Martin Anton Forth and IDEsKonferenzbeitrag Inproceedings2020
11Ertl, Martin Anton Von Groß- und KleinbuchstabenArtikel Article2020
12Ertl, Martin Anton Forth-200X-Treffen auf der EuroForth 2020Artikel Article2020
13Raab, Markus ; Denner, Bernhard ; Hahnenberg, Stefan ; Cito, Jürgen Unified Configuration Setting Access in Configuration Management SystemsKonferenzbeitrag Inproceedings2020
14Ertl, Martin Anton Division durch (Quasi-)KonstantenPräsentation Presentation2020
15Ertl, Martin Anton Testen (insbesondere Fuzz Testing)Präsentation Presentation2020
16Paysan, Bernd ; Ertl, Martin Anton The Grand Recognizer UnificationKonferenzbeitrag Inproceedings2020
17Soteropoulos, Aggelos ; Mitteregger, Mathias ; Berger, Martin ; Zwirchmayr, Jakob Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehiclesArtikel Article 2020
18Sesum-Cavic, Vesna ; Kühn, Eva ; Fleischhacker, Lukas Efficient Search and Lookup in Unstructured P2P Overlay Networks Inspired by Swarm IntelligenceArtikel Article 2020
19Ertl, Martin Anton Integer Division by Multiplying with the Double-Width ReciprocalKonferenzbeitrag Inproceedings2019
20Paysan, Bernd ; Ertl, Martin Anton The new Gforth HeaderKonferenzbeitrag Inproceedings 2019