


Остановите войну!
for scientists:


default search action
Angelo Montanari
Person information

- affiliation: University of Udine, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j80]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j79]Andrea Brunello
, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani
, Angelo Montanari
, Nicola Saccomanno
:
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. Sensors 23(1): 352 (2023) - [e3]Agostino Dovier
, Angelo Montanari
, Andrea Orlandini
:
AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings. Lecture Notes in Computer Science 13796, Springer 2023, ISBN 978-3-031-27180-9 [contents] - [i16]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. CoRR abs/2302.05179 (2023) - [i15]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - 2022
- [j78]Andrea Brunello
, Angelo Montanari
, Nicola Saccomanno
:
A Framework for Indoor Positioning Including Building Topology. IEEE Access 10: 114959-114974 (2022) - [j77]Nicola Gigante
, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307: 103686 (2022) - [j76]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18(1) (2022) - [j75]Andrea Brunello
, Angelo Montanari, Nicola Saccomanno:
A genetic programming approach to WiFi fingerprint meta-distance learning. Pervasive Mob. Comput. 85: 101681 (2022) - [j74]Angelo Montanari, Pietro Sala:
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899: 48-79 (2022) - [j73]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901: 87-113 (2022) - [c164]Alessandro Cimatti
, Luca Geatti
, Nicola Gigante
, Angelo Montanari
, Stefano Tonetta
:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c163]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
:
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - [i14]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR abs/2202.07881 (2022) - [i13]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A combined approach to the analysis of speech conversations in a contact center domain. CoRR abs/2203.06396 (2022) - [i12]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - [i11]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR abs/2211.14913 (2022) - 2021
- [j72]Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
:
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. Artif. Intell. Medicine 118: 102133 (2021) - [j71]Luca Geatti
, Nicola Gigante
, Angelo Montanari, Mark Reynolds
:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Inf. Comput. 278: 104599 (2021) - [j70]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280: 104640 (2021) - [j69]Andrea Brunello
, Andrea Urgolo
, Federico Pittino
, András Montvay
, Angelo Montanari
:
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors 21(8): 2728 (2021) - [c162]Luca Geatti, Nicola Gigante, Angelo Montanari:
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF 2021: 7-12 - [c161]Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS 2021: 70-86 - [c160]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c159]Luca Geatti
, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME 2021: 8:1-8:17 - [c158]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME 2021: 9:1-9:19 - [c157]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [c156]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF 2021: 179-194 - 2020
- [j68]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking interval temporal logics with regular expressions. Inf. Comput. 272: 104498 (2020) - [j67]David Barozzini, David de Frutos-Escrig, Dario Della Monica
, Angelo Montanari, Pietro Sala
:
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020) - [j66]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
:
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813: 305-326 (2020) - [j65]Nicola Gigante
, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
:
On timeline-based games and their complexity. Theor. Comput. Sci. 815: 247-269 (2020) - [c155]Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala:
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI 2020: 9859-9866 - [c154]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c153]Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo
:
Virtual Sensing of Temperatures in Indoor Environments: A Case Study. ICDM (Workshops) 2020: 805-810 - [c152]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS 2020: 155-166 - [c151]Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
:
A new similarity measure for low-sampling cellular fingerprint trajectories. MDM 2020: 9-18 - [c150]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [c149]Nicola Saccomanno
, Andrea Brunello, Angelo Montanari:
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. MobiQuitous 2020: 215-224 - [c148]Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY 2020: 11-15 - [c147]Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo:
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY 2020: 83-88 - [c146]Dario Della Monica
, Nicola Gigante
, Salvatore La Torre
, Angelo Montanari
:
Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13 - [i10]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR abs/2006.04652 (2020) - [i9]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [j64]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
:
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8(1): 21 (2019) - [j63]Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco
:
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j62]Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani
, Chris Marshall, Angelo Montanari, Federico Pittino
, Andrea Viel:
A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. 22(2): 89-106 (2019) - [j61]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [j60]Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna:
An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. J. Cases Inf. Technol. 21(1): 33-51 (2019) - [j59]Andrea Viel
, Andrea Brunello
, Angelo Montanari
, Federico Pittino
:
An original approach to positioning with cellular fingerprints based on decision tree ensembles. J. Locat. Based Serv. 13(1): 25-52 (2019) - [j58]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764: 125-144 (2019) - [j57]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20(1): 4:1-4:31 (2019) - [c145]Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari:
A Cellular Network Database for Fingerprint Positioning Systems. ADBIS (Short Papers and Workshops) 2019: 111-119 - [c144]Andrea Brunello, Joanna Kaminska
, Enrico Marzano, Angelo Montanari, Guido Sciavicco
, Tomasz Turek
:
Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. ADBIS (Short Papers and Workshops) 2019: 463-474 - [c143]Andrea Brunello, Dario Della Monica, Angelo Montanari:
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA 2019: 71-76 - [c142]Angelo Montanari:
Model Checking: The Interval Way. CILC 2019: 3 - [c141]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS 2019: 33:1-33:14 - [c140]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS 2019: 34:1-34:14 - [c139]Dario Della Monica, Angelo Montanari, Aniello Murano
, Guido Sciavicco
:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c138]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247 - [c137]Luca Geatti
, Nicola Gigante
, Angelo Montanari:
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019: 3-20 - [c136]Andrea Brunello
, Angelo Montanari
, Mark Reynolds
:
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME 2019: 17:1-17:19 - [c135]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME 2019: 18:1-18:17 - [i8]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of future timeline-based planning over dense temporal domains. CoRR abs/1904.09184 (2019) - 2018
- [j56]Alberto Molinari
, Angelo Montanari, Adriano Peron:
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259(3): 412-443 (2018) - [j55]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262: 241-264 (2018) - [c134]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c133]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger:
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS 2018: 116-127 - [c132]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - [c131]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR 2018: 627-628 - [c130]Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino
:
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS 2018: 49-70 - [c129]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c128]Nicola Gigante
, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
:
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME 2018: 13:1-13:17 - [c127]Andrea Viel, Donatella Gubiani
, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino
, Chris Marshall:
Map matching with sparse cellular fingerprint observations. UPINLBS 2018: 1-10 - [c126]Luca Geatti
, Nicola Gigante
, Angelo Montanari, Mark Reynolds
:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - [c125]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF 2018: 191-205 - [r3]Angelo Montanari, Jan Chomicki:
Time Domain. Encyclopedia of Database Systems (2nd ed.) 2018 - [i7]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A game-theoretic approach to timeline-based planning with uncertainty. CoRR abs/1807.04837 (2018) - 2017
- [c124]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini:
Complexity of Timeline-Based Planning. ICAPS 2017: 116-124 - [c123]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP 2017: 120:1-120:14 - [c122]Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani
, Andrea Dalla Torre, Federico Pittino
, Chris Marshall:
Dealing with network changes in cellular fingerprint positioning systems. ICL-GNSS 2017: 1-6 - [c121]David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala:
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC 2017: 27-38 - [c120]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c119]Dario Della Monica
, Nicola Gigante, Angelo Montanari, Pietro Sala
, Guido Sciavicco:
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017: 1008-1014 - [c118]Nicola Gigante, Angelo Montanari, Mark Reynolds
:
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR 2017: 456-473 - [c117]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron:
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM 2017: 104-119 - [c116]Dario Della Monica
, David de Frutos-Escrig
, Angelo Montanari, Aniello Murano
, Guido Sciavicco
:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c115]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron:
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF 2017: 31-45 - [c114]Dario Della Monica
, Angelo Montanari, Pietro Sala
:
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF 2017: 223-237 - [i6]Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR abs/1709.01849 (2017) - [i5]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR abs/1711.08191 (2017) - 2016
- [j54]Luca Aceto, Dario Della Monica
, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [j53]Alberto Molinari
, Angelo Montanari, Aniello Murano
, Giuseppe Perelli
, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j52]Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53(6-8): 621-648 (2016) - [j51]Matjaz Gams, Eva Cerncic, Angelo Montanari:
A Temporal Perspective on the Paradox of Pinocchio's Nose. Informatica (Slovenia) 40(3) (2016) - [j50]Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629: 116-134 (2016) - [c113]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR 2016: 389-405 - [c112]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS 2016: 26:1-26:14 - [c111]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS 2016: 49-61 - [c110]Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds:
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI 2016: 950-956 - [c109]Dario Della Monica
, Angelo Montanari, Aniello Murano
, Pietro Sala
:
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - [c108]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016: 473-483 - [c107]Angelo Montanari:
Interval Temporal Logics Model Checking. TIME 2016: 2 - [c106]Nicola Gigante
, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
:
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME 2016: 100-109 - [c105]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. GandALF 2016: 76-90 - [i4]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. CoRR abs/1601.03195 (2016) - [i3]Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR abs/1601.03202 (2016) - 2015
- [j49]Angelo Montanari, Gabriele Puppis
, Pietro Sala
:
A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. 11(4) (2015) - [j48]Angelo Montanari, Gabriele Puppis
, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - [c104]Alberto Molinari
, Angelo Montanari, Adriano Peron:
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015: 193-210 - [c103]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015: 511-523 - [c102]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco
:
Undecidability of Chop. TIME 2015: 79-89 - [c101]Alberto Molinari
, Angelo Montanari, Adriano Peron:
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100 - [c100]Alberto Molinari
, Angelo Montanari, Adriano Peron:
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS 2015: 211-226 - 2014
- [j47]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1-3): 11-39 (2014) - [j46]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [j45]Angelo Montanari:
Report on TIME 2013. Bull. EATCS 112 (2014) - [j44]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - [c99]Alessandro Artale, Davide Bresolin
, Angelo Montanari, Guido Sciavicco
, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c98]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding two equivalence relations to the interval temporal logic AB. ICTCS 2014: 171-182 - [c97]