Jochen Hoenicke und Universität - Info zur Person

(1 - 14 von 15

)

Personalien - Uni-Info Presse & Kommunikation - Universität...

www.presse.uni-oldenburg.de

Jochen Hoenicke, wiss. Ang., FB 10 Thomas Hülsmann, wiss. Ang. im Projekt "HSP III" Distance Education, ZEF Kai Mönnich, wiss. Ang., Projekt "Short-term", Dr

Jochen HOENICKE | Department of Computer Sciencewww.researchgate.net › University of Freiburg

www.researchgate.net

Jochen HOENICKE | Cited by | of University of Freiburg, Freiburg (Albert-Ludwigs-Universität Freiburg) | Read 82 publications | Contact Jochen ...

Institute of Theoretical Computer Science - TU BraunschweigTechnische Universität Braunschweig

tcs.cs.tu-bs.de

Fundamenta Informaticae, Model Checking Duration Calculus: A Practical Approach. , by Roland Meyer, Johannes Faber, Jochen Hoenicke, ...

Jochen HoenickeUniversität Oldenburg

www.informatik.uni-oldenburg.de

Name: Jochen Hoenicke. Adresse: Oldenburg. Telefon (Uni):, Telefon (privat):, E-Mail: Jochen.

Combining Specification Techniques for Processes, Data and Timelink.springer.com › content › pdf

link.springer.com

Jochen Hoenicke and Ernst-Rüdiger Olderog. Fachbereich Informatik, Universität Oldenburg Oldenburg, Germany. Fax: +

Google Groups: SMT-COMP solver deadline is approachingGoogle

Haniel Barbosa (chair), Universidade Federal de Minas Gerais, Brazil François Bobot, CEA List, France Jochen Hoenicke, Albert-Ludwigs-Universität Freiburg, ...

Google Groups: SMT-COMP Final Call for Solvers - Google Groupsgroups.google.com › smt-lib › bJPtdIpjkQk

· Jochen Hoenicke (chair), Albert-Ludwigs-Universität Freiburg, Germany. Antti Hyvärinen, Università della Svizzera italiana, Switzerland.

Schloss Dagstuhl : Participant List

www.dagstuhl.de

Jochen Hoenicke (Universität Freiburg, DE) Swen Jacobs (EPFL – Lausanne, CH) Laura Kovacs (TU Wien, AT) Fabio Massacci (University of Trento, IT)

Abschlussarbeiten — Carl von Ossietzky Universität Oldenburg

uol.de

Jochen Hoenicke (Jun ) Parallelität und Vererbung beim “Programmieren mit Vertrag” - Weiterentwicklung von JaWA - Detlef Bartetzko (Apr )

Program — Carl von Ossietzky Universität Oldenburg

uol.de

Program. Tuesday, September 8th Session: Opening -- Session Chair: Roland Meyer: : ... Jochen Hoenicke and Andreas Podelski: : Coffee …

Test // Universität Oldenburg

uol.de

Jochen Hoenicke and Andreas Podelski: : Coffee Break: Session: Semantics II-- Session Chair: Holger Hermanns: : Evaluation trees for ...

Instantiation-Based Interpolation for Quantified Semantic Scholar

www.semanticscholar.org

Jochen Hoenicke. Albert-Ludwigs-Universität, Freiburg, Germany -freiburg.de. Abstract. Interpolation has proven highly effective ...

Promotionen // Universität Oldenburg

uol.de

Jochen Hoenicke: Combination of Processes, Data and Time: 95: 19-Mai-2006: Alexander Metzner: Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme

Personen & Kontakte — Carl von Ossietzky Universität Oldenburg

uol.de

@PHDTHESIS{jh2006, AUTHOR = {Jochen Hoenicke}, TITLE = {{Combination of ...

Alle Infos zum Namen "Jochen Hoenicke"

Verwandte Suchanfragen zu Jochen Hoenicke

Andreas Podelski
Christian Schilling
Martin Schäf

Roland Meyer
Markus Lindenmann
Jürgen Christ

Stefan Wissert
Tanja Schindler
Daniel Dietsch

Personen
Vorname "Jochen" (18669)
Name "Hoenicke" (97)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jochen Hoenicke und Universität Person-Info