IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.161 a 5.180 di 7.939
Titolo Data di pubblicazione Autore(i) File
Towards a Framework for Business Process Compliance 1-gen-2010 S., Ghanavati; D., Amyot; Siena, Alberto; Susi, Angelo; Perini, Anna
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 1-gen-2011 Valentino, Sartori; Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo
SCALE: supporting community awareness, learning, and evolvement in an organizational learning environment 1-gen-2004 Amy, Soller; Renata, Guizzardi; Alessandra, Molani; Perini, Anna
Law Modeling with Ontological Support and BPMN: a Case Study 1-gen-2011 Ciaghi, Aaron; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Formal Methodology for Procedural Security Assessment 1-gen-2011 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Combining Lists with Non-stably Infinite Theories 1-gen-2005 P., Fontaine; Ranise, Silvio; C. G., Zarba
A Theory of Singly-Linked Lists and its Extensible Decision Procedure 1-gen-2006 Ranise, Silvio; C. G., Zarba
Combining Proof-Producing Decision Procedures 1-gen-2007 Ranise, Silvio; C., Ringeissen; D. K., Tran
Noetherianity and Combination Problems 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Abstraction-Driven Verification of Array Programs 1-gen-2004 D., Déharbe; A., Imine; Ranise, Silvio
Automatic Combinability of Rewriting-Based Satisfiability Procedures 1-gen-2006 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures 1-gen-2006 M. P., Bonacina; S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic 1-gen-2005 Ranise, Silvio; C., Ringeissen; C. G., Zarba
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories 1-gen-2009 S., Ghilardi; Ranise, Silvio
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn 1-gen-2004 Ranise, Silvio; C., Ringeissen; D. K., Tran
Building Extended Canonizers by Graph-Based Deduction 1-gen-2007 Ranise, Silvio; C., Scharff
Decision Procedures for the Formal Analysis of Software 1-gen-2006 D., Déharbe; P., Fontaine; Ranise, Silvio; C., Ringeissen
On Superposition-Based Satisfiability Procedures and Their Combination 1-gen-2005 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.161 a 5.180 di 7.939
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1