IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.661 a 2.680 di 7.937
Titolo Data di pubblicazione Autore(i) File
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 1-gen-2017 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Abducing Compliance of Incomplete Event Logs 1-gen-2016 Chesani, Federico; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Business Process Languages: An Ontology-Based Perspective 1-gen-2017 Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Guarino, Nicola; Sanfilippo, Emilio M.
BPMN 2.0 Choreography Language: Interface or Business Contract? 1-gen-2017 Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 1-gen-2017 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Laponin, Arne; Maggi, Fabrizio Maria
Enhancing Workflow-Nets with Data for Trace Completion 1-gen-2018 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Tessaris, Sergio
Link Prediction in Multi-modal Social Networks 1-gen-2014 Symeonidis, Panagiotis; Perentis, Christos
SMT-based analysis of switching multi-domain linear Kirchhoff networks 1-gen-2017 Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko
Search Based Path and Input Data Generation for Web Application Testing 1-gen-2017 Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo
Towards Multi-decision-maker Requirements Prioritisation via Multi-Objective Optimisation 1-gen-2017 Kifetew, Fitsum Meshesha; Susi, Angelo; Munante, Denisse; Perini, Anna; Siena, Alberto; Busetta, Paolo
Goal-aware Analysis of Software License Risks 1-gen-2017 Kifetew, Fitsum Meshesha; Morandini, Mirko; Munante, Denisse; Perini, Anna; Siena, Alberto; Susi, Angelo
Gathering Requirements for Software Configuration from the Crowd 1-gen-2017 Munante, Denisse; Siena, Alberto; Kifetew, Fitsum Meshesha; Susi, Angelo; Stade, Melanie; Seyff, Norbert
Discovering Requirements through Goal-Driven Process Mining 1-gen-2017 Dabrowski, Jacek; Kifetew, Fitsum Meshesha; Munante, Denisse; Letier, Emmanuel; Siena, Alberto; Susi, Angelo
LIPS vs MOSA: A Replicated Empirical Study on Automated Test Case Generation 1-gen-2017 Panichella, Annibale; Kifetew, Fitsum Meshesha; Tonella, Paolo
Convolutional Long Short-Term Memory Networks for Recognizing First Person Interactions 1-gen-2017 Sudhakaran, Swathikiran; Lanz, Oswald
Tool-Supported Collaborative Requirements Prioritisation 1-gen-2017 Busetta, Paolo; Kifetew, Fitsum Meshesha; Denisse, Munante; Perini, Anna; Siena, Alberto; Susi, Angelo
Gamifying Collaborative Prioritization: Does Pointsification Work? 1-gen-2017 Kifetew, Fitsum Meshesha; Denisse, Munante; Perini, Anna; Susi, Angelo; Siena, Alberto; Busetta, Paolo; Valerio, Danilo
Exploiting User Feedback in Tool-Supported Multi-criteria Requirements Prioritization 1-gen-2017 Morales Ramirez, Itzel; Denisse, Munante; Kifetew, Fitsum Meshesha; Perini, Anna; Susi, Angelo; Siena, Alberto
Optimisation and memristive response of sol-gel derived TiO2 thin films 1-gen-2015 Prusakova, V.; Dirè, S.; Collini, C.; Pasquardini, L.; Vanzetti, L.; Resta, G.; Pederzolli, C.; Lorenzelli, L.
Optimization of synthesis protocols to control the nanostructure and the morphology of metal oxide thin films for memristive applications 1-gen-2015 Baldi, G.; Bosi, M.; Giusti, G.; Attolini, G.; Berzina, T.; Collini, C.; Lorenzelli, L.; Mosca, R.; Nozar, P.; Ponraj, J. S.; Toccoli, T.; Verucchi, R.; Iannotta, S.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.661 a 2.680 di 7.937
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 ...7936
Autore
  • Cimatti, Alessandro261
  • 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 - 20261560
  • 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...97
  • 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 SCIENCE230
  • 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
  • eng6440
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6822
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1