Patrick Dubbert

According to our database, Patrick Dubbert authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Star-Topology Decoupling in SPIN.

Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2016

On State-Dominance Criteria in Fork-Decoupled Search.

Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016