|
Search the dblp DataBase
Rüdiger Ehlers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bastian Baranski, Thomas Bartz-Beielstein, Rüdiger Ehlers, Thusinthan Kajendran, Björn Kosslers, Jörn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann
High-order punishment and the evolution of cooperation. [Citation Graph (0, 0)][DBLP] GECCO, 2006, pp:379-380 [Conf]
Symbolic Bounded Synthesis. [Citation Graph (, )][DBLP]
Minimising Deterministic Büchi Automata Precisely Using SAT Solving. [Citation Graph (, )][DBLP]
Model Checking the FlexRay Physical Layer Protocol. [Citation Graph (, )][DBLP]
Short Witnesses and Accepting Lassos in omega-Automata. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|