bibliographer - Martin Leucker

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Functional programming languages for verification tools: a comparison of Standard ML and Haskell Martin Leucker Thomas Noll Perdita Stevens Michael Weber [github]

Ordered Navigation on Multi-attributed Data Words Normann Decker Peter Habermehl Martin Leucker Daniel Thoma [github]

Angluin-style Learning of NFA Benedikt Bollig Peter Habermehl Carsten Kern Martin Leucker [github]

Learning Meets Verification Martin Leucker [github]

Extending Compositional Message Sequence Graphs Benedikt Bollig Martin Leucker Philipp Lucas [github]

Message-passing automata are expressively equivalent to EMSO logic Benedikt Bollig Martin Leucker [github]

Message-Passing Automata Are Expressively Equivalent to EMSO Logic Benedikt Bollig Martin Leucker [github]

Modeling and Model Checking Software Product Lines Alexander Gruler Martin Leucker Kathrin Scheidemann [github]

Learning of event-recording automata Olga Grinchtein Bengt Jonsson Martin Leucker [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]