Nicolas Maquet

According to our database1, Nicolas Maquet authored at least 5 papers between 2008 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Fixed point guided abstraction refinement for alternating automata.
Theor. Comput. Sci., 2010

Lattice-Valued Binary Decision Diagrams.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Fixpoint Guided Abstraction Refinement for Alternating Automata.
Proceedings of the Implementation and Application of Automata, 2009

2008
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Alaska.
Proceedings of the Automated Technology for Verification and Analysis, 2008


  Loading...