Normann Decker und Peter Habermehl - Info zur Person

(1 - 14 von 14

)

Formal Languages and Automata Theory authors/titles Apr (25...

arxiv.org

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata ...

[ ] Ordered Navigation on Multi-attributed Data Words

arxiv.org

Normann Decker · Peter Habermehl · Martin Leucker ... From: Normann Decker [view email] [v1] Thu, 24 Apr :16:41 GMT (72kb,D).

dblp: Peter Habermehl

dblp.uni-trier.de

List of computer science publications by Peter Habermehl

CONCUR 2017

www.concur2017.tu-berlin.de

Model-checking Counting Temporal Logics on Flat Structures Normann Decker Peter Habermehl Martin Leucker Arnaud Sangnier Daniel Thoma;

Application and Theory of Petri Nets and Concurrency - 35th...

researchr.org

[doi] · Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma [doi] · A Programming ...

35th International Conference on Application and Theory of Petri Nets...

petrinets2014.cnam.fr

Eike Best and Raymond Devillers: Synthesis of Persistent Systems · Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma: Learning Transparent ...

35th International Conference on Application and Theory of Petri Nets...

petrinets2014.cnam.fr

Learning Transparent Data Automata; Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma; Dynamic Networks of Timed Petri Nets; María ...

DROPS - Model-Checking Counting Temporal Logics on Flat Structures

drops.dagstuhl.de

@InProceedings{decker_et_al:LIPIcs:2017:7770, author = {Normann Decker and Peter Habermehl and Martin Leucker and Arnaud Sangnier and Daniel ...

Logic in Computer Science

scirate.com

Ordered Navigation on Multi-attributed Data Words · Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Apr cs.LO cs.

Martin Leucker - researchr alias

researchr.org

TACAS 2014: [doi] · Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. apn 2014: [doi].

“Most of” leads to undecidability: Failure of adding frequencies to...

www.ncbi.nlm.nih.gov

· Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma: Model-Checking Counting Temporal Logics on Flat ...

Alle Infos zum Namen "Normann Decker"

Verwandte Suchanfragen zu Normann Decker

Malte Schmitz
Felix Klaedtke
Anke Fähnrich

Benedikt Bollig
Kathrin Kalies
Jannis Harder

Martin Leucker
Peter Habermehl
Moritz Krebbel

Person "Decker" (28)
Vorname "Normann" (285)
Name "Decker" (2612)

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

Normann Decker und Peter Habermehl Person-Info