Publications
2015
STRUCTURAL OPERATIONAL SEMANTICS FOR CONTINUOUS STATE STOCHASTIC TRANSITION SYSTEMS
Journal of computer and system sciences, 81:834-858, 2015
OPEN TRANSACTIONS ON SHARED MEMORY
In Coordination models and languages - 17th IFIP WG 6.1 international conference, COORDINATION 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, Grenoble FR, June 2-4, 2015, proceedings, pages 213-229, 2015
BEHAVIOURAL EQUIVALENCES FOR COALGEBRAS WITH UNOBSERVABLE MOVES
Journal of logical and algebraic methods in programming, page -, 2015
CONTENT-BASED SIMILARITY OF TWITTER USERS
In Allan Hanbury, Gabriella Kazai, Andreas Rauber, and Norbert Fuhr, editors, Advances in information retrieval, volume 9022 of Lecture Notes in Computer Science, pages 507-512. Springer International Publishing, 2015
MECHANIZING TYPE ENVIRONMENTS IN WEAK HOAS
Theoretical computer science, page -, 2015
GLUING TOGETHER PROOF ENVIRONMENTS: CANONICAL EXTENSIONS OF LF TYPE THEORIES FEATURING LOCKS
In Iliano Cervesato and Kaustuv Chaudhuri, editors, Proceedings tenth international workshop on logical frameworks and meta languages: theory and practice, Berlin DE, August 1, 2015, volume 185 of Electronic Proceedings in Theoretical Computer Science, pages 3-17. Open Publishing Association, 2015
2014
BEHAVIOURAL EQUIVALENCES FOR COALGEBRAS WITH UNOBSERVABLE MOVES
Corr, abs/1411.0090, 2014
GSOS FOR NON-DETERMINISTIC PROCESSES WITH QUANTITATIVE ASPECTS
In Natalie Bertrand and Luca Bortolussi, editors, Proceedings twelfth international workshop on quantitative aspects of programming languages and systems, QAPL 2014, Grenoble FR, 12-13 April, 2014, volume 154 of EPTCS, pages 17-33, 2014
TOWARDS DISTRIBUTED BIGRAPHICAL REACTIVE SYSTEMS
In Rachid Echahed, Annegret Habel and Mohamed Mosbah, editors, Proc. gcm ’14, EPTCS, 2014
A CSP IMPLEMENTATION OF THE BIGRAPH EMBEDDING PROBLEM
Corr, abs/1412.1042, 2014
TUTORIAL ON BIGRAPHICAL REACTIVE SYSTEMS (SLIDES)
In 1st international workshop on meta models for process languages (memo), 2014
FINDING A FOREST IN A TREE - THE MATCHING PROBLEM FOR WIDE REACTIVE SYSTEMS
In M. Maffei and E. Tuosto, editors, Trustworthy global computing - 9th international sysmposium, tgc 2014, Rome IT, September 5-6, 2014. Revised selected papers, volume 8902 of Lecture Notes in Computer Science, pages 17-33. Springer, 2014
A MODEL OF COUNTABLE NONDETERMINISM IN GUARDED TYPE THEORY
In Gilles Dowek, editor, Proc. rta-tlca, volume 8560 of Lecture Notes in Computer Science, pages 108-123. Springer, 2014
MULTI-AGENT SYSTEMS DESIGN AND PROTOTYPING WITH BIGRAPHICAL REACTIVE SYSTEMS
In K. Magoutis and P. Pietzuch, editors, Proc. dais 2014, number 8460 in Lecture Notes in Computer Science, pages 201-208, 2014
LAXF: SIDE CONDITIONS AND EXTERNAL EVIDENCE AS MONADS
In Erzsébet Csuhaj-Varjù, Martin Dietzfelbinger and Zoltàn Èsik, editors, Mathematical foundations of computer science 2014, volume 8634 of Lecture Notes in Computer Science, pages 327-339. Springer Berlin Heidelberg, 2014
INTERNAL ADEQUACY OF BOOKKEEPING IN COQ
In Proceedings of the 2014 international workshop on logical freameworks and meta-languages: theory and practice, LFMTP ’14, pages 8:1-8:8, New York NY USA, 2014, ACM
SHORT TEXT CATEGORIZATION EXPLOITING CONTEXTUAL ENRICHMENT AND EXTERNAL KNOWLEDGE
In Proceedings of the first international workshop on social media retrieval and analysis, SoMeRA ’14, pages 57-62, New York NY USA, 2014, ACM
A CONTEXT-AWARE RETRIEVAL SYSTEM FOR MOBILE APPLICATIONS
In Proceedings of the 4th workshop on context-awareness in retrieval and recommendation, CARR ’14, pages 18-25, New York NY USA, 2014, ACM
2013
BIGRAPHS RELOADED
Technical Report UDMI/01/2013/RR, Dept. of Mathematics and Computer Science, University of Udine, 2013
WEAK BISIMULATIONS FOR LABELLED TRANSITION SYSTEM WEIGHTED OVER SEMIRINGS
Corr, abs/1310.4106, 2013
AN OPEN LOGICAL FRAMEWORK
Journal of logic and computation, 2013
2012
SYNTHESIS OF DISTRIBUTED MOBILE PROGRAMS USING MONADIC TYPES IN COQ
In Lennart Beringer and Amy P. Felty, editors, Interactive theorem proving - third international conference, ITP 2012, Princeton NJ USA, August 13-15, 2012, Proceedings, volume 7406 of Lecture Notes in Computer Science, pages 183-200, 2012
IMPLEMENTING THE STOCHASTICS BRANE CALCULUS IN A GENERIC STOCHASTIC ABSTRACT MACHINE
In Gabriel Ciobanu, editor, Proceedings 6th workshop on membrane computing and biologically inspired process calculi, Newcastle UK, 8th September 2012, volume 100 of Electronic Proceedings in Theoretical Computer Science, pages 82-100, Open Publishing Association, 2012
MEASURABLE STOCHASTICS FOR BRANE CALCULUS
Theoretical computer science, 431:117-136, 2012
STRUCTURAL OPERATIONAL SEMANTICS FOR CONTINUOUS STATE PROBABILISTIC PROCESSES
In Proc. cmcs ’12, volume 7399 of Lecture Notes in Computer Science, pages 71-90. Springer, 2012
A WEAK HOAS APPROACH TO THE POPLMARK CHALLENGE
In Proceedings 7th workshop on logical and semantic frameworks, with applications, LSFA 2012, Rio De Janeiro BR, september 29-30, 2012, pages 109-124, 2012
LFP: A LOGICAL FRAMEWORK WITH EXTERNAL PREDICATES
In Proceedings of the 7th international workshop on logical frameworks and meta-languages, theory and practice LFMTP ’12, page 13-22, New York NY USA, 2012, ACM
2011
FORMAL ANALYSIS OF FACEBOOK CONNECT SINGLE SIGN-ON AUTHENTICATION PROTOCOL
In SofSem 2011, Proceedings of student research forum, pages 99-116, OKAT, 2011
UNOBSERVABLE INTRUSION DETECTION BASED ON CALL TRACES IN PARAVIRTUALIZED SYSTEMS
In Javier Lopez and Pierangela Samarati, editors, Proc. secrypt. SciTePress, 2011
2010
GRAPHS ALGEBRAS FOR BIGRAPHS
In Lara J. de C. Ermel and R. Heckel, editors, Proc. 9th international workshop on graph transformation and visual modeling techniques (gt-vmt ’10), volume 10 of Electronic Communications of the EASST. European Association of Software Science and Technology, 2010
MEASURABLE STOCHASTICS FOR BRANE CALCULUS
In Gabriel Ciobanu and Maciej Koutny, editors, Proc. mecbic, volume 40 of EPTCS, pages 6-22, 2010
THE CONTEXT-AWARE BROWSER
Intelligent systems, IEEE, 25(1):38-47, 2010
AI TECHNIQUES IN A CONTEXT-AWARE UBIQUITOUS ENVIRONMENT
In Aboul-Ella Hassanien, Jmal H. Abawajy, Ajith Abraham and Hani Hagras, editors, Pervasive computing, Computer Communications and Networks, pages 157-180. Springer London, 2010
2009
A FRAMEWORK FOR PROTEIN AND MEMBRANE INTERACTIONS
In Gabriel Ciobanu, editor, Proc. mecbic ’09, volume 11 of EPTCS, 2009
BIGRAPHICAL MODELS FOR PROTEIN AND MEMBRANE INTERACTIONS
In Gabriel Ciobanu, editor, Proc. mecbic ’09, volume 11 of EPTCS, 2009
DBTK: A TOOLKIT FOR DIRECTED BIGRAPHS
In Calco 2009 conference proceedings - calco tools, volume 5728 of Lecture Notes in Computer Science. Springer, 2009
DERIVING BARBED BISIMULATIONS FOR BIGRAPHICAL REACTIVE SYSTEMS
In A. Corradini and E. Tuosto, editors, Proceedings of international conference on graph transformation (icgt-ds 2008), volume 16 of Electronic Communications of the EASST. European Association of Software Science and Technology, 2009
2008
A CATEGORICAL MODEL OF THE FUSION CALCULUS
In Proc. xxiv mfps, volume 218 of Electronic Notes in Theoretical Computer Science, pages 275-293. Elsevier, 2008
AN ALGEBRA FOR DIRECTED BIGRAPHS
Electronic notes in theoretical computer science, 203 (1):49-63, 2008
CONTROLLING RESOURCE ACCESS IN DIRECTED BIGRAPHS (LONG VERSION)
In Lara J. de C. Ermel and R. Heckel, editors, Proc. 7th international workshop on graph transformation and visual modeling techniques (gt-vmt ’08), volume 10 of Electronic Communications of the EASST. European Association of Software Science and Technology, 2008
IMPLEMENTING SPI-CALCULUS USING NOMINAL TECHNIQUES
In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe, editors, Proc. computability in europe (cie), volume 5028 of Lecture Notes in Computer Science, pages 294-305. Springer, 2008
PICNIC: PI-CALCULUS NON-INTERFERENCE CHECKER
In Jonathan Billington, Zhenhua Duan and Maceij Koutny, editors, Proc. acsd ’08, pages 33-38. IEEE, 2008
TYPES FOR PROOFS AND PROGRAMS, INTERNATIONAL CONFERENCE
Types 2007, Cividale Del Friuli IT, May 2-5, 2007, revised selected papers, volume 4941 of Lecture Notes in Computer Science. Springer, 2008
UNDECIDABILITY OF MODEL CHECKING IN BRANE LOGIC
Electronic notes in theoretical computer science, 192(3), 2008
AI ON THE MOVE: EXPLOITING AI TECHNIQUES FOR CONTEXT INFERENCE ON MOBILE DEVICES
In Proceedings of the 18th european conference on artificial intelligence (ecai 2008), pages 668-672, Amsterdam NL, July 21-25, 2008. IOS Press.
2007
DIRECTED BIGRAPHS
In Proc. xxiii mfps, volume 173 of Electronic Notes in Theoretical Computer Science, pages 121-137. Elsevier, 2007
REACTIVE SYSTEMS OVER DIRECTED BIGRAPHS
In Luis Caires and Vasco Vasconcelos, editors, Proc. concur 2007, volume 4703 of Lecture Notes in Computer Science, pages 380-394. Springer, 2007
REASONING ABOUT OBJECT-BASED CALCULI IN (CO)INDUCTIVE TYPE THEORY AND THE THEORY OF CONTEXTS
J. autom. reasoning, 39(1):1-47, 2007
2006
DIRECTED BIGRAPHS: THEORY AND APPLICATIONS
Technical Report UDMI/12/2006/RR, Department of Mathematics and Computer Science, University of Udine, 2006.
MODAL LOGICS FOR BRANE CALCULUS
In Corrado Priami, editor, Proc. cmsb, volume 4210 of Lecture Notes in Computer Science, pages 1-16. Springer, 2006
2005
IMPLEMENTAZIONE DI MEMORIA DISTRIBUITA SU CLUSTER COMPACTPCI
In Atti del congresso AICA 2005, AICA 2005
MOBE: A FRAMEWORK FOR CONTEXT-AWARE MOBILE APPLICATIONS
In Proc. of workshop on context awareness for proactive systems (caps2005), page -, Helsinki FI, 2005. Helsinki University Press
MOBE: CONTEXT-AWARE MOBILE APPLICATIONS ON MOBILE DEVICES FOR MOBILE USERS
In Proc. of 1st int. workshop on exploiting context histories in smart environments (echise2005), page -, 2005
INFORMATION FILTERING AND RETRIEVING OF CONTEXT-AWARE APPLICATIONS WITHIN THE MOBE FRAMEWORK
In International workshop on context-based information retrieval (cir-05), page -, 2005
2004
MODELING FRESH NAMES IN PI-CALCULUS USING ABSTRACTIONS
In Jiri Adamek, editor, Proc. cmcs ’04, volume 106 of Electronic Notes in Theoretical Computer Science. Elsevier, 2004
MOBILITY TYPES IN COQ
In Stefano Berardi, Mario Coppo and Ferruccio Damiani, editors, Types for proofs and programs, volume 3085 of Lecture Notes in Computer Science, pages 324-337. Springer Berlin Heidelberg, 2004
2002
AMBIENT CALCULUS AND ITS LOGIC IN THE CALCULUS OF INDUCTIVE CONSTRUCTIONS
In Frank Pfenning, editor, Proc. third international workshop on logical frameworks and meta-languages (lfm’02), volume 70.2 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002
2001
ON THE FORMALIZATION OF THE MODAL µ-CALCULUS IN THE CALCULUS OF INDUCTIVE CONSTRUCTIONS
Information and computation, 164(1):199-231, 2001
PI-CALCULUS IN (CO)INDUCTIVE TYPE THEORY
Theoretical computer science, 253(2):239-285, 2001
1998
A NATURAL DEDUCTION STYLE PROOF SYSTEMS FOR PROPOSITIONAL µ-CALCULUS AND ITS FORMALIZATION IN INDUCTIVE TYPE THORIES
In Proc. ictcs ’98. World Scientific, 1998
ENCODING MODAL LOGICS IN LOGICAL FRAMEWORKS
Studia logica, 60(1):161-208, 1998
1995
MODAL µ-TYPES FOR PROCESSES
In Dexter Kozen, editor, Proc. 10th lics, pages 221-231. IEEE Computer Society Press, 1995