default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cinzia Di Giusto
@article{DBLP:journals/ijfcs/GiustoLL23,
author = {Cinzia Di Giusto and
Laetitia Laversa and
{\'{E}}tienne Lozes},
title = {Guessing the Buffer Bound for k-Synchronizability},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {8},
pages = {1051--1076},
year = {2023},
url = {https://doi.org/10.1142/S0129054122430018},
doi = {10.1142/S0129054122430018},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/GiustoLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GiustoGL23,
author = {Cinzia Di Giusto and
Lo{\"{\i}}c Germerie Guizouarn and
{\'{E}}tienne Lozes},
title = {Multiparty half-duplex systems and synchronous communications},
journal = {J. Log. Algebraic Methods Program.},
volume = {131},
pages = {100843},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100843},
doi = {10.1016/J.JLAMP.2022.100843},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/GiustoGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GiustoFLL23,
author = {Cinzia Di Giusto and
Davide Ferr{\'{e}} and
Laetitia Laversa and
{\'{E}}tienne Lozes},
title = {A Partial Order View of Message-Passing Communication Models},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1601--1627},
year = {2023},
url = {https://doi.org/10.1145/3571248},
doi = {10.1145/3571248},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GiustoFLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BertrandGKR23,
author = {Cl{\'{e}}ment Bertrand and
Cinzia Di Giusto and
Hanna Klaudel and
Damien Regnault},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Complexity of Membership and Non-Emptiness Problems in Unbounded Memory
Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {33:1--33:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.33},
doi = {10.4230/LIPICS.CONCUR.2023.33},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BertrandGKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GiustoFLN23,
author = {Cinzia Di Giusto and
Davide Ferr{\'{e}} and
{\'{E}}tienne Lozes and
Nicolas Nisse},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Weakly Synchronous Systems with Three Machines Are Turing Powerful},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {28--41},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_3},
doi = {10.1007/978-3-031-45286-4\_3},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GiustoFLN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2308-08920,
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Simon Fowler and
Larisa Safina},
title = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
Lisbon, Portugal, 19th June 2023},
series = {{EPTCS}},
volume = {383},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.383},
doi = {10.4204/EPTCS.383},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03561,
author = {Cl{\'{e}}ment Bertrand and
Cinzia Di Giusto and
Hanna Klaudel and
Damien Regnault},
title = {Complexity of Membership and Non-Emptiness Problems in Unbounded Memory
Automata},
journal = {CoRR},
volume = {abs/2307.03561},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03561},
doi = {10.48550/ARXIV.2307.03561},
eprinttype = {arXiv},
eprint = {2307.03561},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03561.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-10578,
author = {Cinzia Di Giusto and
Davide Ferr{\'{e}} and
{\'{E}}tienne Lozes and
Nicolas Nisse},
title = {Weakly synchronous systems with three machines are Turing powerful},
journal = {CoRR},
volume = {abs/2308.10578},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.10578},
doi = {10.48550/ARXIV.2308.10578},
eprinttype = {arXiv},
eprint = {2308.10578},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-04086,
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365},
doi = {10.4204/EPTCS.365},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13062,
author = {Cinzia Di Giusto and
Davide Ferr{\'{e}} and
Laetitia Laversa and
{\'{E}}tienne Lozes},
title = {A non-sequential hierarchy of message-passing models},
journal = {CoRR},
volume = {abs/2210.13062},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13062},
doi = {10.48550/ARXIV.2210.13062},
eprinttype = {arXiv},
eprint = {2210.13062},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligGFLLS21,
author = {Benedikt Bollig and
Cinzia Di Giusto and
Alain Finkel and
Laetitia Laversa and
{\'{E}}tienne Lozes and
Amrita Suresh},
editor = {Serge Haddad and
Daniele Varacca},
title = {A Unifying Framework for Deciding Synchronizability},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {14:1--14:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.14},
doi = {10.4230/LIPICS.CONCUR.2021.14},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BolligGFLLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GiustoLL21,
author = {Cinzia Di Giusto and
Laetitia Laversa and
{\'{E}}tienne Lozes},
editor = {Sebastian Maneth},
title = {Guessing the Buffer Bound for k-Synchronizability},
booktitle = {Implementation and Application of Automata - 25th International Conference,
{CIAA} 2021, Virtual Event, July 19-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12803},
pages = {102--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79121-6\_9},
doi = {10.1007/978-3-030-79121-6\_9},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GiustoLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-00145,
author = {Cinzia Di Giusto and
Lo{\"{\i}}c Germerie Guizouarn and
{\'{E}}tienne Lozes},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Towards Generalised Half-Duplex Systems},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {22--37},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.2},
doi = {10.4204/EPTCS.347.2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14408,
author = {Cinzia Di Giusto and
Laetitia Laversa and
{\'{E}}tienne Lozes},
title = {Guessing the buffer bound for k-synchronizability},
journal = {CoRR},
volume = {abs/2104.14408},
year = {2021},
url = {https://arxiv.org/abs/2104.14408},
eprinttype = {arXiv},
eprint = {2104.14408},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MariaGL20,
author = {Elisabetta De Maria and
Cinzia Di Giusto and
Laetitia Laversa},
title = {Spiking neural networks modelled as timed automata: with parameter
learning},
journal = {Nat. Comput.},
volume = {19},
number = {1},
pages = {135--155},
year = {2020},
url = {https://doi.org/10.1007/s11047-019-09727-9},
doi = {10.1007/S11047-019-09727-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MariaGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GiustoLL20,
author = {Cinzia Di Giusto and
Laetitia Laversa and
{\'{E}}tienne Lozes},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {On the k-synchronizability of Systems},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {157--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_9},
doi = {10.1007/978-3-030-45231-5\_9},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GiustoLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GiustoGKP19,
author = {Cinzia Di Giusto and
C{\'{e}}dric Gaucherel and
Hanna Klaudel and
Franck Pommereau},
editor = {Elisabetta De Maria and
Ana L. N. Fred and
Hugo Gamboa},
title = {Pattern Matching in Discrete Models for Ecosystem Ecology},
booktitle = {Proceedings of the 12th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2019) - Volume 3:
BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019},
pages = {101--111},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007485801010111},
doi = {10.5220/0007485801010111},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GiustoGKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GiustoGKP19a,
author = {Cinzia Di Giusto and
C{\'{e}}dric Gaucherel and
Hanna Klaudel and
Franck Pommereau},
editor = {Ana Cec{\'{\i}}lia Roque and
Arkadiusz Tomczyk and
Elisabetta De Maria and
Felix Putze and
Roman Moucek and
Ana Fred and
Hugo Gamboa},
title = {Analysis of Discrete Models for Ecosystem Ecology},
booktitle = {Biomedical Engineering Systems and Technologies - 12th International
Joint Conference, {BIOSTEC} 2019, Prague, Czech Republic, February
22-24, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1211},
pages = {242--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46970-2\_12},
doi = {10.1007/978-3-030-46970-2\_12},
timestamp = {Tue, 13 Aug 2024 14:18:07 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GiustoGKP19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01627,
author = {Cinzia Di Giusto and
Laetitia Laversa and
{\'{E}}tienne Lozes},
title = {On the k-synchronizability for mailbox systems},
journal = {CoRR},
volume = {abs/1909.01627},
year = {2019},
url = {http://arxiv.org/abs/1909.01627},
eprinttype = {arXiv},
eprint = {1909.01627},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-01627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DelaplaceGGKS18,
author = {Franck Delaplace and
Cinzia Di Giusto and
Jean{-}Louis Giavitto and
Hanna Klaudel and
Antoine Spicher},
title = {Activity Networks with Delays an Application to Toxicity Analysis},
journal = {Fundam. Informaticae},
volume = {160},
number = {1-2},
pages = {119--142},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1677},
doi = {10.3233/FI-2018-1677},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DelaplaceGGKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MariaG18,
author = {Elisabetta De Maria and
Cinzia Di Giusto},
editor = {Paul Anderson and
Hugo Gamboa and
Ana L. N. Fred and
Sergi Berm{\'{u}}dez i Badia},
title = {Parameter Learning for Spiking Neural Networks Modelled as Timed Automata},
booktitle = {Proceedings of the 11th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2018) - Volume 3:
BIOINFORMATICS, Funchal, Madeira, Portugal, January 19-21, 2018},
pages = {17--28},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006530300170028},
doi = {10.5220/0006530300170028},
timestamp = {Mon, 26 Mar 2018 16:30:12 +0200},
biburl = {https://dblp.org/rec/conf/biostec/MariaG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MariaG18a,
author = {Elisabetta De Maria and
Cinzia Di Giusto},
editor = {Alberto Cliquet Junior and
Sheldon Wiebe and
Paul E. Anderson and
Giovanni Saggio and
Reyer Zwiggelaar and
Hugo Gamboa and
Ana L. N. Fred and
Sergi Berm{\'{u}}dez i Badia},
title = {Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous
Neural Networks: Modelled as Timed Automata},
booktitle = {Biomedical Engineering Systems and Technologies - 11th International
Joint Conference, {BIOSTEC} 2018, Funchal, Madeira, Portugal, January
19-21, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1024},
pages = {149--166},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-29196-9\_9},
doi = {10.1007/978-3-030-29196-9\_9},
timestamp = {Tue, 07 May 2024 20:01:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/MariaG18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-01893,
author = {Elisabetta De Maria and
Cinzia Di Giusto and
Laetitia Laversa},
title = {Spiking Neural Networks modelled as Timed Automata with parameter
learning},
journal = {CoRR},
volume = {abs/1808.01893},
year = {2018},
url = {http://arxiv.org/abs/1808.01893},
eprinttype = {arXiv},
eprint = {1808.01893},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-01893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csbio/MariaGC17,
author = {Elisabetta De Maria and
Cinzia Di Giusto and
Giovanni Ciatto},
title = {Formal Validation of Neural Networks as Timed Automata},
booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology
and Bioinformatics, Nha Trang City, Viet Nam, December 7-8, 2017},
pages = {15--22},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3156346.3156350},
doi = {10.1145/3156346.3156350},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csbio/MariaGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GiustoP16,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
title = {Event-based run-time adaptation in communication-centric systems},
journal = {Formal Aspects Comput.},
volume = {28},
number = {4},
pages = {531--566},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0377-z},
doi = {10.1007/S00165-016-0377-Z},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/GiustoP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DelaplaceGGK16,
author = {Franck Delaplace and
Cinzia Di Giusto and
Jean{-}Louis Giavitto and
Hanna Klaudel},
title = {Activity Networks with Delays An application to toxicity analysis},
journal = {CoRR},
volume = {abs/1608.07440},
year = {2016},
url = {http://arxiv.org/abs/1608.07440},
eprinttype = {arXiv},
eprint = {1608.07440},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DelaplaceGGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GiustoP15,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
title = {Disciplined structured communications with disciplined runtime adaptation},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {235--265},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.017},
doi = {10.1016/J.SCICO.2014.04.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GiustoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GiustoP15,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {An Event-Based Approach to Runtime Adaptation in Communication-Centric
Systems},
booktitle = {Web Services, Formal Methods, and Behavioral Types - 11th International
Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12,
2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid,
Spain, September 4-5, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {67--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_5},
doi = {10.1007/978-3-319-33612-1\_5},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GiustoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GiustoKD14,
author = {Cinzia Di Giusto and
Hanna Klaudel and
Franck Delaplace},
editor = {Monika Heiner},
title = {Systemic approach for toxicity analysis},
booktitle = {Proceedings of the 5th International Workshop on Biological Processes
{\&} Petri Nets co-located with 35th International Conference
on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS}
2014), Tunis, Tunisia, June 23, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1159},
pages = {30--44},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1159/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/GiustoKD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GiustoP13,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Disciplined structured communications with consistent runtime adaptation},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1913--1918},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480716},
doi = {10.1145/2480362.2480716},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GiustoP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GiustoP13,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
editor = {Nobuko Yoshida and
Wim Vanderbauwhede},
title = {Session Types with Runtime Adaptation: Overview and Examples},
booktitle = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
March 2013},
series = {{EPTCS}},
volume = {137},
pages = {21--32},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.137.3},
doi = {10.4204/EPTCS.137.3},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GiustoP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MimramG13,
author = {Samuel Mimram and
Cinzia Di Giusto},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {A Categorical Theory of Patches},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {283--307},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.018},
doi = {10.1016/J.ENTCS.2013.09.018},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MimramG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MimramG13,
author = {Samuel Mimram and
Cinzia Di Giusto},
title = {A Categorical Theory of Patches},
journal = {CoRR},
volume = {abs/1311.3903},
year = {2013},
url = {http://arxiv.org/abs/1311.3903},
eprinttype = {arXiv},
eprint = {1311.3903},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MimramG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-6379,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
title = {Adaptable processes},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:13)2012},
doi = {10.2168/LMCS-8(4:13)2012},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GiustoGM12,
author = {Cinzia Di Giusto and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {On the Expressive Power of Multiple Heads in {CHR}},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {1},
pages = {6:1--6:19},
year = {2012},
url = {https://doi.org/10.1145/2071368.2071374},
doi = {10.1145/2071368.2071374},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GiustoGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BravettiGPZ12,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards the Verification of Adaptable Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {269--283},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_20},
doi = {10.1007/978-3-642-34026-0\_20},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BravettiGPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiustoS11,
author = {Cinzia Di Giusto and
Jean{-}Bernard Stefani},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Revisiting Glue Expressiveness in Component-Based Systems},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {16--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_2},
doi = {10.1007/978-3-642-21464-6\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GiustoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/PredaG11,
author = {Mila Dalla Preda and
Cinzia Di Giusto},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Hunting Distributed Malware with the {\(\kappa\)}-Calculus},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {102--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_9},
doi = {10.1007/978-3-642-22953-4\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/PredaG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BravettiGPZ11,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Adaptable Processes (Extended Abstract)},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {90--105},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_6},
doi = {10.1007/978-3-642-21461-5\_6},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BravettiGPZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BravettiGPZ10,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Steps on the Road to Component Evolvability},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {295--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_19},
doi = {10.1007/978-3-642-27269-1\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BravettiGPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DelzannoGGLZ09,
author = {Giorgio Delzanno and
Cinzia Di Giusto and
Maurizio Gabbrielli and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {The \emph{kappa}-Lattice: Decidability Boundaries for Qualitative
Analysis in Biological Languages},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {158--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_11},
doi = {10.1007/978-3-642-03845-7\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DelzannoGGLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GiustoPZ09,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Martin Leucker and
Carroll Morgan},
title = {On the Expressiveness of Forwarding in Higher-Order Communication},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {155--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_10},
doi = {10.1007/978-3-642-03466-4\_10},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GiustoPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GiustoP09,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order
Process Calculi},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {107--112},
year = {2009},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GiustoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GiustoGM09,
author = {Cinzia Di Giusto and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Expressiveness of Multiple Heads in {CHR}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {205--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_21},
doi = {10.1007/978-3-540-95891-8\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GiustoGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GiustoG08,
author = {Cinzia Di Giusto and
Maurizio Gabbrielli},
editor = {Sophia Drossopoulou},
title = {Full Abstraction for Linda},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_6},
doi = {10.1007/978-3-540-78739-6\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GiustoG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-3351,
author = {Cinzia Di Giusto and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {Expressiveness of multiple heads in {CHR}},
journal = {CoRR},
volume = {abs/0804.3351},
year = {2008},
url = {http://arxiv.org/abs/0804.3351},
eprinttype = {arXiv},
eprint = {0804.3351},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-3351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ArandaGNV07,
author = {Jes{\'{u}}s Aranda and
Cinzia Di Giusto and
Mogens Nielsen and
Frank D. Valencia},
editor = {Zhong Shao},
title = {{CCS} with Replication in the Chomsky Hierarchy: The Expressive Power
of Divergence},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {383--398},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_26},
doi = {10.1007/978-3-540-76637-7\_26},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ArandaGNV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArandaGPV06,
author = {Jes{\'{u}}s Aranda and
Cinzia Di Giusto and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On Recursion, Replication and Scope Mechanisms in Process Calculi},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {185--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_9},
doi = {10.1007/978-3-540-74792-5\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ArandaGPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-05 20:17 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:
