Martina Seidl-Weber - Wissenschaftliche Veröffentlichungen

(1 - 11 von 11

)

dblp: Martina Seidl

dblp.uni-trier.de

List of computer science publications by Martina Seidl

Search results for "Martina Seidl" – FacetedDBLP

dblp.l3s.uni-hannover.de

Martina Seidl(81) Gerti Kappel(20) Manuel Wimmer(19) Petra Brosch(19) Armin Biere(13) Konrad Wieland(12) Florian Lonsing(11) Uwe Egly(11) Hans Tompits(10) …

dblp: Magdalena Widl

dblp.uni-trier.de

List of computer science publications by Magdalena Widl

Publications

www.db.informatik.uni-bremen.de

Publications of the University of Bremen Database Systems Group Martin Gogolla, Leonel Nobrega, Ileana Ober, Martina Seidl, and Markus Völter.

Antrittsvorlesungen an der JKU: Prof.in Martina Seidl stellt sich vorscience.apa.at › power-search

science.apa.at

vor 1 Tag · Oktober Prof.in Martina Seidl (Institut für Symbolic Artificial Intelligence). Sie spricht um Uhr im Festsaal der JKU über "Symbolic ...

Publications

www.react.uni-saarland.de

Publications; Tools; Publications ; 2015; 2014; 2013; 2012; 2011; 2010; ... Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl ...

Martina Seidl - DBLPdblp.org › Persons

dblp.org

LonsingS18. Florian Lonsing , Martina Seidl: Parallel Solving of Quantified Boolean Formulas.

Search results for "Petra Brosch" – FacetedDBLP

dblp.l3s.uni-hannover.de

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl: Intra- and interdiagram consistency checking of behavioral multiview models.

Martina Seidl: Proof Systems for Practical QBF Reasoning

www.fmf.uni-lj.si

Speaker: Martina Seidl, Institute for Formal Models and Verification, Johannes Kepler Universität Linz. Title: Proof Systems for Practical QBF ...

CSI an der Universität Wien

medienportal.univie.ac.at

Martina Weber von der Universität Wien ist eine von wenigen WissenschafterInnen weltweit, die sich mit Pollen und Forensik auskennen.

Mit Pollen auf Verbrecherjagd - science.ORF.at

science.orf.at

Pollen ist überall und kann genauso wie Fingerabdrücke Täter überführen. Das sagt die forensische Palynologin Martina Weber. Sie kombiniert seit zehn Jahren in...

Verwandte Suchanfragen zu Martina Seidl-Weber

Martina Seidl
Martina Weber
Hans Gerd Wagner

Personen
Vorname "Martina" (48277)
Name "Seidl-Weber" (3)

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

Wissenschaftliche Veröffentlichungen Martina Seidl-Weber