5.2 Contributo in atto di convegno su volume: [2997] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.721 a 2.740 di 2.997
Titolo Data di pubblicazione Autore(i) Tipo File
Compilation of Generic Regular Path Expressions Using C++ Class Templates 1-gen-2005 Padovani, Luca Contributo in atto di convegno su volume
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 1-gen-2015 Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea Contributo in atto di convegno su volume
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 1-gen-2013 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida Contributo in atto di convegno su volume
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation 1-gen-2014 Giuseppe, Castagna; Kim, Nguyễn; Zhiwu, Xu; Hyeonseung, Im; Sergueï, Lenglet; Padovani, Luca Contributo in atto di convegno su volume
Deadlock and Lock Freedom in the Linear π-Calculus 1-gen-2014 Padovani, Luca Contributo in atto di convegno su volume
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts 1-gen-2007 C., Laneve; Padovani, Luca Contributo in atto di convegno su volume
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 1-gen-2014 Padovani, Luca Contributo in atto di convegno su volume
Foundations of Session Types: 10 Years Later 1-gen-2019 Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca Contributo in atto di convegno su volume
Control of a Wind Energy Conversion Systems by a Novel Data-Driven Model-Free Adaptive Algorithm 1-gen-2022 Corradini, M. L.; Ippoliti, G.; Orlando, G. Contributo in atto di convegno su volume
Constraint-based Dynamic Conversations 1-gen-2009 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Vito, Leonardo Contributo in atto di convegno su volume
Early Performance Testing of Distributed Software Applications 1-gen-2004 Denaro, Giovanni; Polini, Andrea; Emmerich, Wolfgang Contributo in atto di convegno su volume
Formal Approaches for Modeling and Analysis of Business Process Collaborations 1-gen-2024 Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
Mutant-Driven Test Generation for Ethereum Smart Contracts via LLMs 1-gen-2025 Barboni, Morena; Lampa, Filippo; Morichetta, Andrea; Polini, Andrea; Zulkoski, Edward Contributo in atto di convegno su volume
Automatic Test Data Generation for XML Schema-based Partition Testing 1-gen-2007 Bertolino, Antonia; Gao, Jinghua; Marchetti, Eda; Polini, Andrea Contributo in atto di convegno su volume
A Counter-example Testing Approach for Orchestrated Services 1-gen-2010 DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea Contributo in atto di convegno su volume
Validation and Verification Policies for Governance of Service Choreographies 1-gen-2012 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea Contributo in atto di convegno su volume
Research challenges in business process adaptability 1-gen-2014 Cognini, Riccardo; Corradini, Flavio; Stefania, Gnesi; Polini, Andrea; Re, Barbara Contributo in atto di convegno su volume
Melatonin concentrations vary dramatically between the two jugular veins of most individuals in sheep 1-gen-1999 Zarazaga, L.; Chemineau, P.; Todini, Luca; Malpaux, B. Contributo in atto di convegno su volume
Design di prodotti per la sicurezza in caso di sisma 1-gen-2023 Galloppo, Daniele Contributo in atto di convegno su volume
Restart from the landscape. Strategies to reactivate tourism in the Central Italy territories affected by the earthquake 1-gen-2020 Cipolletti, S Contributo in atto di convegno su volume
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.721 a 2.740 di 2.997
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
  • 5 ATTO DI CONVEGNO SU VOLUME2997
Autore
  • DALL'ASTA, Andrea203
  • LEONI, Graziano188
  • CORRADINI, Flavio168
  • ROSSI, Giacomo136
  • RE, Barbara124
  • ZONA, Alessandro120
  • CORRADINI, Maria Letizia105
  • POLZONETTI, Alberto99
  • POLINI, Andrea95
  • SANTINI, Carlo74
Data di pubblicazione
  • In corso di stampa3
  • 2020 - 2026500
  • 2010 - 20191317
  • 2000 - 2009883
  • 1990 - 1999242
  • 1980 - 198949
  • 1972 - 19793
Editore
  • Springer131
  • IEEE103
  • Springer Science and Business Med...41
  • ACM32
  • Institute of Electrical and Elect...29
  • SISVET29
  • IEEE Computer Society26
  • Società Chimica Italiana25
  • IEEE / Institute of Electrical an...23
  • Università di Camerino23
Rivista
  • AIP CONFERENCE PROCEEDINGS3
  • CEUR WORKSHOP PROCEEDINGS2
  • BioPhotonics, 2011 International ...1
  • ELECTRONIC PROCEEDINGS IN THEORET...1
  • JOURNAL OF THE PERIPHERAL NERVOUS...1
  • LECTURE NOTES IN BUSINESS INFORMA...1
  • PLANUM1
  • PROCEEDINGS OF SPIE, THE INTERNAT...1
  • PROCEEDINGS WORLD RABBIT CONGRESS1
  • STUDIES IN CLASSIFICATION, DATA A...1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE25
  • CEUR WORKSHOP PROCEEDINGS22
  • LECTURE NOTES IN BUSINESS INFORMA...22
  • LECTURE NOTES IN CIVIL ENGINEERING20
  • LECTURE NOTES IN NETWORKS AND SYS...10
  • LECTURE NOTES IN ARTIFICIAL INTEL...8
  • ADVANCES IN INTELLIGENT SYSTEMS A...6
  • UID PER IL DISEGNO6
  • AIP CONFERENCE PROCEEDINGS5
  • COMMUNICATIONS IN COMPUTER AND IN...5
Keyword
  • HBIM6
  • survey6
  • Process Mining5
  • Structural Health Monitoring5
  • database4
  • modelli4
  • rappresentazione4
  • Activity Recognition3
  • color3
  • Digital Image Correlation3
Lingua
  • eng2226
  • ita895
  • spa28
  • fre21
  • und6
  • ger4
  • hrv2
  • por2
  • enm1
  • hun1
Accesso al fulltext
  • no fulltext2544
  • reserved283
  • open155
  • partially open15