Sfoglia per Autore
LFMTP 2010 - Preface
2010-01-01 Crary, K.; Miculan, M.
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
2010-01-01 Crary, Karl; Miculan, Marino
Measurable Stochastics for Brane Calculus
2010-01-01 Bacci, G; Miculan, Marino
Unobservable intrusion detection based on call traces in paravirtualized systems
2011-01-01 Maiero, C; Miculan, Marino
Formal analysis of Facebook Connect Single Sign-On authentication protocol
2011-01-01 Miculan, Marino; Urban, C.
Structural operational semantics for continuous state probabilistic processes
2012-01-01 Bacci, G; Miculan, Marino
Synthesis of distributed mobile programs using monadic types in Coq
2012-01-01 Miculan, Marino; Marco, Paviotti
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
2012-01-01 Miculan, Marino; Sambarino, Ilaria
Measurable Stochastics for Brane Calculus
2012-01-01 Bacci, G; Miculan, Marino
Weak bisimulations for labelled transition systems weighted over semirings
2013-01-01 Miculan, Marino; Peressotti, Marco
Structural operational semantics for non-deterministic processes with quantitative aspects
2014-01-01 Miculan, Marino; Peressotti, Marco
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government
2014-01-01 Barbara, Re; Miculan, Marino
Towards distributed bigraphical reactive systems
2014-01-01 Mansutti, Alessio; Peressotti, Marco; Miculan, Marino
Finding a Forest in a Tree - The matching problem for wide reactive systems
2014-01-01 G., Bacci; Miculan, Marino; R., Rizzi
A CSP implementation of the bigraph embedding problem
2014-01-01 Miculan, Marino; Peressotti, Marco
GSOS for non-deterministic processes with quantitative aspects
2014-01-01 Miculan, Marino; Peressotti, Marco
A Model of Countable Nondeterminism in Guarded Type Theory
2014-01-01 A., Bizjak; L., Birkedal; Miculan, Marino
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
2014-01-01 Alessio, Mansutti; Miculan, Marino; Peressotti, Marco
Distributed execution of bigraphical reactive systems
2015-01-01 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Behavioural equivalences for coalgebras with unobservable moves
2015-01-01 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
Structural operational semantics for continuous state stochastic transition systems
2015-01-01 Bacci, G.; Miculan, Marino
Open transactions on shared memory
2015-01-01 Miculan, Marino; Peressotti, Marco; Toneguzzo, Andrea
Special Issue on Methodologies, Technologies and Tools Enabling e-Government
2016-01-01 Re, Barbara; Miculan, Marino
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
2016-01-01 Bernardo, Marco; Miculan, Marino
On the bisimulation hierarchy of state-to-function transition systems
2016-01-01 Miculan, Marino; Peressotti, Marco
Structural operational semantics for non-deterministic processes with quantitative aspects
2016-01-01 Miculan, Marino; Peressotti, Marco
Deciding weak weighted bisimulation
2017-01-01 Miculan, Marino; Peressotti, Marco
Preface
2017-01-01 Altenkirch, T.; Chaudhuri, K.; Dowek, G.; Felty, A.; Filinski, A.; Miculan, M.; Rabe, F.; Ricciotti, W.; Coen, C.; Sojakova, K.
Deciding hedged bisimilarity
2018-01-01 Mansutti, Alessio; Miculan, Marino
Constructive logical characterizations of bisimilarity for reactive probabilistic systems
2018-01-01 Bernardo, Marco; Miculan, Marino
Loose Graph Simulations
2018-01-01 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Guest editors' foreword
2018-01-01 Hildebrandt, Thomas; Miculan, Marino
An abstract distributed middleware for transactions over heterogeneous stores
2019-01-01 Geatti, L.; Igne, F.; Miculan, M.
Towards user recognition by shallow web traffic inspection
2019-01-01 Miculan, Marino; Foresti, Gian Luca; Piciarelli, Claudio
Securing the art market with distributed public ledgers
2020-01-01 Miculan, M.; Tosone, D.
Towards a formal model for composable container systems
2020-01-01 Burco, F.; Miculan, M.; Peressotti, M.
Software transactional memory with interactions
2020-01-01 Miculan, M.; Peressotti, M.
Computing Embeddings of Directed Bigraphs
2020-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
Closure hyperdoctrines
2021-01-01 Castelnovo, D.; Miculan, M.
On the Security and Safety of AbU Systems
2021-01-01 Pasqua, M.; Miculan, M.
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
A time-series classification approach to shallow web traffic de-anonymization
2021-01-01 de Nardin, A.; Miculan, M.; Piciarelli, C.; Foresti, G. L.
Automated symbolic verification of Telegram’s MTProto 2.0
2021-01-01 Miculan, M.; Vitacolonna, N.
Distributed Programming of Smart Systems with Event-Condition-Action Rules
2022-01-01 Miculan, M.; Pasqua, M.
A Calculus for Subjective Communication
2022-01-01 Miculan, M.; Paier, M.
Composable partial multiparty session types for open systems
2022-01-01 Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro
Computing (optimal) embeddings of directed bigraphs
2022-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
The AbU Language: IoT Distributed Programming Made Easy
2022-01-01 Pasqua, Michele; Comuzzo, Massimo; Miculan, Marino
Fuzzy Algebraic Theories
2022-01-01 Castelnovo, D.; Miculan, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile