1
0
0
(1 - 30 von 36
)
Publications | Informatik 2 - RWTH Aachen Universitymoves.rwth-aachen.de › research › publications
moves.rwth-aachen.de
[bibtex] · Ralf Wimmer, Erika Abraham. Maybe or Maybe Not: Contributions to Stochastic Verification. Aspekte der Technischen Informatik: Festschrift zum 60.
A High-Calorie Diet Aggravates Mitochondrial Dysfunction and Triggers...
www.sciencedirect.com
... analyzed data, and wrote the paper; Josef Lichtmannegger, Tamara Rieder, Sabine Borchard, Ralf Wimmer, and Andreas E. Kremer performed experiments; ...
Rechnerarchitektur - Universität Freiburg
ira.informatik.uni-freiburg.de
Name: Ralf Wimmer, Dr. Adresse: Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude Freiburg im Breisgau Deutschland
Publications of Nils Jansen | Informatik 2
moves.rwth-aachen.de
Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata. Logical Methods in Computer Science ...
Symbolic partition refinement with automatic ScienceDirect.comwww.sciencedirect.com › science › article › abs › pii
www.sciencedirect.com
Ralf Wimmer received his diploma in Computer Science from the Albert-Ludwigs-University, Freiburg (Germany) in Since he has been working as a ...
Ralf Wimmer · Depend
depend.cs.uni-saarland.de
Dr. Ralf Wimmer was leading the Dependable Systems and Software Group from Oct 01, to Feb. 29, as a substitute for Prof. Hermanns during his sabbatical.
dblp: Bettina Braitling
dblp.uni-trier.de
List of computer science publications by Bettina Braitling
Login
dcms.cs.uni-saarland.de
Formal Engineering of Digital and Hybrid Systems Ralf Wimmer. Username. Password. If you forgot your username or password use this link: Reset Password.
Search results for "Ralf Wimmer" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 58 publication records. Showing 57 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Ralf Wimmer ...
dblp: error 410
dblp.org
List of computer science publications by Ralf Wimmer Ralf Wimmer [ ] — Concept Engineering GmbH, Freiburg, Germany (and
Ralf Wimmer dblpdblp.org › Persons
dblp.org
Ralf Wimmer: 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV ...
dblp: Quantitative Evaluation of Systems 2014
dblp.uni-trier.de
Bibliographic content of Quantitative Evaluation of Systems 2014
Ralf Wimmer dblpdblp.dagstuhl.de › Persons
dblp.dagstuhl.de
Leonore Winterer , Sebastian Junges , Ralf Wimmer , Nils Jansen , Ufuk Topcu , Joost-Pieter Katoen , Bernd Becker : Strategy Synthesis for POMDPs in Robot ...
dblp: 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur...
dblp.uni-trier.de
Bibliographic details on 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016,...
FreiDok plus - Ralf Wimmer
freidok.uni-freiburg.de
Bezeichnung der Aktivität / Ehrung Art der Aktivität / Ehrung Zeitraum oder Einzeldatum ; 19. GI/ITG/GMM-Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV)
dblp: Automated Technology for Verification and Analysis 2006
dblp.uni-trier.de
Bibliographic content of Automated Technology for Verification and Analysis 2006
Main Page
dcms.cs.uni-saarland.de
Formal Engineering of Digital and Hybrid Systems. Audience. This advanced course addresses Bachelor and Master students in Computer Science, Bioinformatics, CuK or ...
Professur für Betriebssysteme - Universität Freiburg
abs.informatik.uni-freiburg.de
Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude Freiburg im Breisgau Deutschland: Büro: ... Juri Lichtner, Tobias Nopper, Ralf Wimmer
19. MBMV Freiburg im Breisgau
ira.informatik.uni-freiburg.de
Kontakt: Dr. Ralf Wimmer, Lehrstuhl für Rechnerarchitektur, Uni Freiburg, E-Mail: wimmer (at) informatik.uni-freiburg.de
Divisions — Institut für Informatik
www.informatik.uni-freiburg.de
apl. Prof. Dr. Ralf Wimmer apl. Prof. Dr. Cai-Nicolas Ziegler. Former Groups. Databases and Information Systems | Prof. Dr. Georg Lausen Social Robotics and Human-Robot Interaction | Prof. Dr. Kai Arras (Assistant Professor) Image Analysis | Prof. Dr. Olaf Ronneberger (Assistant Professor) Humanoid Robots | Prof. Dr. Maren Bennewitz (Assistant ...
Kurse
dcms.cs.uni-saarland.de
Ralf Wimmer: Quantified Boolean Formulas: Algorithms and Applications: Ralf Wimmer: Summer term Data Networks: Arnd Hartmanns: Ethik für Nerds: …
Verwandte Suchanfragen zu Ralf Günther Wimmer
| Ralf Wimmer Günther Wimmer Rupert Wimmer | Ulrike Wimmer Andreas Wimmer Sabine Wimmer | Udo King |
Person "Wimmer" (20) Vorname "Günther" (17618) Name "Wimmer" (1747) |
sortiert nach Relevanz / Datum