Benjamin Bogø

According to our database, Benjamin Bogø authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

PN2CCS: A tool to encode Petri nets into calculus of communicating systems.

Benjamin Bogø, Andrea Burattin, Alceste Scalas

Sci. Comput. Program., 2026

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2024

Encoding Petri Nets into CCS (Technical Report).

Benjamin Bogø, Andrea Burattin, Alceste Scalas

CoRR, 2024

Encoding Petri Nets into CCS.

Benjamin Bogø, Andrea Burattin, Alceste Scalas

Proceedings of the Coordination Models and Languages, 2024