Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Study on emerging applications on data plane and optimization possibilities., und . CoRR, (2022)Extending the Sparkle Core language with object abstraction., , und . Acta Cybern., 17 (2): 419-445 (2006)Temporal Properties of Clean Programs Proven in Sparkle-T., , und . CEFP, Volume 4164 von Lecture Notes in Computer Science, Seite 168-190. Springer, (2005)Embedding and Parsing Combined for Efficient Language Design., , und . ICSOFT, Seite 244-250. SciTePress, (2013)Testing framework for embedded languages., und . Comput. Sci. Inf. Syst., 10 (4): 1647-1659 (2013)Adaptation of a Refactoring DSL for the Object-Oriented Paradigm., , und . Acta Cybern., 25 (4): 817-846 (Oktober 2021)Are Graph Databases Fast Enough for Static P4 Code Analysis?, , und . ICAI, Volume 2650 von CEUR Workshop Proceedings, Seite 213-223. CEUR-WS.org, (2020)Proving Invariants of Functional Programs., , und . SPLST, Seite 115-126. University of Kuopio, Department of Computer Science, (2003)Component-based Error Detection of P4 programs., und . Acta Cybern., 25 (2): 537-554 (2021)Defining C Preprocessor Macro Libraries with Functional Programs., , , und . Comput. Informatics, 35 (4): 819-851 (2016)