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

Extended Transition Systems for Parametric Bisimulation., , und . ICALP, Volume 700 von Lecture Notes in Computer Science, Seite 558-569. Springer, (1993)Efficient Minimization up to Location Equivalence., , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 265-279. Springer, (1996)Optimality in Abstractions of Model Checking, , und . SAS, Volume 983 von Lecture Notes in Computer Science, Seite 51-63. Springer, (1995)Yeast: A Case Study for a Practical Use of Formal Methods., , und . TAPSOFT, Volume 668 von Lecture Notes in Computer Science, Seite 105-120. Springer, (1993)Quality Mining: A Data Mining Based Method for Data Quality Evaluation., und . IQ, Seite 162-172. MIT, (2001)Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio., , , und . CoRR, (2016)An Algebraic View of Interleaving and Distributed Operational Semantics for CCS., und . Category Theory and Computer Science, Volume 389 von Lecture Notes in Computer Science, Seite 5-20. Springer, (1989)A Parametric Approach to Localities., und . ICALP, Volume 623 von Lecture Notes in Computer Science, Seite 617-628. Springer, (1992)Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.. Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 806-808. Springer, (2008)A Homogeneous Framework to Measure Data Quality., , und . IQ, Seite 115-124. MIT, (1999)