The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessio Mansutti" ( http://dblp.L3S.de/Authors/Alessio_Mansutti )

  Author page on DBLP  Author page in RDF  Community of Alessio Mansutti in ASPL-2

Publication years (Num. hits)
2014-2019 (12)
Publication types (Num. hits)
article(6) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Stéphane Demri, Étienne Lozes, Alessio Mansutti Internal Calculi for Separation Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Stéphane Demri, Raul Fervari, Alessio Mansutti Axiomatising Logics with Separating Conjunction and Modalities. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Étienne Lozes, Alessio Mansutti The Effects of Adding Reachability Predicates in Propositional Separation Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stéphane Demri, Étienne Lozes, Alessio Mansutti The Effects of Adding Reachability Predicates in Propositional Separation Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessio Mansutti, Marino Miculan Deciding Hedged Bisimilarity. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessio Mansutti Extending Propositional Separation Logic for Robustness Properties. Search on Bibsonomy FSTTCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessio Mansutti, Marino Miculan, Marco Peressotti Loose Graph Simulations. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessio Mansutti, Marino Miculan, Marco Peressotti Loose Graph Simulations. Search on Bibsonomy STAF Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessio Mansutti, Marino Miculan Deciding Hedged Bisimilarity. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessio Mansutti, Marino Miculan, Marco Peressotti Distributed execution of bigraphical reactive systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessio Mansutti, Marino Miculan, Marco Peressotti Distributed execution of bigraphical reactive systems. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessio Mansutti, Marino Miculan, Marco Peressotti Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. Search on Bibsonomy DAIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license