IRIS

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
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 7 a 26 di 97
Titolo Data di pubblicazione Autore(i) File
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
Causal Reversibility Implies Time Reversibility 1-gen-2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
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
Exploring the Dark Corners of Human-Chatbot Interactions: A Literature Review on Conversational Agent Abuse 1-gen-2024 DE CICCO, Roberta
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
Formal Methods for Mobile Computing (SFM 2005) 1-gen-2005 Bernardo, Marco; Bogliolo, Alessandro
Formal Methods for Model-Driven Engineering (SFM 2012) 1-gen-2012 Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Mostrati risultati da 7 a 26 di 97
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