IRIS Institutional Research Information System

Sfoglia per Titolo

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 16.840 a 16.859 di 19.169
Titolo Data di pubblicazione Autore(i) File
Symbolic Fault Tree Analysis for Reactive Systems 1-gen-2007 Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo
Symbolic Implementation of Alternating Automata 1-gen-2006 R., Bloem; Cimatti, Alessandro; I., Pill; Roveri, Marco; S., Semprini
Symbolic Implementation of Alternating Automata 1-gen-2007 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco
Symbolic incentives and the recruitment of volunteers for citizen science projects 1-gen-2023 Cicognani, S; Stein, S; Tonin, M; Vlassopoulos, M
Symbolic model checking for multi-agent systems 1-gen-2001 Massimo, Benerecetti; Cimatti, Alessandro
Symbolic Model Checking for Timed Petri Nets 1-gen-1997 Calzolari, F.; Morzenti, A.; Pezzé, M.
Symbolic Model Checking of Relative Safety LTL Properties 1-gen-2024 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
Symbolic Model-Checking of Linear Programs 1-gen-2002 Armando, Alessandro; De Lucia, P.
Symbolic Search-Based Testing 1-gen-2011 Arthur, Baars; Mark, Harman; Youssef, Hassoun; Kiran, Lakhotia; Phil, Mcminn; Tonella, Paolo; Tanja, Vos
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2011 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2012 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2005 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2011 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
Symbolic techniques for planning with extended goals in non-deterministic domains 1-gen-2001 Pistore, Marco; Bettin, Renato; Traverso, Paolo
Symmetric tensor rank with a tangent vector: a generic uniqueness theorem 1-gen-2012 E., Ballico; Bernardi, Alessandra
Symmetric Toggle Switch - A New type of RF MEMS Switch for Telecommunication Applications 1-gen-2004 Rangra, Kamaljit; Margesin, Benno; Giacomozzi, Flavio; Lorenzelli, Leandro; Collini, Cristian; Soncini, Giovanni
Symmetric toggle switch—a new type of rf MEMS switch for telecommunication applications: Design and fabrication 1-gen-2005 Rangra, Kamaljit; Margesin, Benno; Lorenzelli, Leandro; Giacomozzi, Flavio; Collini, Cristian; Zen, Mario; Soncini, Giovanni; Laura del, Tin; Roberto, Gaddi
Symmetry enhancements via 5d instantons, qW-algebrae and (1, 0) superconformal index 1-gen-2016 Benvenuti, Sergio; Bonelli, Giulio; Ronzani, Massimiliano; Tanzini, Alessandro
Symmetry preserving truncations of the gap and Bethe-Salpeter equations 1-gen-2016 Binosi, Daniele; Chang, Lei; Papavassiliou, Joannis; Qin, Si Xue; Roberts, Craig D.
Symmetry, symmetry breaking, and pion parton distributions 1-gen-2020 Ding, Minghui; Raya, Khepani; Binosi, Daniele; Chang, Lei; Roberts, C. D.; Schmidt, S. M.
Mostrati risultati da 16.840 a 16.859 di 19.169
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