Paolo Torrini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2000–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | RTCSA | A generic approach for the certified schedulability analysis of software systems. | Xiaojie Guo, Lionel Rieg, Paolo Torrini |
| 2016 | ITP | Modular Dependent Induction in Coq, Mendler-Style. | Paolo Torrini |
| 2015 | PEPM | Imperative Polymorphism by Store-Based Types as Abstract Interpretations. | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
| 2010 | FASE | Stochastic Simulation of Graph Transformation Systems. | Paolo Torrini, Reiko Heckel, Istvn Rth |
| 2000 | AAAI | Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions. | Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika |
| 2000 | ECAI | A Foundation for Region-based Qualitative Geometry. | Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika |