Sfoglia per Serie
Adapting a Conversational Text Generator for Online Chatbot Messaging
2019-01-01 Klopfenstein, Cuno Lorenz; Delpriori, Saverio; Ricci, Alessio
An Algebra-Based Method to Associate Rewards with EMPA Terms
1997-01-01 Bernardo, Marco
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
2020-01-01 Bernardo, Marco
Architectural Types Revisited: Extensible And/Or Connections
2002-01-01 Bernardo, Marco; Franzè, Francesco
A Bottom-Up Approach to On-Chip Signal Integrity
2003-01-01 A., Acquaviva; Bogliolo, Alessandro
Code Hunting Games: a mixed reality multiplayer treasure hunt through a conversational interface
2018-01-01 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Paolini, Brendan Dominic; Bogliolo, Alessandro
Coherent Resolutions of Nondeterminism
2019-01-01 Bernardo, Marco
Computer-Aided DNA Base Calling from Forward and Reverse Electropherograms
2005-01-01 Freschi, Valerio; Bogliolo, Alessandro
Data Privacy Management and Security Assurance. 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
2016-01-01 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
Encoding Timed Models as Uniform Labeled Transition Systems
2013-01-01 Bernardo, Marco; Tesei, Luca
European Performance Engineering Workshop (EPEW 2010)
2010-01-01 Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio
Exogenous and Endogenous Extensions of Architectural Types
2002-01-01 Bernardo, Marco; Franzè, Francesco
Expressing Processes with Different Action Durations through Probabilities
2001-01-01 Bravetti, M; Aldini, Alessandro
Extended Markovian Process Algebra
1996-01-01 Bernardo, Marco; Gorrieri, Roberto
Filtering Obfuscated Email Spam by means of Phonetic String Matching
2006-01-01 Freschi, Valerio; Seraghiti, Andrea; Bogliolo, Alessandro
Formal Methods for Computational Systems Biology (SFM 2008)
2008-01-01 Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi
Formal Methods for Dynamical Systems (SFM 2013)
2013-01-01 Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Eternal Networked Software Systems (SFM 2011)
2011-01-01 Bernardo, Marco; Issarny, Valerie
Formal Methods for Executable Software Models (SFM 2014)
2014-01-01 Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Formal Methods for Hardware Verification (SFM 2006)
2006-01-01 Bernardo, Marco; Cimatti, Alessandro
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