Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Davide Bresolin
@article{DBLP:journals/is/BresolinZ23,
author = {Davide Bresolin and
Matteo Zavatteri},
title = {Supervisory control of business processes with resources, parallel
and mutually exclusive branches, loops, and uncertainty},
journal = {Inf. Syst.},
volume = {119},
pages = {102288},
year = {2023},
url = {https://doi.org/10.1016/j.is.2023.102288},
doi = {10.1016/J.IS.2023.102288},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/BresolinZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ZavatteriBL23,
author = {Matteo Zavatteri and
Davide Bresolin and
Massimiliano de Leoni},
editor = {Jochen De Weerdt and
Luise Pufahl},
title = {Repair of Unsound Data-Aware Process Models},
booktitle = {Business Process Management Workshops - {BPM} 2023 International Workshops,
Utrecht, The Netherlands, September 11-15, 2023, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {492},
pages = {383--395},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-50974-2\_29},
doi = {10.1007/978-3-031-50974-2\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/ZavatteriBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-17541,
author = {Pieter Collins and
Luca Geretti and
Sanja Zivanovic Gonzalez and
Davide Bresolin and
Tiziano Villa},
title = {Rigorous Function Calculi in Ariadne},
journal = {CoRR},
volume = {abs/2306.17541},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.17541},
doi = {10.48550/ARXIV.2306.17541},
eprinttype = {arXiv},
eprint = {2306.17541},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RaskinB22,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Special issue: Selected papers of the 11th International Symposium
on Games, Automata, Logics, and Formal Verification (GandALF 2020)},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104980},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104980},
doi = {10.1016/J.IC.2022.104980},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RaskinB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZavatteriBRV22,
author = {Matteo Zavatteri and
Davide Bresolin and
Romeo Rizzi and
Tiziano Villa},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Dynamic Controllability of Temporal Networks via Supervisory Control},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {27--31},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZavatteriBRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GerettiCBV22,
author = {Luca Geretti and
Pieter Collins and
Davide Bresolin and
Tiziano Villa},
editor = {Thao Dang and
Volker Stolz},
title = {Automating Numerical Parameters Along the Evolution of a Nonlinear
System},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {336--345},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_22},
doi = {10.1007/978-3-031-17196-3\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GerettiCBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BresolinEVY21,
author = {Davide Bresolin and
Khaled El{-}Fakih and
Tiziano Villa and
Nina Yevtushenko},
title = {Equivalence checking and intersection of deterministic timed finite
state machines},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {77--102},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00396-6},
doi = {10.1007/S10703-022-00396-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BresolinEVY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BresolinL21,
author = {Davide Bresolin and
Ivan Lanese},
title = {Static and dynamic property-preserving updates},
journal = {Inf. Comput.},
volume = {279},
pages = {104611},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104611},
doi = {10.1016/J.IC.2020.104611},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BresolinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-07798,
editor = {Pierre Ganty and
Davide Bresolin},
title = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346},
doi = {10.4204/EPTCS.346},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-04868,
author = {Davide Bresolin and
Khaled El{-}Fakih and
Tiziano Villa and
Nina Yevtushenko},
title = {Equivalence Checking and Intersection of Deterministic Timed Finite
State Machines},
journal = {CoRR},
volume = {abs/2103.04868},
year = {2021},
url = {https://arxiv.org/abs/2103.04868},
eprinttype = {arXiv},
eprint = {2103.04868},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-04868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BresolinCGSVG20,
author = {Davide Bresolin and
Pieter Collins and
Luca Geretti and
Roberto Segala and
Tiziano Villa and
Sanja Zivanovic Gonzalez},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {A computable and compositional semantics for hybrid automata},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {18:1--18:11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382202},
doi = {10.1145/3365365.3382202},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BresolinCGSVG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09360,
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326},
doi = {10.4204/EPTCS.326},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-11330,
author = {Sanja Zivanovic Gonzalez and
Pieter Collins and
Luca Geretti and
Davide Bresolin and
Tiziano Villa},
title = {Higher Order Method for Differential Inclusions},
journal = {CoRR},
volume = {abs/2001.11330},
year = {2020},
url = {https://arxiv.org/abs/2001.11330},
eprinttype = {arXiv},
eprint = {2001.11330},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-11330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BresolinMMSS19,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Decidability and complexity of the fragments of the modal logic of
Allen's relations over the rationals},
journal = {Inf. Comput.},
volume = {266},
pages = {97--125},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.02.002},
doi = {10.1016/J.IC.2019.02.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BresolinMMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BresolinGV19,
author = {Davide Bresolin and
Luca Geretti and
Tiziano Villa},
editor = {Nicola Gigante and
Federico Mari and
Andrea Orlandini},
title = {Automated Verification of Noisy Nonlinear Cyber-Physical Systems with
Ariadne},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis, co-located with the
18th International Conference of the Italian Association for Artificial
Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2509},
pages = {29--34},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2509/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BresolinGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GerettiGCBV19,
author = {Luca Geretti and
Sanja Zivanovic Gonzalez and
Pieter Collins and
Davide Bresolin and
Tiziano Villa},
editor = {Majid Zamani and
Damien Zufferey},
title = {Rigorous Continuous Evolution of Uncertain Systems},
booktitle = {Numerical Software Verification - 12th International Workshop, NSV@CAV
2019, New York City, NY, USA, July 13-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11652},
pages = {60--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28423-7\_4},
doi = {10.1007/978-3-030-28423-7\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GerettiGCBV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BresolinMS18,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
title = {On Sub-Propositional Fragments of Modal Logic},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:16)2018},
doi = {10.23638/LMCS-14(2:16)2018},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BresolinMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GeraldesGBMFMV18,
author = {Andre A. Geraldes and
Luca Geretti and
Davide Bresolin and
Riccardo Muradore and
Paolo Fiorini and
Leonardo S. Mattos and
Tiziano Villa},
title = {Formal Verification of Medical {CPS:} {A} Laser Incision Case Study},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {2},
number = {4},
pages = {35:1--35:29},
year = {2018},
url = {https://doi.org/10.1145/3140237},
doi = {10.1145/3140237},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcps/GeraldesGBMFMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinCGMS18,
author = {Davide Bresolin and
Enrico Cominato and
Simone Gnani and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Extracting Interval Temporal Logic Rules: {A} First Approach},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.7},
doi = {10.4230/LIPICS.TIME.2018.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinCGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/BresolinJSS17,
author = {Davide Bresolin and
Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
title = {Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective
Metaheuristics},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {28},
number = {2-3},
pages = {217--249},
year = {2017},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/BresolinJSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BresolinKMRSZ17,
author = {Davide Bresolin and
Agi Kurucz and
Emilio Mu{\~{n}}oz{-}Velasco and
Vladislav Ryzhikov and
Guido Sciavicco and
Michael Zakharyaschev},
title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {3},
pages = {22:1--22:39},
year = {2017},
url = {https://doi.org/10.1145/3105909},
doi = {10.1145/3105909},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BresolinKMRSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BresolinMS17,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Valentin Goranko and
Mads Dam},
title = {Fast(er) Reasoning in Interval Temporal Logic},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.17},
doi = {10.4230/LIPICS.CSL.2017.17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BresolinMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BresolinL17,
author = {Davide Bresolin and
Ivan Lanese},
editor = {Frank Drewes and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Most General Property-Preserving Updates},
booktitle = {Language and Automata Theory and Applications - 11th International
Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10168},
pages = {367--379},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53733-7\_27},
doi = {10.1007/978-3-319-53733-7\_27},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/BresolinL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GerettiBCGV17,
author = {Luca Geretti and
Davide Bresolin and
Pieter Collins and
Sanja Zivanovic Gonzalez and
Tiziano Villa},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Ongoing Work on Automated Verification of Noisy Nonlinear Systems
with Ariadne},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {313--319},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_19},
doi = {10.1007/978-3-319-67549-7\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/GerettiBCGV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BresolinS16,
author = {Davide Bresolin and
Guido Sciavicco},
title = {Special issue: selected papers from the 21st international symposium
on temporal representations and reasoning {(TIME-2014)}},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {545--546},
year = {2016},
url = {https://doi.org/10.1007/s00236-016-0262-5},
doi = {10.1007/S00236-016-0262-5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/BresolinS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {On the Complexity of Fragments of Horn Modal Logics},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.27},
doi = {10.1109/TIME.2016.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {91--104},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.7},
doi = {10.4204/EPTCS.226.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresolinKMRSZ16,
author = {Davide Bresolin and
Agi Kurucz and
Emilio Mu{\~{n}}oz{-}Velasco and
Vladislav Ryzhikov and
Guido Sciavicco and
Michael Zakharyaschev},
title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical
Report)},
journal = {CoRR},
volume = {abs/1604.03515},
year = {2016},
url = {http://arxiv.org/abs/1604.03515},
eprinttype = {arXiv},
eprint = {1604.03515},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BresolinKMRSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresolinMS16a,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
title = {On Sub-Propositional Fragments of Modal Logic},
journal = {CoRR},
volume = {abs/1611.08800},
year = {2016},
url = {http://arxiv.org/abs/1611.08800},
eprinttype = {arXiv},
eprint = {1611.08800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BresolinGMFV15,
author = {Davide Bresolin and
Luca Geretti and
Riccardo Muradore and
Paolo Fiorini and
Tiziano Villa},
title = {Formal verification of robotic surgery tasks by reachability analysis},
journal = {Microprocess. Microsystems},
volume = {39},
number = {8},
pages = {836--842},
year = {2015},
url = {https://doi.org/10.1016/j.micpro.2015.10.006},
doi = {10.1016/J.MICPRO.2015.10.006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BresolinGMFV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/NuzzoSBGV15,
author = {Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Davide Bresolin and
Luca Geretti and
Tiziano Villa},
title = {A Platform-Based Design Methodology With Contracts and Related Tools
for the Design of Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {103},
number = {11},
pages = {2104--2132},
year = {2015},
url = {https://doi.org/10.1109/JPROC.2015.2453253},
doi = {10.1109/JPROC.2015.2453253},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/NuzzoSBGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BresolinMMSS15,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {On the Complexity of Fragments of the Modal Logic of Allen's Relations
over Dense Structures},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {511--523},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_40},
doi = {10.1007/978-3-319-15579-1\_40},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BresolinMMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BresolinMMS14,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
title = {The light side of interval temporal logic: the Bernays-Sch{\"{o}}nfinkel
fragment of {CDT}},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {11--39},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9337-y},
doi = {10.1007/S10472-013-9337-Y},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BresolinMMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BresolinMGMS14,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {The dark side of interval temporal logic: marking the undecidability
border},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {41--83},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9376-4},
doi = {10.1007/S10472-013-9376-4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BresolinMGMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMMSS14,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Interval temporal logics over strongly discrete linear orders: Expressiveness
and complexity},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {269--291},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.033},
doi = {10.1016/J.TCS.2014.03.033},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BresolinMS14,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A First Study of the Horn Fragment of the Modal Logic of Time Intervals},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {314--318},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BresolinMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/BresolinGMFV14,
author = {Davide Bresolin and
Luca Geretti and
Riccardo Muradore and
Paolo Fiorini and
Tiziano Villa},
title = {Verification of Robotic Surgery Tasks by Reachability Analysis: {A}
Comparison of Tools},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {659--662},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.55},
doi = {10.1109/DSD.2014.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/BresolinGMFV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ArtaleBMSR14,
author = {Alessandro Artale and
Davide Bresolin and
Angelo Montanari and
Guido Sciavicco and
Vladislav Ryzhikov},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {DL-Lite and Interval Temporal Logics: a Marriage Proposal},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {957--958},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-957},
doi = {10.3233/978-1-61499-419-0-957},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ArtaleBMSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/SchreiterBCRFW14,
author = {Luzie Schreiter and
Davide Bresolin and
Marta Capiluppi and
J{\"{o}}rg Raczkowsky and
Paolo Fiorini and
Heinz W{\"{o}}rn},
title = {Application of contract-based verification techniques for hybrid automata
to surgical robotic systems},
booktitle = {13th European Control Conference, {ECC} 2014, Strasbourg, France,
June 24-27, 2014},
pages = {2310--2315},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ECC.2014.6862231},
doi = {10.1109/ECC.2014.6862231},
timestamp = {Thu, 11 Feb 2021 14:14:57 +0100},
biburl = {https://dblp.org/rec/conf/eucc/SchreiterBCRFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMS14,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Sub-propositional Fragments of the Interval Temporal Logic of Allen's
Relations},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {122--136},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_9},
doi = {10.1007/978-3-319-11558-0\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinEVY14,
author = {Davide Bresolin and
Khaled El{-}Fakih and
Tiziano Villa and
Nina Yevtushenko},
editor = {Adriano Peron and
Carla Piazza},
title = {Deterministic Timed Finite State Machines: Equivalence Checking and
Expressive Power},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {203--216},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.18},
doi = {10.4204/EPTCS.161.18},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinEVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BersaniBFM14,
editor = {Marcello Maria Bersani and
Davide Bresolin and
Luca Ferrucci and
Manuel Mazzara},
title = {Proceedings First Workshop on Logics and Model-checking for Self-*
Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014},
series = {{EPTCS}},
volume = {168},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.168},
doi = {10.4204/EPTCS.168},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BersaniBFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BresolinMGMS13,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Metric propositional neighborhood logics on natural numbers},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {245--264},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0195-y},
doi = {10.1007/S10270-011-0195-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BresolinMGMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinC13,
author = {Davide Bresolin and
Marta Capiluppi},
title = {A game-theoretic approach to fault diagnosis and identification of
hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {15--29},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.07.031},
doi = {10.1016/J.TCS.2012.07.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BresolinC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMSS13,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Optimal decision procedures for {MPNL} over finite structures, the
natural numbers, and the integers},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {98--115},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.043},
doi = {10.1016/J.TCS.2012.10.043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foga/BresolinJSS13,
author = {Davide Bresolin and
Fernando Jim{\'{e}}nez and
Gracia S{\'{a}}nchez and
Guido Sciavicco},
editor = {Frank Neumann and
Kenneth A. De Jong},
title = {Finite satisfiability of propositional interval logic formulas with
multi-objective evolutionary algorithms},
booktitle = {Foundations of Genetic Algorithms XII, {FOGA} '13, Adelaide, SA, Australia,
January 16-20, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2460239.2460243},
doi = {10.1145/2460239.2460243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foga/BresolinJSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMMS13,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Didier Galmiche and
Dominique Larchey{-}Wendling},
title = {A Tableau System for Right Propositional Neighborhood Logic over Finite
Linear Orders: An Implementation},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
International Conference, {TABLEAUX} 2013, Nancy, France, September
16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8123},
pages = {74--80},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40537-2\_8},
doi = {10.1007/978-3-642-40537-2\_8},
timestamp = {Mon, 16 Sep 2019 15:24:38 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bresolin13a,
author = {Davide Bresolin},
editor = {Luca Bortolussi and
Manuela{-}Luminita Bujorianu and
Giordano Pola},
title = {HyLTL: a temporal logic for model checking hybrid systems},
booktitle = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
{HAS} 2013, Rome, Italy, 17th March 2013},
series = {{EPTCS}},
volume = {124},
pages = {73--84},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.124.8},
doi = {10.4204/EPTCS.124.8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Bresolin13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bresolin13,
author = {Davide Bresolin},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Improving HyLTL model checking of hybrid systems},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {79--92},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.9},
doi = {10.4204/EPTCS.119.9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Bresolin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BresolinSS12,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
title = {On Begins, Meets and before},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {3},
pages = {559--583},
year = {2012},
url = {https://doi.org/10.1142/S012905411240028X},
doi = {10.1142/S012905411240028X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BresolinSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CollinsBGV12,
author = {Pieter Collins and
Davide Bresolin and
Luca Geretti and
Tiziano Villa},
editor = {Maurice Heemels and
Bart De Schutter},
title = {Computing the Evolution of Hybrid Systems using Rigorous Function
Calculus},
booktitle = {4th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2012, Eindhoven, The Netherlands, June 6-8, 2012},
series = {{IFAC} Proceedings Volumes},
volume = {45},
number = {9},
pages = {284--290},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.3182/20120606-3-NL-3011.00063},
doi = {10.3182/20120606-3-NL-3011.00063},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/CollinsBGV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/BresolinGGMFV12,
author = {Davide Bresolin and
Luigi Di Guglielmo and
Luca Geretti and
Riccardo Muradore and
Paolo Fiorini and
Tiziano Villa},
title = {Open Problems in Verification and Refinement of Autonomous Robotic
Systems},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {469--476},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.96},
doi = {10.1109/DSD.2012.96},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/BresolinGGMFV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMMSS12,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Interval Temporal Logics over Finite Linear Orders: the Complete Picture},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {199--204},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-199},
doi = {10.3233/978-1-61499-098-7-199},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BenvenutiBCFGV12,
author = {Luca Benvenuti and
Davide Bresolin and
Pieter Collins and
Alberto Ferrari and
Luca Geretti and
Tiziano Villa},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability
Analysis},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {79--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_8},
doi = {10.1007/978-3-642-33512-9\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/BenvenutiBCFGV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2479,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Marco Faella and
Aniello Murano},
title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the
Complete Picture},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {155--168},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.12},
doi = {10.4204/EPTCS.96.12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/MuradoreBGFV11,
author = {Riccardo Muradore and
Davide Bresolin and
Luca Geretti and
Paolo Fiorini and
Tiziano Villa},
title = {Robotic Surgery},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {18},
number = {3},
pages = {24--32},
year = {2011},
url = {https://doi.org/10.1109/MRA.2011.942112},
doi = {10.1109/MRA.2011.942112},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ram/MuradoreBGFV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/BresolinGGV11,
author = {Davide Bresolin and
Luigi Di Guglielmo and
Luca Geretti and
Tiziano Villa},
title = {Correct-by-construction code generation from hybrid automata specification},
booktitle = {Proceedings of the 7th International Wireless Communications and Mobile
Computing Conference, {IWCMC} 2011, Istanbul, Turkey, 4-8 July, 2011},
pages = {1660--1665},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IWCMC.2011.5982784},
doi = {10.1109/IWCMC.2011.5982784},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/BresolinGGV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {What's Decidable about Halpern and Shoham's Interval Logic? The Maximal
Fragment {ABBL}},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {387--396},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.35},
doi = {10.1109/LICS.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Optimal Tableau Systems for Propositional Neighborhood Logic over
All, Dense, and Discrete Linear Orders},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {73--87},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_8},
doi = {10.1007/978-3-642-22119-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMMS11,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Light Side of Interval Temporal Logic: The Bernays-Sch{\"{o}}nfinkel's
Fragment of {CDT}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {123--130},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.20},
doi = {10.1109/TIME.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS11,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Dark Side of Interval Temporal Logic: Sharpening the Undecidability
Border},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {131--138},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.21},
doi = {10.1109/TIME.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1241,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {An Optimal Decision Procedure for {MPNL} over the Integers},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {192--206},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.14},
doi = {10.4204/EPTCS.54.14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1244,
author = {Davide Bresolin and
Marta Capiluppi},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {237--249},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.17},
doi = {10.4204/EPTCS.54.17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BresolinGMS10,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
title = {Tableaux for Logics of Subinterval Structures over Dense Orderings},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {133--166},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn063},
doi = {10.1093/LOGCOM/EXN063},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BresolinGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Metric Propositional Neighborhood Logics: Expressiveness, Decidability,
and Undecidability},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {695--700},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-695},
doi = {10.3233/978-1-60750-606-5-695},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinSMMS10,
author = {Davide Bresolin and
Pietro Sala and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Nicolas Markey and
Jef Wijsen},
title = {A Decidable Spatial Generalization of Metric Interval Temporal Logic},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.22},
doi = {10.1109/TIME.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinSMMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1407,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Begin, After, and Later: a Maximal Decidable Interval Temporal Logic},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {72--88},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.10},
doi = {10.4204/EPTCS.25.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BresolinMP09,
author = {Davide Bresolin and
Angelo Montanari and
Gabriele Puppis},
title = {A theory of ultimately periodic languages and automata with an application
to time granularity},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {331--360},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0094-7},
doi = {10.1007/S00236-009-0094-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BresolinMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional interval neighborhood logics: Expressiveness, decidability,
and undecidable extensions},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {289--304},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.003},
doi = {10.1016/J.APAL.2009.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/BresolinGFPV09,
author = {Davide Bresolin and
Giuseppe Di Guglielmo and
Franco Fummi and
Graziano Pravadelli and
Tiziano Villa},
title = {The impact of {EFSM} composition on functional {ATPG}},
booktitle = {Proceedings of the 2009 {IEEE} Symposium on Design and Diagnostics
of Electronic Circuits and Systems, {DDECS} 2009, April 15-17, 2009,
Liberec, Czech Republic},
pages = {44--49},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DDECS.2009.5012097},
doi = {10.1109/DDECS.2009.5012097},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/BresolinGFPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer
Constraints for Interval Lengths},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {240--249},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.36},
doi = {10.1109/SEFM.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS09,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Martin Giese and
Arild Waaler},
title = {A Tableau-Based System for Spatial Reasoning about Directional Relations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {123--137},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_10},
doi = {10.1007/978-3-642-02716-1\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS09,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carsten Lutz and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Undecidability of Interval Temporal Logics with the Overlap Modality},
booktitle = {{TIME} 2009, 16th International Symposium on Temporal Representation
and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TIME.2009.24},
doi = {10.1109/TIME.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Undecidability of the Logic of Overlap Relation over Discrete Linear
Orderings},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {65--81},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.006},
doi = {10.1016/J.ENTCS.2010.04.006},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMSS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Optimal Tableaux for Right Propositional Neighborhood Logic over Linear
Orders},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {62--75},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_7},
doi = {10.1007/978-3-540-87803-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BresolinMGMS08,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval
Temporal Logic: Towards a Complete Classification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {590--604},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_41},
doi = {10.1007/978-3-540-89439-1\_41},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BresolinMGMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {An optimal tableau for Right Propositional Neighborhood Logic over
Trees},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.17},
doi = {10.1109/TIME.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Bresolin07,
author = {Davide Bresolin},
title = {Proof methods for interval temporal logics},
school = {University of Udine, Italy},
year = {2007},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=CFI0792082},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Bresolin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BresolinMS07,
author = {Davide Bresolin and
Angelo Montanari and
Guido Sciavicco},
title = {An Optimal Decision Procedure for Right Propositional Neighborhood
Logic},
journal = {J. Autom. Reason.},
volume = {38},
number = {1-3},
pages = {173--199},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9051-0},
doi = {10.1007/S10817-006-9051-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BresolinMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Decidability and Expressiveness of Propositional Interval Neighborhood
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {84--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_7},
doi = {10.1007/978-3-540-72734-7\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BresolinMS07,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood
Logic},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {549--560},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_47},
doi = {10.1007/978-3-540-70918-3\_47},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BresolinMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Nicola Olivetti},
title = {Tableau Systems for Logics of Subinterval Structures over Dense Orderings},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_8},
doi = {10.1007/978-3-540-73099-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Complete and Terminating Tableau for the Logic of Proper Subinterval
Structures Over Dense Orderings},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {131--151},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.033},
doi = {10.1016/J.ENTCS.2009.02.033},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BresolinGO06,
author = {Davide Bresolin and
Joanna Golinska{-}Pilarek and
Ewa Orlowska},
title = {Relational dual tableaux for interval temporal logics},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {3-4},
pages = {251--278},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.251-277},
doi = {10.3166/JANCL.16.251-277},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BresolinGO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinM05,
author = {Davide Bresolin and
Angelo Montanari},
editor = {Bernhard Beckert},
title = {A Tableau-Based Decision Procedure for Right Propositional Neighborhood
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {63--77},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_7},
doi = {10.1007/11554554\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMP04,
author = {Davide Bresolin and
Angelo Montanari and
Gabriele Puppis},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Time Granularities and Ultimately Periodic Automata},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {513--525},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_43},
doi = {10.1007/978-3-540-30227-8\_43},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-06 23:52 CET 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:
