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

Traces, Histories and Streams in the Semantics of Nondeterministic Data Flow.. Int. J. High Speed Comput., 5 (2): 225-242 (1993)Foundations on Coordination Languages and Software Architectures., , und . Fundam. Informaticae, (2006)Graphs, Hypergraphs, and Inductive Logic Programming., , und . MLG, (2007)Semantic Models for a Version of PARLOG., , , und . ICLP, Seite 621-636. MIT Press, (1989)long version: TCS 86(1): 3-33 (1991).An Adaptive Evolutionary Algorithm for the Satisfiability Problem., , und . SAC (1), Seite 463-469. ACM, (2000)The RPC-Memory Specification Problem: UNITY+Refinement Calculus., und . Formal Systems Specification, Volume 1169 von Lecture Notes in Computer Science, Seite 521-540. Springer, (1994)Semantics, Orderings and Recursion in the Weakest Precondition Calculus., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 91-109. Springer, (1992)On the Relation Between Unity Properties and Sequences of States., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 594-608. Springer, (1992)Multi-class Correlated Pattern Mining., und . KDID, Volume 3933 von Lecture Notes in Computer Science, Seite 165-187. Springer, (2005)Coordination in the ImpUNITY Framework., , , und . Sci. Comput. Program., 31 (2-3): 313-334 (1998)