Julin Samborski-Forlese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICTAC | How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. | Csar Snchez, Julin Samborski-Forlese |
| 2012 | TIME | Efficient Regular Linear Temporal Logic Using Dualization and Stratification. | Csar Snchez, Julin Samborski-Forlese |
| 2008 | SEFM | Preservation of Proof Pbligations for Hybrid Verification Methods. | Gilles Barthe, Csar Kunz, David Pichardie, Julin Samborski-Forlese |