Name Card

Full name Familienname, Vorname
Cimatti, Alessandro
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
115_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf.jpgCimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Tonetta, Stefano Reactive Synthesis from Extended Bounded Response LTL SpecificationsKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan Computing Resolution-Path Dependencies in Linear Time ,Konferenzbeitrag Inproceedings 2012
2Gaspers, Serge ; Szeider, Stefan Strong Backdoors to Nested SatisfiabilityKonferenzbeitrag Inproceedings 2012
3Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012