Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Matteo Sammartino

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Matteo Sammartino

download as .bib file

@inproceedings{DBLP:conf/calco/Zetzsche0S23,
  author       = {Stefan Zetzsche and
                  Alexandra Silva and
                  Matteo Sammartino},
  title        = {Generators and Bases for Monadic Closures},
  booktitle    = {{CALCO}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {11:1--11:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023}
}

@inproceedings{DBLP:conf/fase/NeeleS23,
  author       = {Thomas Neele and
                  Matteo Sammartino},
  title        = {Compositional Automata Learning of Synchronous Systems},
  booktitle    = {{FASE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13991},
  pages        = {47--66},
  publisher    = {Springer},
  year         = {2023}
}

@article{DBLP:journals/lmcs/MoermanS22,
  author       = {Joshua Moerman and
                  Matteo Sammartino},
  title        = {Residuality and Learning for Nondeterministic Nominal Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {1},
  year         = {2022}
}

@article{DBLP:journals/tcs/GadducciMRS22,
  author       = {Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Christian Rold{\'{a}}n and
                  Matteo Sammartino},
  title        = {Categorical specification and implementation of Replicated Data Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {903},
  pages        = {84--112},
  year         = {2022}
}

@inproceedings{DBLP:conf/cmcs/HeerdtKRSS22,
  author       = {Gerco van Heerdt and
                  Tobias Kapp{\'{e}} and
                  Jurriaan Rot and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {A Categorical Framework for Learning Generalised Tree Automata},
  booktitle    = {{CMCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13225},
  pages        = {67--87},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/hasp/Naseredini0SX22,
  author       = {Amir Naseredini and
                  Martin Berger and
                  Matteo Sammartino and
                  Shale Xiong},
  title        = {{ALARM:} Active LeArning of Rowhammer Mitigations},
  booktitle    = {HASP@MICRO},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2022}
}

@inproceedings{DBLP:journals/corr/abs-2204-14153,
  author       = {Stefan Zetzsche and
                  Alexandra Silva and
                  Matteo Sammartino},
  title        = {Guarded Kleene Algebra with Tests: Automata Learning},
  booktitle    = {{MFPS}},
  series       = {{EPTICS}},
  volume       = {1},
  publisher    = {EpiSciences},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2211-16942,
  author       = {Amir Naseredini and
                  Martin Berger and
                  Matteo Sammartino and
                  Shale Xiong},
  title        = {{ALARM:} Active LeArning of Rowhammer Mitigations},
  journal      = {CoRR},
  volume       = {abs/2211.16942},
  year         = {2022}
}

@article{DBLP:journals/jlap/AlbertGIRSS21,
  author       = {Elvira Albert and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Miguel Isabel and
                  Albert Rubio and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Actor-based model checking for Software-Defined Networks},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {118},
  pages        = {100617},
  year         = {2021}
}

@inproceedings{DBLP:journals/corr/abs-2104-13421,
  author       = {Stefan Zetzsche and
                  Gerco van Heerdt and
                  Alexandra Silva and
                  Matteo Sammartino},
  title        = {Canonical automata via distributive law homomorphisms},
  booktitle    = {{MFPS}},
  series       = {{EPTCS}},
  volume       = {351},
  pages        = {296--313},
  year         = {2021}
}

@inproceedings{DBLP:conf/cmcs/HeerdtS020,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Learning Automata with Side-Effects},
  booktitle    = {{CMCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {68--89},
  publisher    = {Springer},
  year         = {2020}
}

@inproceedings{DBLP:conf/concur/MoermanS20,
  author       = {Joshua Moerman and
                  Matteo Sammartino},
  title        = {Residual Nominal Automata},
  booktitle    = {{CONCUR}},
  series       = {LIPIcs},
  volume       = {171},
  pages        = {44:1--44:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020}
}

@inproceedings{DBLP:conf/gg/BruniMS20,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Algebras for Tree Decomposable Graphs},
  booktitle    = {{ICGT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12150},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {2020}
}

@inproceedings{DBLP:conf/ictac/GadducciMRS20,
  author       = {Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Christian Rold{\'{a}}n and
                  Matteo Sammartino},
  title        = {Implementation Correctness for Replicated Data Types, Categorically},
  booktitle    = {{ICTAC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12545},
  pages        = {283--303},
  publisher    = {Springer},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2001-05786,
  author       = {Gerco van Heerdt and
                  Tobias Kapp{\'{e}} and
                  Jurriaan Rot and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {A Categorical Framework for Learning Generalised Tree Automata},
  journal      = {CoRR},
  volume       = {abs/2001.05786},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2001-10022,
  author       = {Elvira Albert and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Miguel Isabel and
                  Albert Rubio and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Actor-Based Model Checking for {SDN} Networks},
  journal      = {CoRR},
  volume       = {abs/2001.10022},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2010-10223,
  author       = {Stefan Zetzsche and
                  Alexandra Silva and
                  Matteo Sammartino},
  title        = {Bases for algebras over a monad},
  journal      = {CoRR},
  volume       = {abs/2010.10223},
  year         = {2020}
}

@article{DBLP:journals/jlp/HeerdtMSS19,
  author       = {Gerco van Heerdt and
                  Joshua Moerman and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {A (co)algebraic theory of succinct automata},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {105},
  pages        = {112--125},
  year         = {2019}
}

@inproceedings{DBLP:conf/calco/HeerdtKRS019,
  author       = {Gerco van Heerdt and
                  Tobias Kapp{\'{e}} and
                  Jurriaan Rot and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Tree Automata as Algebras: Minimisation and Determinisation},
  booktitle    = {{CALCO}},
  series       = {LIPIcs},
  volume       = {139},
  pages        = {6:1--6:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019}
}

@inproceedings{DBLP:conf/cav/DAntoniFS019,
  author       = {Loris D'Antoni and
                  Tiago Ferreira and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Symbolic Register Automata},
  booktitle    = {{CAV} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11561},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2019}
}

@inproceedings{DBLP:conf/fsttcs/GadducciMRS19,
  author       = {Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Christian Rold{\'{a}}n and
                  Matteo Sammartino},
  title        = {A Categorical Account of Replicated Data Types},
  booktitle    = {{FSTTCS}},
  series       = {LIPIcs},
  volume       = {150},
  pages        = {42:1--42:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1904-08802,
  author       = {Gerco van Heerdt and
                  Tobias Kapp{\'{e}} and
                  Jurriaan Rot and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Tree Automata as Algebras: Minimisation and Determinisation},
  journal      = {CoRR},
  volume       = {abs/1904.08802},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1905-05519,
  author       = {Gerco van Heerdt and
                  Joshua Moerman and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {A (co)algebraic theory of succinct automata},
  journal      = {CoRR},
  volume       = {abs/1905.05519},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1910-11666,
  author       = {Joshua Moerman and
                  Matteo Sammartino},
  title        = {Residual Nominal Automata},
  journal      = {CoRR},
  volume       = {abs/1910.11666},
  year         = {2019}
}

@inproceedings{DBLP:conf/birthday/MontanariSS18,
  author       = {Ugo Montanari and
                  Matteo Sammartino and
                  Alain Tcheukam Siwe},
  title        = {Decomposition Structures for Soft Constraint Evaluation Problems:
                  An Algebraic Approach},
  booktitle    = {Graph Transformation, Specifications, and Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {10800},
  pages        = {179--200},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/fm/AlbertGRS018,
  author       = {Elvira Albert and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Albert Rubio and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {SDN-Actors: Modeling and Verification of {SDN} Programs},
  booktitle    = {{FM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10951},
  pages        = {550--567},
  publisher    = {Springer},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1811-06968,
  author       = {Loris D'Antoni and
                  Tiago Ferreira and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Symbolic Register Automata},
  journal      = {CoRR},
  volume       = {abs/1811.06968},
  year         = {2018}
}

@inproceedings{DBLP:conf/csl/HeerdtS017,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {{CALF:} Categorical Automata Learning Framework},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {29:1--29:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017}
}

@inproceedings{DBLP:conf/popl/MoermanS0KS17,
  author       = {Joshua Moerman and
                  Matteo Sammartino and
                  Alexandra Silva and
                  Bartek Klin and
                  Michal Szynwelski},
  title        = {Learning nominal automata},
  booktitle    = {{POPL}},
  pages        = {613--625},
  publisher    = {{ACM}},
  year         = {2017}
}

@article{DBLP:journals/corr/HeerdtS017,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {{CALF:} Categorical Automata Learning Framework},
  journal      = {CoRR},
  volume       = {abs/1704.05676},
  year         = {2017}
}

@article{DBLP:journals/corr/HeerdtS017a,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  title        = {Learning Automata with Side-Effects},
  journal      = {CoRR},
  volume       = {abs/1704.08055},
  year         = {2017}
}

@article{DBLP:journals/corr/MoermanS0KS16,
  author       = {Joshua Moerman and
                  Matteo Sammartino and
                  Alexandra Silva and
                  Bartek Klin and
                  Michal Szynwelski},
  title        = {Learning Nominal Automata},
  journal      = {CoRR},
  volume       = {abs/1607.06268},
  year         = {2016}
}

@article{DBLP:journals/acta/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Revisiting causality, coalgebraically},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {1},
  pages        = {5--33},
  year         = {2015}
}

@article{DBLP:journals/jlp/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {A coalgebraic semantics for causality in Petri nets},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {6},
  pages        = {853--883},
  year         = {2015}
}

@inproceedings{DBLP:conf/birthday/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Causal Trees, Finally},
  booktitle    = {Programming Languages with Applications to Biology and Security},
  series       = {Lecture Notes in Computer Science},
  volume       = {9465},
  pages        = {27--43},
  publisher    = {Springer},
  year         = {2015}
}

@inproceedings{DBLP:journals/corr/HochMS15,
  author       = {Nicklas Hoch and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Dynamic Programming on Nominal Graphs},
  booktitle    = {GaM},
  series       = {{EPTCS}},
  volume       = {181},
  pages        = {80--96},
  year         = {2015}
}

@incollection{DBLP:series/lncs/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Reconfigurable and Software-Defined Networks of Connectors and Components},
  booktitle    = {The {ASCENS} Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {73--106},
  publisher    = {Springer},
  year         = {2015}
}

@incollection{DBLP:series/lncs/HochMMSS15,
  author       = {Nicklas Hoch and
                  Giacoma Valentina Monreale and
                  Ugo Montanari and
                  Matteo Sammartino and
                  Alain Tcheukam Siwe},
  title        = {From Local to Global Knowledge and Back},
  booktitle    = {The {ASCENS} Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {185--220},
  publisher    = {Springer},
  year         = {2015}
}

@article{DBLP:journals/corr/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {A coalgebraic semantics for causality in Petri nets},
  journal      = {CoRR},
  volume       = {abs/1507.06462},
  year         = {2015}
}

@article{DBLP:journals/tcs/MontanariS14,
  author       = {Ugo Montanari and
                  Matteo Sammartino},
  title        = {A network-conscious {\(\pi\)}-calculus and its coalgebraic semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {546},
  pages        = {188--224},
  year         = {2014}
}

@inproceedings{DBLP:conf/tgc/CianciaS14,
  author       = {Vincenzo Ciancia and
                  Matteo Sammartino},
  title        = {A Class of Automata for the Verification of Infinite, Resource-Allocating
                  Behaviours},
  booktitle    = {{TGC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8902},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:journals/entcs/MontanariS15,
  author       = {Ugo Montanari and
                  Matteo Sammartino},
  title        = {Network-Conscious {\(\pi\)}-calculus - {A} Model of Pastry},
  booktitle    = {{LSFA}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {312},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2014}
}

@phdthesis{DBLP:phd/it/Sammartino13,
  author       = {Matteo Sammartino},
  title        = {A Network-Aware Process Calculus for Global Computing and its Categorical
                  Framework},
  school       = {University of Pisa, Italy},
  year         = {2013}
}

@article{DBLP:journals/corr/CianciaS13,
  author       = {Vincenzo Ciancia and
                  Matteo Sammartino},
  title        = {A decidable class of (nominal) omega-regular languages over an infinite
                  alphabet},
  journal      = {CoRR},
  volume       = {abs/1310.3945},
  year         = {2013}
}

@inproceedings{DBLP:journals/entcs/MontanariS12,
  author       = {Ugo Montanari and
                  Matteo Sammartino},
  title        = {Network Conscious {\(\pi\)}-calculus: {A} Concurrent Semantics},
  booktitle    = {{MFPS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {291--306},
  publisher    = {Elsevier},
  year         = {2012}
}

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.