Name Card

Full name Familienname, Vorname
Raskin, Jean-Francois
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Hypernode AutomataInproceedings Konferenzbeitrag 7-Sep-2023
2Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
3Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich On Specifications and Proofs of Timed CircuitsBook Contribution Buchbeitrag 2022
4Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014