Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Francesco Parisi-Presicce
@article{DBLP:journals/vlc/BottoniFHP17,
author = {Paolo Bottoni and
Andrew Fish and
Alexander Heu{\ss}ner and
Francesco Parisi{-}Presicce},
title = {Resource-aware policies},
journal = {J. Vis. Lang. Comput.},
volume = {38},
pages = {84--96},
year = {2017},
url = {https://doi.org/10.1016/j.jvlc.2016.10.004},
doi = {10.1016/J.JVLC.2016.10.004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BottoniFHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BottoniFP16,
author = {Paolo Bottoni and
Andrew Fish and
Francesco Parisi{-}Presicce},
editor = {Alexander Heu{\ss}ner and
Aleks Kissinger and
Anton Wijs},
title = {Type Annotation for Adaptive Systems},
booktitle = {Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven,
The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {231},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.231.1},
doi = {10.4204/EPTCS.231.1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BottoniFP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2016ds,
editor = {Catherine Dubois and
Francesco Parisi{-}Presicce and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {Joint Proceedings of the Doctoral Symposium and Projects Showcase
Held as Part of {STAF} 2016 co-located with Software Technologies:
Applications and Foundations {(STAF} 2016), Vienna, Austria, July
4-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1675},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1675},
urn = {urn:nbn:de:0074-1675-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2016ds.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniNP15,
author = {Paolo Bottoni and
Roberto Navigli and
Francesco Parisi{-}Presicce},
title = {Conditions, constraints and contracts: On the use of annotations for
policy modeling},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {73},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.73.1033},
doi = {10.14279/TUJ.ECEASST.73.1033},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BottoniFP15,
author = {Paolo Bottoni and
Andrew Fish and
Francesco Parisi{-}Presicce},
title = {Spider Graphs: a graph transformation system for spider diagrams},
journal = {Softw. Syst. Model.},
volume = {14},
number = {4},
pages = {1421--1453},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0381-1},
doi = {10.1007/S10270-013-0381-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BottoniFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BottoniNP15,
author = {Paolo Bottoni and
Roberto Navigli and
Francesco Parisi{-}Presicce},
editor = {Detlef Plump},
title = {Conditions, Constraints and Contracts: On the Use of Annotations for
Policy Modeling},
booktitle = {Proceedings of the 6th International Workshop on Graph Computation
Models co-located with the 8th International Conference on Graph Transformation
{(ICGT} 2015) part of the Software Technologies: Applications and
Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy,
July 20, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1403},
pages = {18--33},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1403/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/gg/BottoniNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2015,
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9},
doi = {10.1007/978-3-319-21145-9},
isbn = {978-3-319-21144-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniP13,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce},
title = {Annotations on Complex Patterns},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {58},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.58.844},
doi = {10.14279/TUJ.ECEASST.58.844},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BottoniP13,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce},
title = {Annotation processes for flexible management of contextual information},
journal = {J. Vis. Lang. Comput.},
volume = {24},
number = {6},
pages = {421--440},
year = {2013},
url = {https://doi.org/10.1016/j.jvlc.2013.08.003},
doi = {10.1016/J.JVLC.2013.08.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BottoniP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniP12,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce},
title = {Modeling context with graph annotations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {47},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.47.735},
doi = {10.14279/TUJ.ECEASST.47.735},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniFP11,
author = {Paolo Bottoni and
Andrew Fish and
Francesco Parisi{-}Presicce},
title = {Incremental update of constraint-compliant policy rules},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {39},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.39.651},
doi = {10.14279/TUJ.ECEASST.39.651},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniFP10,
author = {Paolo Bottoni and
Andrew Fish and
Francesco Parisi{-}Presicce},
title = {Preserving constraints in horizontal model transformations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {29},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.29.410},
doi = {10.14279/TUJ.ECEASST.29.410},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniP10,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce},
title = {A Termination Criterion for Graph Transformations with Negative Application
Conditions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {30},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.30.419},
doi = {10.14279/TUJ.ECEASST.30.419},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HagstromP10,
author = {{\AA}sa Hagstr{\"{o}}m and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {A Model for Distribution and Revocation of Certificates},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {314--329},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_21},
doi = {10.1007/978-3-642-15928-2\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/HagstromP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Parisi-Presicce07,
author = {Francesco Parisi{-}Presicce},
title = {Special section: International Conference on Graph Transformation
{ICGT} 2004},
journal = {Softw. Syst. Model.},
volume = {6},
number = {3},
pages = {267--268},
year = {2007},
url = {https://doi.org/10.1007/s10270-007-0052-1},
doi = {10.1007/S10270-007-0052-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Parisi-Presicce07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniHP06,
author = {Paolo Bottoni and
Kathrin Hoffmann and
Francesco Parisi{-}Presicce},
title = {Termination of Algebraic Rewriting with Inhibitors},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.15},
doi = {10.14279/TUJ.ECEASST.4.15},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BottoniHP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EngelsOP06,
author = {Gregor Engels and
Fernando Orejas and
Francesco Parisi{-}Presicce},
title = {Special Issue with Selected Papers from {ICGT} 2004},
journal = {Fundam. Informaticae},
volume = {74},
number = {1},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EngelsOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KochP06,
author = {Manuel Koch and
Francesco Parisi{-}Presicce},
title = {{UML} specification of access control policies and their formal verification},
journal = {Softw. Syst. Model.},
volume = {5},
number = {4},
pages = {429--447},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0030-z},
doi = {10.1007/S10270-006-0030-Z},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KochP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ZhangSP06,
author = {Xinwen Zhang and
Ravi S. Sandhu and
Francesco Parisi{-}Presicce},
editor = {Ferng{-}Ching Lin and
Der{-}Tsai Lee and
Bao{-}Shuh Paul Lin and
Shiuhpyng Shieh and
Sushil Jajodia},
title = {Safety analysis of usage control authorization models},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2006, Taipei, Taiwan, March 21-24,
2006},
pages = {243--254},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1128817.1128853},
doi = {10.1145/1128817.1128853},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ZhangSP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsec/ZhangPS06,
author = {Xinwen Zhang and
Francesco Parisi{-}Presicce and
Ravi S. Sandhu},
editor = {Hiroshi Yoshiura and
Kouichi Sakurai and
Kai Rannenberg and
Yuko Murayama and
Shin{-}ichi Kawamura},
title = {Towards Remote Policy Enforcement for Runtime Protection of Mobile
Code Using Trusted Computing},
booktitle = {Advances in Information and Computer Security, First International
Workshop on Security, {IWSEC} 2006, Kyoto, Japan, October 23-24, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4266},
pages = {179--195},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11908739\_13},
doi = {10.1007/11908739\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iwsec/ZhangPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BottoniPPT08,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Simone Pulcini and
Gabriele Taentzer},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Maintaining Coherence Between Models With Distributed Rules: From
Theory to Eclipse},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {87--98},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.032},
doi = {10.1016/J.ENTCS.2008.04.032},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BottoniPPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KochMP05,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
title = {Graph-based specification of access control policies},
journal = {J. Comput. Syst. Sci.},
volume = {71},
number = {1},
pages = {1--33},
year = {2005},
url = {https://doi.org/10.1016/j.jcss.2004.11.002},
doi = {10.1016/J.JCSS.2004.11.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KochMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DwaikatP05,
author = {Zaid Dwaikat and
Francesco Parisi{-}Presicce},
title = {Risky trust: risk-based analysis of software systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--7},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083206},
doi = {10.1145/1082983.1083206},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/DwaikatP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/ZhangPSP05,
author = {Xinwen Zhang and
Francesco Parisi{-}Presicce and
Ravi S. Sandhu and
Jaehong Park},
title = {Formal model and policy specification of usage control},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {8},
number = {4},
pages = {351--387},
year = {2005},
url = {https://doi.org/10.1145/1108906.1108908},
doi = {10.1145/1108906.1108908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/ZhangPSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BottoniHPT05,
author = {Paolo Bottoni and
Kathrin Hoffmann and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
title = {High-level replacement units and their termination properties},
journal = {J. Vis. Lang. Comput.},
volume = {16},
number = {6},
pages = {485--507},
year = {2005},
url = {https://doi.org/10.1016/j.jvlc.2005.07.001},
doi = {10.1016/J.JVLC.2005.07.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BottoniHPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/MotroP05,
author = {Amihai Motro and
Francesco Parisi{-}Presicce},
editor = {Sushil Jajodia and
Duminda Wijesekera},
title = {Blind Custodians: {A} Database Service Architecture That Supports
Privacy Without Encryption},
booktitle = {Data and Applications Security XIX, 19th Annual {IFIP} {WG} 11.3 Working
Conference on Data and Applications Security, Storrs, CT, USA, August
7-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3654},
pages = {338--352},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11535706\_25},
doi = {10.1007/11535706\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/MotroP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DwaikatP05,
author = {Zaid Dwaikat and
Francesco Parisi{-}Presicce},
title = {Risky trust: risk-based analysis of software systems},
booktitle = {Proceedings of the 2005 Workshop on Software Engineering for Secure
Systems - Building Trustworthy Applications, {SESS} 2005, St. Louis,
Missouri, USA, May 15-16, 2005},
pages = {1--7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1083200.1083206},
doi = {10.1145/1083200.1083206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DwaikatP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/GudesMP04,
author = {Ehud Gudes and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Csilla Farkas and
Pierangela Samarati},
title = {Information Flow Analysis for File Systems and Databases Using Labels},
booktitle = {Research Directions in Data and Applications Security XVIII, {IFIP}
{TC11/WG} 11.3 Eighteenth Annual Conference on Data and Applications
Security, July 25-28, 2004, Sitges, Catalonia, Spain},
series = {{IFIP}},
volume = {144},
pages = {125--141},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8128-6\_9},
doi = {10.1007/1-4020-8128-6\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/GudesMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ZhangPPS04,
author = {Xinwen Zhang and
Jaehong Park and
Francesco Parisi{-}Presicce and
Ravi S. Sandhu},
editor = {Trent Jaeger and
Elena Ferrari},
title = {A logical specification for usage control},
booktitle = {9th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings},
pages = {1--10},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/990036.990038},
doi = {10.1145/990036.990038},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/ZhangPPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/KochMP04,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Trent Jaeger and
Elena Ferrari},
title = {Administrative scope in the graph-based framework},
booktitle = {9th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings},
pages = {97--104},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/990036.990051},
doi = {10.1145/990036.990051},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/KochMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BottoniKPT05,
author = {Paolo Bottoni and
Manuel Koch and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
editor = {Mark Minas},
title = {Termination of High-Level Replacement Units with Application to Model
Transformation},
booktitle = {Proceedings of the Workshop on Visual Languages and Formal Methods,
{VLFM} 2004, Rome, Italy, September 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {4},
pages = {71--86},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.048},
doi = {10.1016/J.ENTCS.2004.08.048},
timestamp = {Mon, 12 Dec 2022 14:53:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BottoniKPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoffmannMP05,
author = {Kathrin Hoffmann and
Till Mossakowski and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Julia Padberg and
Grzegorz Rozenberg},
title = {Higher-Order Nets for Mobile Policies},
booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations,
PNGT@ICGT 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {2},
pages = {87--105},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.007},
doi = {10.1016/J.ENTCS.2005.02.007},
timestamp = {Mon, 12 Dec 2022 14:22:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoffmannMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parisi-PresicceZ05,
author = {Francesco Parisi{-}Presicce and
Yujie Zhao},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {Policy Analysis and Verification by Graph Transformation Tools},
booktitle = {Proceedings of the 2nd International Workshop on Graph-Based Tools,
GraBaTs 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {1},
pages = {101--112},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.031},
doi = {10.1016/J.ENTCS.2004.12.031},
timestamp = {Mon, 12 Dec 2022 13:56:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parisi-PresicceZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2004,
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100934},
doi = {10.1007/B100934},
isbn = {3-540-23207-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/WijesekeraJPH03,
author = {Duminda Wijesekera and
Sushil Jajodia and
Francesco Parisi{-}Presicce and
{\AA}sa Hagstr{\"{o}}m},
title = {Removing permissions in the flexible authorization framework},
journal = {{ACM} Trans. Database Syst.},
volume = {28},
number = {3},
pages = {209--229},
year = {2003},
url = {https://doi.org/10.1145/937598.937599},
doi = {10.1145/937598.937599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/WijesekeraJPH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BottoniPT03,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
editor = {John L. Pfaltz and
Manfred Nagl and
Boris B{\"{o}}hlen},
title = {Specifying Integrated Refactoring with Distributed Graph Transformations},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Second
International Workshop, {AGTIVE} 2003, Charlottesville, VA, USA, September
27 - October 1, 2003, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3062},
pages = {220--235},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25959-6\_16},
doi = {10.1007/978-3-540-25959-6\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BottoniPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KochP03,
author = {Manuel Koch and
Francesco Parisi{-}Presicce},
editor = {Michael Backes and
David A. Basin},
title = {Formal access control analysis in the software development process},
booktitle = {Proceedings of the 2003 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2003, Washington, DC, USA, October 30, 2003},
pages = {67--76},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/1035429.1035437},
doi = {10.1145/1035429.1035437},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/KochP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Parisi-Presicce03,
author = {Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Wolfgang Reisig and
Grzegorz Rozenberg and
Herbert Weber},
title = {A Formal Framework for Petri Net Class Transformations},
booktitle = {Petri Net Technology for Communication-Based Systems - Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2472},
pages = {409--430},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40022-6\_20},
doi = {10.1007/978-3-540-40022-6\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Parisi-Presicce03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KochP03,
author = {Manuel Koch and
Francesco Parisi{-}Presicce},
editor = {Mauro Pezz{\`{e}}},
title = {Visual Specifications of Policies and Their Verification},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {278--293},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_20},
doi = {10.1007/3-540-36578-8\_20},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/KochP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Grosse-RhodePS02,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni},
title = {Formal Software Specification with Refinements and Modules of Typed
Graph Transformation Systems},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {2},
pages = {171--218},
year = {2002},
url = {https://doi.org/10.1006/jcss.2001.1800},
doi = {10.1006/JCSS.2001.1800},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Grosse-RhodePS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/KochMP02,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
title = {A graph-based formalism for {RBAC}},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {5},
number = {3},
pages = {332--365},
year = {2002},
url = {https://doi.org/10.1145/545186.545191},
doi = {10.1145/545186.545191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/KochMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KochMP02,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Dieter Gollmann and
G{\"{u}}nter Karjoth and
Michael Waidner},
title = {Decidability of Safety in Graph-Based Models for Access Control},
booktitle = {Computer Security - {ESORICS} 2002, 7th European Symposium on Research
in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2502},
pages = {229--243},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45853-0\_14},
doi = {10.1007/3-540-45853-0\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/KochMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KochMP02,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Conflict Detection and Resolution in Access Control Policy Specifications},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {223--237},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_16},
doi = {10.1007/3-540-45931-6\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KochMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KochP02,
author = {Manuel Koch and
Francesco Parisi{-}Presicce},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Describing Policies with Graph Constraints and Rules},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {223--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_18},
doi = {10.1007/3-540-45832-8\_18},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/KochP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tes/MecellaPP02,
author = {Massimo Mecella and
Francesco Parisi{-}Presicce and
Barbara Pernici},
editor = {Alejandro P. Buchmann and
Fabio Casati and
Ludger Fiege and
Meichun Hsu and
Ming{-}Chien Shan},
title = {Modeling {E} -service Orchestration through Petri Nets},
booktitle = {Technologies for E-Services, Third International Workshop, {TES} 2002,
Hong Kong, China, August 23-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2444},
pages = {38--47},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46121-3\_6},
doi = {10.1007/3-540-46121-3\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tes/MecellaPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BottoniPT03,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
editor = {Reiko Heckel and
Tom Mens and
Michel Wermelinger},
title = {Coordinated Distributed Diagram Transformation for Software Evolution},
booktitle = {Workshop on Software Evolution Through Transformations 2002 - Toward
Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain,
2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {4},
pages = {59--70},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80626-1},
doi = {10.1016/S1571-0661(04)80626-1},
timestamp = {Tue, 06 Dec 2022 16:49:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BottoniPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HagstromJPW01,
author = {{\AA}sa Hagstr{\"{o}}m and
Sushil Jajodia and
Francesco Parisi{-}Presicce and
Duminda Wijesekera},
title = {Revocations-A Classification},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {44--58},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930135},
doi = {10.1109/CSFW.2001.930135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HagstromJPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KochMP01,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Furio Honsell and
Marino Miculan},
title = {Foundations for a Graph-Based Approach to the Specification of Access
Control Policies},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {287--302},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_19},
doi = {10.1007/3-540-45315-6\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KochMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/BottoniMMP01,
author = {Paolo Bottoni and
Bernd Meyer and
Kim Marriott and
Francesco Parisi{-}Presicce},
editor = {Philippe de Groote and
Glyn Morrill and
Christian Retor{\'{e}}},
title = {Deductive Parsing of Visual Languages},
booktitle = {Logical Aspects of Computational Linguistics, 4th International Conference,
{LACL} 2001, Le Croisic, France, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2099},
pages = {79--94},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48199-0\_5},
doi = {10.1007/3-540-48199-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacl/BottoniMMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/KochMP01,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Ravi S. Sandhu and
Trent Jaeger},
title = {On the specification and evolution of access control policies},
booktitle = {6th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2001, Litton-TASC, Chantilly, Virginia, USA, May 3-4, 2001},
pages = {121--130},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/373256.373280},
doi = {10.1145/373256.373280},
timestamp = {Tue, 09 Feb 2021 08:50:30 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/KochMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BottoniKPT01,
author = {Paolo Bottoni and
Manuel Koch and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
editor = {Martin Gogolla and
Cris Kobryn},
title = {A Visualization of {OCL} Using Collaborations},
booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language,
Modeling Languages, Concepts, and Tools, 4th International Conference,
Toronto, Canada, October 1-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2185},
pages = {257--271},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45441-1\_20},
doi = {10.1007/3-540-45441-1\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/BottoniKPT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BottoniMP01,
author = {Paolo Bottoni and
Bernd Meyer and
Francesco Parisi{-}Presicce},
title = {On a Uniform Logical Framework for Diagrammatic Reasoning},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995240},
doi = {10.1109/HCC.2001.995240},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BottoniMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/GajewskyP01,
author = {Magdalena Gajewsky and
Francesco Parisi{-}Presicce},
editor = {Maura Cerioli and
Gianna Reggio},
title = {On the Compatibility of Model and Model-Class Transformations},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {109--127},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_6},
doi = {10.1007/3-540-45645-7\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/GajewskyP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parisi-Presicce01,
author = {Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {On Modifying High Level Replacement Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {16--27},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80940-X},
doi = {10.1016/S1571-0661(04)80940-X},
timestamp = {Thu, 01 Dec 2022 11:20:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parisi-Presicce01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigHP01,
author = {Hartmut Ehrig and
Annegret Habel and
Francesco Parisi{-}Presicce},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Basic Results for Two Types of High-Level Replacement Systems},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {127--138},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80197-X},
doi = {10.1016/S1571-0661(04)80197-X},
timestamp = {Wed, 30 Nov 2022 11:42:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigHP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KochMP01,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Graph Transformations for the Specification of Access Control Policies},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {222--232},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80205-6},
doi = {10.1016/S1571-0661(04)80205-6},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KochMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KochMP00,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Yves Deswarte and
Dieter Gollmann and
Michael Waidner},
title = {A Formal Model for Role-Based Access Control Using Graph Transformation},
booktitle = {Computer Security - {ESORICS} 2000, 6th European Symposium on Research
in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1895},
pages = {122--139},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722599\_8},
doi = {10.1007/10722599\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/KochMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Parisi-PresicceW00,
author = {Francesco Parisi{-}Presicce and
Alexander L. Wolf},
editor = {T. S. E. Maibaum},
title = {Foundations for Software Configuration Management Policies Using Graph
Transformations},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {304--318},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_21},
doi = {10.1007/3-540-46428-X\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Parisi-PresicceW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Parisi-Presicce00,
author = {Francesco Parisi{-}Presicce},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {Which Graphs for Visual Modeling?},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {383--386},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Parisi-Presicce00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BottoniKPT00,
author = {Paolo Bottoni and
Manuel Koch and
Francesco Parisi{-}Presicce and
Gabriele Taentzer},
editor = {Andy Evans and
Stuart Kent and
Bran Selic},
title = {Consistency Checking and Visualization of {OCL} Constraints},
booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1939},
pages = {294--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40011-7\_21},
doi = {10.1007/3-540-40011-7\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/BottoniKPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/BottoniMP00,
author = {Paolo Bottoni and
Bernd Meyer and
Francesco Parisi{-}Presicce},
editor = {Cristian Calude and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning},
booktitle = {Multiset Processing, Mathematical, Computer Science, and Molecular
Computing Points of View [Workshop on Multiset Processing, {WMP} 2000,
Curtea de Arges, Romania, August 21-25, 2000]},
series = {Lecture Notes in Computer Science},
volume = {2235},
pages = {45--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45523-X\_3},
doi = {10.1007/3-540-45523-X\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wmp/BottoniMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/Grosse-RhodePST99,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni and
Gabriele Taentzer},
editor = {Manfred Nagl and
Andy Sch{\"{u}}rr and
Manfred M{\"{u}}nch},
title = {Modeling Distributed Systems by Modular Graph Transformation Based
on Refinement via Rule Expressions},
booktitle = {Applications of Graph Transformations with Industrial Relevance, International
Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1779},
pages = {31--45},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45104-8\_3},
doi = {10.1007/3-540-45104-8\_3},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/Grosse-RhodePST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BottoniPS99,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Manfred Nagl and
Andy Sch{\"{u}}rr and
Manfred M{\"{u}}nch},
title = {On a Uniform Representation of Transformation Systems},
booktitle = {Applications of Graph Transformations with Industrial Relevance, International
Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1779},
pages = {63--78},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45104-8\_5},
doi = {10.1007/3-540-45104-8\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BottoniPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/VeglioniP99,
author = {S. Veglioni and
Francesco Parisi{-}Presicce},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Composition and Interaction for Behavioural Specifications},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/VeglioniP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grosse-RhodePS98,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Spatial and Temporal Refinement of Typed Graph Transformation Systems},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {553--561},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055805},
doi = {10.1007/BFB0055805},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grosse-RhodePS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/BottoniPS98,
author = {Paolo Bottoni and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {From Formulae to Rewriting Systems},
booktitle = {Theory and Application of Graph Transformations, 6th International
Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1764},
pages = {267--280},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-46464-8\_19},
doi = {10.1007/978-3-540-46464-8\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tagt/BottoniPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/Grosse-RhodePS98,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Refinements of Graph Transformation Systems via Rule Expressions},
booktitle = {Theory and Application of Graph Transformations, 6th International
Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1764},
pages = {368--382},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-46464-8\_26},
doi = {10.1007/978-3-540-46464-8\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tagt/Grosse-RhodePS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Grosse-RhodePS98,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Refinements and Modules for Typed Graph Transformation Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {138--151},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_10},
doi = {10.1007/3-540-48483-3\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Grosse-RhodePS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiceroneP97,
author = {Serafino Cicerone and
Francesco Parisi{-}Presicce},
title = {On the Complexity of Specification Morphisms},
journal = {Theor. Comput. Sci.},
volume = {189},
number = {1-2},
pages = {239--248},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00106-0},
doi = {10.1016/S0304-3975(97)00106-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CiceroneP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/1997,
editor = {Francesco Parisi{-}Presicce},
title = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1376},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64299-4},
doi = {10.1007/3-540-64299-4},
isbn = {3-540-64299-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/CiottiP96,
author = {Ornella Ciotti and
Francesco Parisi{-}Presicce},
editor = {Fabrizio d'Amore and
Paolo Giulio Franciosa and
Alberto Marchetti{-}Spaccamela},
title = {Closure Properties of Context-Tree Hyperedge Replacement Systems},
booktitle = {Graph-Theoretic Concepts in Computer Science, 22nd International Workshop,
{WG} '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1197},
pages = {101--113},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62559-3\_10},
doi = {10.1007/3-540-62559-3\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/CiottiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
title = {An Algebraic Theory of Class Specification},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {3},
number = {2},
pages = {166--199},
year = {1994},
url = {https://doi.org/10.1145/192218.192235},
doi = {10.1145/192218.192235},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamical Behavior of Object Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {406--419},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014441},
doi = {10.1007/BFB0014441},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CiceroneP94,
author = {Serafino Cicerone and
Francesco Parisi{-}Presicce},
editor = {Donald Sannella},
title = {Strategies in Modular System Design by Interface Rewriting},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {165--179},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_11},
doi = {10.1007/3-540-57880-3\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CiceroneP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isooms/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Elisa Bertino and
Susan Darling Urban},
title = {Reusing Object Oriented Design: An Algebraic Approach},
booktitle = {Object-Oriented Methodologies and Systems, International Symposium
{ISOOMS} '94, Palermo, Italy, September 21-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {858},
pages = {329--345},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014034},
doi = {10.1007/BFB0014034},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/isooms/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/Parisi-Presicce94,
author = {Francesco Parisi{-}Presicce},
editor = {Janice E. Cuny and
Hartmut Ehrig and
Gregor Engels and
Grzegorz Rozenberg},
title = {Transformations of Graph Grammars},
booktitle = {Graph Gramars and Their Application to Computer Science, 5th International
Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1073},
pages = {428--442},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-61228-9\_103},
doi = {10.1007/3-540-61228-9\_103},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/tagt/Parisi-Presicce94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Gabriele Piersanti},
editor = {Ernst W. Mayr and
Gunther Schmidt and
Gottfried Tinhofer},
title = {Multilevel Graph Grammars},
booktitle = {Graph-Theoretic Concepts in Computer Science, 20th International Workshop,
{WG} '94, Herrsching, Germany, June 16-18, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {903},
pages = {51--64},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59071-4\_37},
doi = {10.1007/3-540-59071-4\_37},
timestamp = {Sun, 02 Oct 2022 16:17:33 +0200},
biburl = {https://dblp.org/rec/conf/wg/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/EhrigP93,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Interaction between Algebraic Specification Grammars and Modular System
Design},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {217--224},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/EhrigP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Parisi-PresicceV93,
author = {Francesco Parisi{-}Presicce and
S. Veglioni},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Heterogeneous Unified Algebras},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {618--628},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_53},
doi = {10.1007/3-540-57182-5\_53},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Parisi-PresicceV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Parisi-PresicceP93,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Towards the Algebraic Specification of Classes in Object Oriented
Programming},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {183--194},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0013},
doi = {10.1142/9789812794499\_0013},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Parisi-PresicceP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/EhrigP92,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {High-Level-Replacement Systems for Equational Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {3--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013816},
doi = {10.1007/BFB0013816},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/EhrigP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP92,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Hartmut Ehrig},
title = {Structured Inheritance for Algebraic Class Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {295--309},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_18},
doi = {10.1007/3-540-57867-6\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Parisi-PresicceP92,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
title = {System Design as Derivation via Rewriting},
booktitle = {SEKE'92, The 4th International Conference on Software Engineering
and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
pages = {317--324},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SEKE.1992.227973},
doi = {10.1109/SEKE.1992.227973},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Parisi-PresicceP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/Parisi-Presicce92,
author = {Francesco Parisi{-}Presicce},
editor = {Ernst W. Mayr},
title = {Single vs. Double Pushout Derivations of Graphs},
booktitle = {Graph-Theoretic Concepts in Computer Science, 18th International Workshop,
{WG} '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {657},
pages = {248--262},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56402-0\_52},
doi = {10.1007/3-540-56402-0\_52},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/Parisi-Presicce92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PresicceP91,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
title = {Towards the Algebraic Specification of Classes in Object Oriented
Programming},
journal = {Bull. {EATCS}},
volume = {45},
pages = {85--97},
year = {1991},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/PresicceP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EhrigHKP91,
author = {Hartmut Ehrig and
Annegret Habel and
Hans{-}J{\"{o}}rg Kreowski and
Francesco Parisi{-}Presicce},
title = {Parallelism and Concurrency in High-Level Replacement Systems},
journal = {Math. Struct. Comput. Sci.},
volume = {1},
number = {3},
pages = {361--404},
year = {1991},
url = {https://doi.org/10.1017/S0960129500001353},
doi = {10.1017/S0960129500001353},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EhrigHKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Parisi-Presicce91,
author = {Francesco Parisi{-}Presicce},
title = {Foundations of Rule-Based Design of Modular Systems},
journal = {Theor. Comput. Sci.},
volume = {83},
number = {1},
pages = {131--155},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90042-Z},
doi = {10.1016/0304-3975(91)90042-Z},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Parisi-Presicce91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Parisi-Presicce91,
author = {Francesco Parisi{-}Presicce},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {On the Reusability of Specifications and Implementations},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {43--56},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/Parisi-Presicce91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigP91,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {Michel Bidoit and
Christine Choppy},
title = {Non-Equivalence of Categories for Equational Algebraic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {222--235},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_42},
doi = {10.1007/3-540-56379-2\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Parisi-PresicceP91,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Axel van Lamsweerde and
Alfonso Fuggetta},
title = {An Algebraic View of Inheritance and Subtyping in Object Oriented
Programming},
booktitle = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
October 21-24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {550},
pages = {364--379},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540547428\_58},
doi = {10.1007/3540547428\_58},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/Parisi-PresicceP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/CorradiniRP91,
author = {Andrea Corradini and
Francesca Rossi and
Francesco Parisi{-}Presicce},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Logic Programming as Hypergraph Rewriting},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {275--295},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_16},
doi = {10.1007/3-540-53982-4\_16},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/CorradiniRP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigPBRDG90,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce and
Paul Boehm and
Catharina Rieckhoff and
Christian Dimitrovici and
Martin Gro{\ss}e{-}Rhode},
title = {Combining Data Type and Recursive Process Specifications Using Projection
Algebras},
journal = {Theor. Comput. Sci.},
volume = {71},
number = {3},
pages = {347--380},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90049-N},
doi = {10.1016/0304-3975(90)90049-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigPBRDG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigFHLJP90,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Dean Jacobs and
Francesco Parisi{-}Presicce},
title = {Compatibility Problems in the Development of Algebraic Module Specifications},
journal = {Theor. Comput. Sci.},
volume = {77},
number = {1{\&}2},
pages = {27--71},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90115-X},
doi = {10.1016/0304-3975(90)90115-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigFHLJP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/EhrigP90,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {A Match Operation for Rule-Based Modular System Design},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {74--97},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_5},
doi = {10.1007/3-540-54496-8\_5},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/EhrigP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigHKP90,
author = {Hartmut Ehrig and
Annegret Habel and
Hans{-}J{\"{o}}rg Kreowski and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {From Graph Grammars to High Level Replacement Systems},
booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International
Workshop, Bremen, Germany, March 5-9, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {532},
pages = {269--291},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0017395},
doi = {10.1007/BFB0017395},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigHKP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhringP90,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Algebraic Specification Grammars: {A} Junction between Module Specifications
and Graph Grammars},
booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International
Workshop, Bremen, Germany, March 5-9, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {532},
pages = {292--310},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0017396},
doi = {10.1007/BFB0017396},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhringP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Parisi-Presicce90,
author = {Francesco Parisi{-}Presicce},
editor = {Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
Peter A. Freeman and
Marie{-}Claude Gaudel},
title = {A Rule-Based Approach to Modular System Design},
booktitle = {Proceedings of the 12th International Conference on Software Engineering,
Nice, France, March 26-30, 1990},
pages = {202--211},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=100324},
timestamp = {Mon, 14 May 2012 18:17:13 +0200},
biburl = {https://dblp.org/rec/conf/icse/Parisi-Presicce90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/EhrigFHLJLP89,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Dean Jacobs and
Anno Langen and
Francesco Parisi{-}Presicce},
title = {Algebraic Specification of Modules and Configuration Families},
journal = {J. Inf. Process. Cybern.},
volume = {25},
number = {5/6},
pages = {205--232},
year = {1989},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/EhrigFHLJLP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Parisi-Presicce89,
author = {Francesco Parisi{-}Presicce},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Modular System Design Applying Graph Grammars Techniques},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {621--636},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035788},
doi = {10.1007/BFB0035788},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Parisi-Presicce89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Parisi-Presicce88,
author = {Francesco Parisi{-}Presicce},
editor = {Max Dauchet and
Maurice Nivat},
title = {Product and Iteration of Module Specifications},
booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
France, March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {299},
pages = {149--164},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026102},
doi = {10.1007/BFB0026102},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Parisi-Presicce88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrigFHLP88,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categories for the Development of Algebraic Module Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {157--184},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_10},
doi = {10.1007/3-540-51722-7\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrigFHLP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlumEP87,
author = {Edward K. Blum and
Hartmut Ehrig and
Francesco Parisi{-}Presicce},
title = {Algebraic Specification of Modules and Their Basic Interconnections},
journal = {J. Comput. Syst. Sci.},
volume = {34},
number = {2/3},
pages = {293--339},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90028-6},
doi = {10.1016/0022-0000(87)90028-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BlumEP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Parisi-Presicce87,
author = {Francesco Parisi{-}Presicce},
title = {Union and Actualization of Module Specifications: Some Compatibility
Results},
journal = {J. Comput. Syst. Sci.},
volume = {35},
number = {1},
pages = {72--95},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90037-7},
doi = {10.1016/0022-0000(87)90037-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Parisi-Presicce87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/EhrigPBRDG87,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce and
Paul Boehm and
Catharina Rieckhoff and
Christian Dimitrovici and
Martin Gro{\ss}e{-}Rhode},
editor = {Donald Sannella and
Andrzej Tarlecki},
title = {Algebraic Data Type and Process Specifications based on Projection
Spaces},
booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {332},
pages = {23--43},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50325-0\_2},
doi = {10.1007/3-540-50325-0\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/EhrigPBRDG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Parisi-Presicce87,
author = {Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Partial Composition and Recursion of Module Specifications},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {217--231},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_57},
doi = {10.1007/3-540-17660-8\_57},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Parisi-Presicce87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Parisi-Presicce86,
author = {Francesco Parisi{-}Presicce},
editor = {Paul Franchi{-}Zannettacci},
title = {Inner and Mutual Compatibility of Basic Operations on Module Specifications},
booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
France, March 24-26, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {214},
pages = {30--44},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0022657},
doi = {10.1007/BFB0022657},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Parisi-Presicce86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/MoldovanP86,
author = {Dan I. Moldovan and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg and
Azriel Rosenfeld},
title = {Parallelism analysis in rule-based systems using graph grammars},
booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International
Workshop, Warrenton, Virginia, USA, December 2-6, 1986},
series = {Lecture Notes in Computer Science},
volume = {291},
pages = {427--439},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18771-5\_68},
doi = {10.1007/3-540-18771-5\_68},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/MoldovanP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Parisi-PresicceEM86,
author = {Francesco Parisi{-}Presicce and
Hartmut Ehrig and
Ugo Montanari},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg and
Azriel Rosenfeld},
title = {Graph rewriting with unification and composition},
booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International
Workshop, Warrenton, Virginia, USA, December 2-6, 1986},
series = {Lecture Notes in Computer Science},
volume = {291},
pages = {496--514},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18771-5\_72},
doi = {10.1007/3-540-18771-5\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Parisi-PresicceEM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigFPB86,
author = {Hartmut Ehrig and
Werner Fey and
Francesco Parisi{-}Presicce and
Edward K. Blum},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Algebraic Theory of Module Specification with Constraints},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {59--77},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016234},
doi = {10.1007/BFB0016234},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigFPB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BlumP85,
author = {Edward K. Blum and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {The Semantics of Shared Submodules Specifications},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {359--373},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_23},
doi = {10.1007/3-540-15198-2\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BlumP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Parisi-Presicce84,
author = {Francesco Parisi{-}Presicce},
title = {Iterative Factor Algebras and Induced Metrics},
journal = {Theor. Comput. Sci.},
volume = {28},
pages = {287--298},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(83)90025-7},
doi = {10.1016/0304-3975(83)90025-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Parisi-Presicce84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Parisi-Presicce83,
author = {Francesco Parisi{-}Presicce},
title = {Extensions of Iterative Congruences on Free Iterative Algebras},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {200--220},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90039-9},
doi = {10.1016/0022-0000(83)90039-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Parisi-Presicce83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlumP83,
author = {Edward K. Blum and
Francesco Parisi{-}Presicce},
title = {Implementation of Data Types by Algebraic Methods},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {304--330},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90045-4},
doi = {10.1016/0022-0000(83)90045-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BlumP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/GuessarianP83,
author = {Ir{\`{e}}ne Guessarian and
Francesco Parisi{-}Presicce},
title = {Iterative vs. regular factor algebras},
journal = {{SIGACT} News},
volume = {15},
number = {2},
pages = {32--44},
year = {1983},
url = {https://doi.org/10.1145/1008923.1008924},
doi = {10.1145/1008923.1008924},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/GuessarianP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Parisi-Presicce81,
author = {Francesco Parisi{-}Presicce},
title = {On the Faithful Regular Extensions of Iterative Algebras},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {368--374},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802491},
doi = {10.1145/800076.802491},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Parisi-Presicce81.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-04-25 02:43 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:
