Ulrich Loup und Thomas - Info zur Person

(1 - 6 von 7

)

CONCUR Concurrency Theory: 22nd International ...

books.google.de

Henrik Bohnenkamp Arnd Gehrmann Christina Jansen Nils Jansen Barbara König (Co-chair) Ulrich Loup Thomas Noll Elke Ohlenforst Sabrina von Styp Acciai, ...

From carlos.martin at urv.cat Sun Jan 2 10:18: From: carlos ...

lists.seas.upenn.edu

... Ulrich Loup, Thomas Noll, Elke Ohlenforst, Sabrina von Styp (RWTH Aachen), and Mathias H?lsbuch and Sander Bruggink (University of Duisburg-Essen) Oregon, USA (collocated with SPLASH 2011) http://www.gpce.org http://www. facebook.com/GPCEConference http://twitter.com/GPCECONF LinkedIn: GPCE ...

(PN) CONCUR 2011: First Call for Papers

www.mail-archive.com

... ORGANIZING COMMITTEE ===== Henrik Bohnenkamp, Arnd Gehrmann, Christina Jansen, Nils Jansen, Ulrich Loup, Thomas Noll ...

Teaching, Supervision, PhD Committeesraweb.inria.fr › rapportsactivite › veridis › uid234

raweb.inria.fr

Thomas Sturm served as a reviewer in the thesis committee for Ulrich Loup at RWTH Aachen University, Germany. Previous | · up Home | Next next.

[PDF] SMT-Solving in the Analysis and Synthesis of Hybrid Systems ...www.semanticscholar.org › paper › SMT-Solving...

www.semanticscholar.org

... author={Erika {\'A}brah{\'a}m and Ulrich Loup and Florian Corzilius and Thomas Sturm}, year={2010} }. Erika Ábrahám, Ulrich Loup, +1 author Thomas Sturm.