1
0
0
(1 - 17 von 22
)
Publications | MEALSmeals-project.eu › biblio
meals-project.eu
Filters: Author is Bettina Braitling [Clear All Filters] B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “Abstraction-Based ...
Dependable Software Engineering: Theories, Tools, and ...books.google.com › books
books.google.de
19 Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, and Bernd Becker A Comparative Study of BDD Packages for ...
Verification, Model Checking, and Abstract Interpretation: ...books.google.com › books
books.google.com.ua
Bettina Braitling, Luis Mar ́ıa Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns Proving Guarantee and Recurrence Temporal ...
[ v1] MeGARA: Menu-based Game Abstraction and Abstraction...
arxiv.org
Authors:Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. (Submitted on 9 Jun 2014).
MeGARA: Menu-based Game Abstraction and Abstraction ...arxiv.org › cs
arxiv.org
· Authors:Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns · Download PDF. Abstract: ...
dblp: Luis María Ferrer Fioriti
dblp.uni-trier.de
List of computer science publications by Luis María Ferrer Fioriti
Luis María Ferrer Fioriti · Depend
depend.cs.uni-saarland.de
first.surname [at] cs.uni-saarland.de (btw my surname is Ferrer Fioriti!) ... with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns.
alle Publikationen IIF — Institut für Informatik
www.informatik.uni-freiburg.de
alle Publikationen IIF . Website durchsuchen. nur im aktuellen Bereich Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, ...
Publications IIF of last two years — Institut für Informatik
www.informatik.uni-freiburg.de
Although peak calling is often the final step in many CLIP-seq publications, an important follow-up task is the determination of binding models from CLIP-seq data Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, Bernd Becker, Holger Hermanns Cost vs. Time in Stochastic Games and Markov Automata Form Asp Comput ...
12th Workshop on Quantitative Aspects of Programming QAPL 2014
qapl14.inria.fr
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns. MeGARA: Menu-based Game ...
EPTCS 154: Quantitative Aspects of Programming Languages and Systems
cgi.cse.unsw.edu.au
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns, 48. Patch-based Hybrid Modelling ...
EPTCS: MeGARA: Menu-based Game Abstraction and ...eptcs.web.cse.unsw.edu.au › paper
cgi.cse.unsw.edu.au
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. Markov automata combine continuous ...
Logic in Computer Science authors/titles Jun 2014
arxiv-export-lb.library.cornell.edu
Authors: Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. Comments: In Proceedings QAPL 2014, arXiv: ...
VMCAI (Jan 2015), International Conference On Verification, Model times.com › vmcai
10times.com
Bettina Braitling, Luis Maru00eda Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Holger Hermanns and Bernd Becker. Tue, 13 Jan 04:30 PM - 05:00 PM
au:Becker_B in:cs - SciRate Search
scirate.com
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. Jun cs.LO arXiv: v1. Scited Scite!
Alle Infos zum Namen "Bettina Braitling"
Verwandte Suchanfragen zu Bettina Braitling
Ernst Moritz Ernst Moritz Hahn Erika Ábrahám | Hassan Hatefi Oliver Theel Moritz Hahn | Nils Jansen Ilia Polian Bernd Becker |
Personen Vorname "Bettina" (29441) Name "Braitling" (11) |
sortiert nach Relevanz / Datum