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 7.475 a 7.494 di 20.231
Titolo Data di pubblicazione Autore(i) File
Forest fragmentation and regrowth in an institutional mosaic of community, government and private ownership in Nepal 1-gen-2007 H., Nagendra; Pareeth, Sajid; B., Sharma; C. M., Schweik; K. R., Adhikari
Foreword to the special issue on empirical research in requirements engineering 1-gen-2018 Gruenbacher, Paul; Perini, Anna
Formal Analysis and Verification of Self-Healing Systems 1-gen-2010 H., Ehrig; C., Ermel; O., Runge; Bucchiarone, Antonio; P., Pelliccione:
Formal Analysis of a Privacy-Preserving Billing Protocol 1-gen-2012 Armando, Alessandro; Carbone, Roberto; A., Merlo
Formal analysis of an agent-based optimisation strategy for Data Grids 1-gen-2006 D. G., Cameron; R., Carvajal Schiaffino; C., Nicholson; K., Stockinger; Zini, Floriano; A. P., Millar; Serafini, Luciano
Formal Analysis of Attacks for e-voting System 1-gen-2009 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
Formal analysis of BPMN Via a translation into COWS 1-gen-2008 Prandi, D.; Quaglia, P.; Zannone, N.
Formal analysis of hardware requirements 1-gen-2006 I., Pill; S., Semprini; Cavada, Roberto; Roveri, Marco; R., Bloem; Cimatti, Alessandro
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login 1-gen-2020 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 1-gen-2008 Armando, Alessandro; Carbone, Roberto; Compagna, L.; Cuellar, J.; Tobarra, L.
Formal analysis of XACML policies using SMT 1-gen-2017 Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
A formal approach to molecular docking 1-gen-2006 Prandi, D.
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano
Formal Design and Validation of an Automatic Train Operation Control System 1-gen-2022 Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 1-gen-2014 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Determination of Context in Contextual Recursive Cascade Correlation Networks 1-gen-2003 Alessio, Micheli; Sona, Diego; Alessandro, Sperduti
Formal executable descriptions of biological systems 1-gen-2005 Curti, M.; Degano, P.; Prandi, D.; Priami, C.; Quaglia, P.; Brodo, L.
A Formal IDE for Railways: Research Challenges 1-gen-2023 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
Formal instruction vs informal exposure. What matters more for teenagers’ acquisition of English as a second language? 1-gen-2022 Azzolini, D.; Campregher, S.; Madia, J. E.
Mostrati risultati da 7.475 a 7.494 di 20.231
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