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

Fast Sort Computations for Order-Sorted Matching and Unification.. Formal Modeling: Actors, Open Systems, Biological Systems, Volume 7000 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2011)Predefined Data Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)A Sampler of Application Areas., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Introduction., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Metaprogramming Applications., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Associative-Commutative Rewriting on Large Terms.. RTA, Volume 2706 von Lecture Notes in Computer Science, Seite 14-29. Springer, (2003)Principles of Mobile Maude., , , und . ASA/MA, Volume 1882 von Lecture Notes in Computer Science, Seite 73-85. Springer, (2000)The Second Rewrite Engines Competition., , , , , , , , , und . WRLA, Volume 238 von Electronic Notes in Theoretical Computer Science, Seite 281-291. Elsevier, (2008)Pathway Logic: Symbolic Analysis of Biological Signaling., , , , , und . Pacific Symposium on Biocomputing, Seite 400-412. (2002)Debugging and Troubleshooting., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)