Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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