IRIS

MONTANARI, Angelo

MONTANARI, Angelo  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 282 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A calculus of macro-events: progress report 1-gen-2000 Cervesato, Iliano; Montanari, Angelo
A Cellular Network Database for Fingerprint Positioning Systems 1-gen-2019 Gubiani, D.; Gallo, P.; Viel, A.; Dalla Torre, A.; Montanari, A.
A combined approach to temporal logics for time granularity 1-gen-2001 Franceschet, Massimo; Montanari, Angelo
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 1-gen-2013 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 1-gen-2016 Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
A conceptual spatial model supporting topologically-consistent multiple representations 1-gen-2008 Gubiani, Donatella; Montanari, Angelo
A Consensus Glossary of Temporal Database Concepts 1-gen-1994 Grandi, F; Kaefer, W; Kline, N; Lorentzos, N; Mitsopulos, Y; Montanari, Angelo; Nonen, D; Peressi, E; Pernici, B; Roddick, J. F.; Sarda, N. L.; Scalas, M. R.; Dyreson, C; Segev, A; Snodgras, R. T.; Soo, M. D.; Tansel, A; Tiberio, P; Wiederhold, G.
A Contraction Method to Decide MSO Theory of Deterministic Trees 1-gen-2007 Montanari, Angelo; Puppis, Gabriele
A decidable spatial generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 1-gen-2009 Montanari, Angelo; Puppis, G.; Sala, Pietro
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 1-gen-2023 Cimatti, A.; Geatti, L.; Gigante, N.; Tonetta, S.; Montanari, A.
A Framework for Indoor Positioning Including Building Topology 1-gen-2022 Brunello, A; Montanari, A; Saccomanno, N
A framework for temporal functional dependencies with multiple granularities 1-gen-2011 Combi, C; Montanari, Angelo; Sala, P.
A game-theoretic approach to timeline-based planning with uncertainty 1-gen-2018 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants 1-gen-1999 Cervesato, ; Montanari, Angelo
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 1-gen-1996 Chittaro, Luca; Montanari, Angelo
A General Tableau Method for Propositional Interval Temporal Logics 1-gen-2003 Goranko, V; Montanari, Angelo; Sciavicco, G.
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 1-gen-2006 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A genetic programming approach to WiFi fingerprint meta-distance learning 1-gen-2022 Brunello, Andrea; Montanari, Angelo; Saccomanno, Nicola
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus 1-gen-2000 Franceschet, Massimo; Montanari, Angelo