Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Rossi, Matteo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logical characterization of timed (non-)regular languages
Marcello M. Bersani
,
Matteo Rossi
,
Pierluigi San Pietro
Lecture Notes in Computer Science
8634
, 2014, pp. 75-86
Deciding continuous-time metric temporal logic with counting modalities
Marcello M. Bersani
,
Matteo Rossi
,
Pierluigi San Pietro
Lecture Notes in Computer Science
8169
, 2013, pp. 70-82
Automated compositional proofs for real-time systems
Carlo A. Furia
,
Matteo Rossi
,
Dino Mandrioli
,
Angelo Morzenti
Theoretical Computer Science
376
(3), 2007, pp. 164-184