Laurent Zimmer

According to our database, Laurent Zimmer authored at least 3 papers between 1989 and 2024.

Collaborative distances:

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

2024

DEPS: a model- and property-based language for system synthesis problems.

Pierre-Alain Yvars, Laurent Zimmer

Softw. Syst. Model., August, 2024

2021

Integration of Constraint Programming and Model-Based Approach for System Synthesis.

Pierre-Alain Yvars, Laurent Zimmer

Proceedings of the IEEE International Systems Conference, 2021

1989

Simulation of Hybrid Circuits in Constraint Logic Programming.

Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989