default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdriano Peron
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j44]Vincenzo Norman Vitale
, Sergio Di Martino, Adriano Peron, Massimiliano Russo, Ermanno Battista:
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? Knowl. Inf. Syst. 66(3): 2063-2088 (2024)- [j43]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20(1) (2024) - [j42]Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Regression test prioritization leveraging source code similarity with tree kernels. J. Softw. Evol. Process. 36(8) (2024) - [c66]Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. ICALP 2024: 128:1-128:20 - [c65]Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Full Characterisation of Extended CTL. TIME 2024: 18:1-18:18 - [i18]Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. CoRR abs/2404.17421 (2024) - 2023
- [j41]Massimo Benerecetti, Fabio Mogavero, Adriano Peron:
Taming Strategy Logic: Non-Recurrent Fragments. Inf. Comput. 294: 105081 (2023) - [j40]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294: 105083 (2023) - [j39]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24(3): 24:1-24:32 (2023) - [c64]Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace:
AI-based Fault-proneness Metrics for Source Code Changes. IWSM-Mensura 2023 - [c63]Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Quantifying Over Trees in Monadic Second-Order Logic. LICS 2023: 1-13 - [c62]Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. OVERLAY@AI*IA 2023: 79-84 - [i17]Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Quantifying over Trees in Monadic Second-Order Logic. CoRR abs/2304.11613 (2023) - 2022
- [j38]Laura Bozzelli, Aniello Murano, Adriano Peron:
Context-free timed formalisms: Robust automata and linear temporal logics. Inf. Comput. 283: 104673 (2022) - [j37]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) - [j36]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) - [c61]Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR 2022: 27:1-27:16 - [c60]Francesco Altiero, Giovanni Colella, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace:
Change-Aware Regression Test Prioritization using Genetic Algorithms. SEAA 2022: 125-132 - [c59]Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace:
ReCover: a Curated Dataset for Regression Testing Research. MSR 2022: 196-200 - [c58]Laura Bozzelli, Adriano Peron:
A Quantitative Extension of Interval Temporal Logic over Infinite Words. TIME 2022: 11:1-11:16 - [c57]Massimo Benerecetti, Fabio Mogavero, Adriano Peron:
Taming Strategy Logic: Non-Recurrent Fragments. TIME 2022: 14:1-14:16 - [c56]Laura Bozzelli, Adriano Peron:
Parametric Interval Temporal Logic over Infinite Words. GandALF 2022: 97-113 - [i16]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) - [i15]Laura Bozzelli, Adriano Peron:
A quantitative extension of Interval Temporal Logic over infinite words. CoRR abs/2206.13920 (2022) - [i14]Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR abs/2207.02956 (2022) - 2021
- [j35]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280: 104640 (2021) - [j34]Sergio Di Martino, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale:
Benchmarking management techniques for massive IIoT time series in a fog architecture. Int. J. Grid Util. Comput. 12(2): 113-125 (2021) - [c55]Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference. ESEM 2021: 37:1-37:6 - [c54]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. LICS 2021: 1-13 - [c53]Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace:
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. QUATIC 2021: 356-369 - [c52]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 - [c51]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 - [i13]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. CoRR abs/2104.12886 (2021) - [i12]Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference. CoRR abs/2108.13322 (2021) - 2020
- [j33]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model checking interval temporal logics with regular expressions. Inf. Comput. 272: 104498 (2020) - [j32]Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini:
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020) - [j31]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) - [c50]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS 2020: 155-166 - [c49]Laura Bozzelli, Aniello Murano, Adriano Peron:
Module Checking of Pushdown Multi-agent Systems. KR 2020: 162-171 - [c48]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [c47]Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Inspecting Code Churns to Prioritize Test Cases. ICTSS 2020: 272-285 - [i11]Laura Bozzelli, Aniello Murano, Adriano Peron:
Module checking of pushdown multi-agent systems. CoRR abs/2003.04728 (2020) - [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)
2010 – 2019
- 2019
- [j30]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) - [j29]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) - [c46]Alessandro Pepino, Marco Ronchetti, Adriano Peron, Corinna Freda, Ersilia Vallefuoco:
The lecture video recording in university: A case study. EMOOCs-WIP 2019: 175-180 - [c45]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS 2019: 33:1-33:14 - [c44]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS 2019: 34:1-34:14 - [c43]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247 - [c42]Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini:
From Dynamic State Machines to Promela. SPIN 2019: 56-73 - [c41]Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME 2019: 18:1-18:17 - [c40]Sergio Di Martino, Luca Fiadone, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale:
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases. WETICE 2019: 340-345 - [i9]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of future timeline-based planning over dense temporal domains. CoRR abs/1904.09184 (2019) - [i8]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed Context-Free Temporal Logics. CoRR abs/1911.08406 (2019) - 2018
- [j28]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) - [j27]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) - [c39]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed Context-Free Temporal Logics. GandALF 2018: 235-249 - [c38]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 - [c37]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR 2018: 627-628 - [c36]Laura Bozzelli, Aniello Murano, Adriano Peron:
Event-Clock Nested Automata. LATA 2018: 80-92 - [c35]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 - [i7]Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed context-free temporal logics (extended version). CoRR abs/1808.04271 (2018) - 2017
- [j26]Adriano Peron, Carla Piazza:
Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. Inf. Comput. 253: 179-180 (2017) - [j25]Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini:
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133: 116-153 (2017) - [c34]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 - [c33]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 - [c32]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 - [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) - [i4]Laura Bozzelli, Aniello Murano, Adriano Peron:
Event-Clock Nested Automata. CoRR abs/1711.08314 (2017) - 2016
- [j24]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j23]Massimo Benerecetti, Adriano Peron:
Timed recursive state machines: Expressiveness and complexity. Theor. Comput. Sci. 625: 85-124 (2016) - [j22]Dario Carotenuto, Aniello Murano, Adriano Peron:
Ordered multi-stack visibly pushdown automata. Theor. Comput. Sci. 656: 1-26 (2016) - [c31]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 - [c30]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 - [c29]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 - [c28]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016: 473-483 - [c27]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 - [i3]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. CoRR abs/1601.03195 (2016) - [i2]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
- [j21]Roberto Pagliarini, Mara Sangiovanni, Adriano Peron, Diego di Bernardo:
Combining flux balance analysis and model checking for metabolic network validation and analysis. Nat. Comput. 14(3): 341-354 (2015) - [c26]Alberto Molinari, Angelo Montanari, Adriano Peron:
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015: 193-210 - [c25]Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
Modeling Railway Control Systems in Promela. FTSCS 2015: 121-136 - [c24]Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100 - [c23]Alberto Molinari, Angelo Montanari, Adriano Peron:
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS 2015: 211-226 - 2014
- [c22]Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron:
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS 2014: 170-184 - [c21]Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi:
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS 2014: 93-109 - [c20]Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini:
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops 2014: 147-156 - [c19]Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. TIME 2014: 59-68 - [e2]Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents] - 2013
- [j20]Gennaro Gambardella, Maria Nicoletta Moretti, Rossella de Cegli, Luca Cardone, Adriano Peron, Diego di Bernardo:
Differential network analysis for the identification of condition-specific pathway activity and regulation. Bioinform. 29(14): 1776-1785 (2013) - [j19]Massimo Benerecetti, Adriano Peron:
Timed protocol insecurity problem is NP-complete. Future Gener. Comput. Syst. 29(3): 843-862 (2013) - [j18]Sergio Di Martino, Adriano Peron, Taro Tezuka:
Web and Wireless Geographic Information Systems. J. Spatial Inf. Sci. 6(1): 117-118 (2013) - 2012
- [e1]Sergio Di Martino, Adriano Peron, Taro Tezuka:
Web and Wireless Geographical Information Systems - 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings. Lecture Notes in Computer Science 7236, Springer 2012, ISBN 978-3-642-29246-0 [contents] - 2010
- [j17]Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown module checking. Formal Methods Syst. Des. 36(1): 65-95 (2010) - [c18]Massimo Benerecetti, Nicola Cuomo, Adriano Peron:
Timed protocols insecurity problem is NP-complete. HPCS 2010: 274-282 - [c17]Massimo Benerecetti, Stefano Minopoli, Adriano Peron:
Analysis of Timed Recursive State Machines. TIME 2010: 61-68
2000 – 2009
- 2009
- [j16]Massimo Benerecetti, Nicola Cuomo, Adriano Peron:
TPMC: A Model Checker For Time-Sensitive Security Protocols. J. Comput. 4(5): 366-377 (2009) - 2008
- [j15]Laura Bozzelli, Salvatore La Torre, Adriano Peron:
Verification of well-formed communicating recursive state machines. Theor. Comput. Sci. 403(2-3): 382-405 (2008) - 2007
- [c16]Dario Carotenuto, Aniello Murano, Adriano Peron:
2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144 - 2006
- [j14]Angelo Montanari, Adriano Peron, Gabriele Puppis:
On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics 16(3-4): 433-456 (2006) - [j13]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. J. Appl. Log. 4(2): 168-191 (2006) - [c15]Laura Bozzelli, Salvatore La Torre, Adriano Peron:
Verification of Well-Formed Communicating Recursive State Machines. VMCAI 2006: 412-426 - 2005
- [c14]Laura Bozzelli, Aniello Murano, Adriano Peron:
Pushdown Module Checking. LPAR 2005: 504-518 - 2004
- [j12]Piero A. Bonatti, Adriano Peron:
On the undecidability of logics with converse, nominals, recursion and counting. Artif. Intell. 158(1): 75-96 (2004) - [j11]Carlo Combi, Massimo Franceschet, Adriano Peron:
Representing and Reasoning about Temporal Granularities. J. Log. Comput. 14(1): 51-77 (2004) - [c13]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Structural Model Checking for Communicating Hierarchical Machines. MFCS 2004: 525-536 - 2003
- [j10]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Dynamic Hierarchical Machines. Fundam. Informaticae 54(2-3): 237-252 (2003) - [j9]Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
A comparison of Statecharts step semantics. Theor. Comput. Sci. 290(1): 465-498 (2003) - [c12]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202 - [c11]Margherita Napoli, Mimmo Parente, Adriano Peron:
Specification and Verification of Protocols With Time Constraints. MEFISTO 2003: 205-227 - [i1]Laura Bozzelli, Massimo Benerecetti, Adriano Peron:
Verification of recursive parallel systems. CoRR cs.OH/0312019 (2003) - 2002
- [j8]Angelo Montanari, Adriano Peron, Alberto Policriti:
Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002) - [c10]Carlo Combi, Massimo Franceschet, Adriano Peron:
A Logical Approach to Represent and Reason about Calendars. TIME 2002: 134-140 - 2001
- [j7]Angelo Monti, Adriano Peron:
Logical definability of Y-tree and trellis systolic omega-languages. Acta Cybern. 15(1): 75-100 (2001) - [j6]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron:
Transformations of Timed Cooperating Automata. Fundam. Informaticae 47(3-4): 271-282 (2001) - 2000
- [j5]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Timed Cooperating Automata. Fundam. Informaticae 43(1-4): 153-173 (2000) - [j4]Angelo Montanari, Adriano Peron, Alberto Policriti:
The Taming (Timing) of the States. Log. J. IGPL 8(5): 681-699 (2000) - [j3]Angelo Monti, Adriano Peron:
Systolic tree omega-Languages: the operational and the logical view. Theor. Comput. Sci. 233(1-2): 1-18 (2000)
1990 – 1999
- 1999
- [j2]Angelo Montanari, Adriano Peron, Alberto Policriti:
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Log. J. IGPL 7(1): 79-102 (1999) - 1998
- [c9]Angelo Monti, Adriano Peron:
A Logical Characterization of Systolic Languages. STACS 1998: 466-476 - 1996
- [c8]Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Equivalences of Statecharts. CONCUR 1996: 687-702 - [c7]Andrea Maggiolo-Schettini, Adriano Peron:
Retiming Techniques for Statecharts. FTRTFT 1996: 55-71 - 1995
- [c6]Angelo Monti, Adriano Peron:
Systolic Tree Omega-Languages. STACS 1995: 131-142 - [c5]Adriano Peron:
Statecharts, Transition Structures and Transformations. TAPSOFT 1995: 454-468 - 1994
- [c4]Adriano Peron, Andrea Maggiolo-Schettini:
Transitions as Interrupts: A New Semantics for Timed Statecharts. TACS 1994: 806-821 - [c3]Andrea Maggiolo-Schettini, Adriano Peron:
A Graph Rewriting Framework for Statecharts Semantics. TAGT 1994: 107-121 - 1993
- [c2]Andrea Maggiolo-Schettini, Adriano Peron:
Semantics of Full Statecharts Based on Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 265-279 - 1990
- [c1]Vito Roberto, L. Gargiulo, Adriano Peron, Claudio Chiaruttini:
A knowledge-based system for geophysical interpretation. ICASSP 1990: 1945-1948
1980 – 1989
- 1989
- [j1]Vito Roberto, Adriano Peron, P. L. Fumis:
Low-level processing techniques in geophysical image interpretation. Pattern Recognit. Lett. 10(2): 111-122 (1989)
Coauthor Index
[j43] [c66] [c65] [i18] [j40] [j39] [c63] [i17] [j38] [j37] [j36] [c61] [c58] [c56] [i16] [i15] [i14] [j35] [c54] [c52] [c51] [i13] [j33] [j31] [c50] [c49] [c48] [i11] [i10] [j30] [j29] [c45] [c44] [c43] [c41] [i9] [i8] [j27] [c39] [c38] [c37] [c36] [c35] [i7] [c34] [c33] [c32] [i5] [i4] [c31] [c30] [c29] [c27] [j17] [j15] [c15] [c14] [i1]
Luigi L. L. Starace
aka: Luigi Libero Lucio Starace
aka: Luigi Libero Lucio Starace
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
