Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.861 a 2.880 di 3.012
Foundations of Session Types: 10 Years Later
2019-01-01 Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Designing Quality Business Processes for E-Government Digital Services
2010-01-01 Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Constraint-based Dynamic Conversations
2009-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Vito, Leonardo
Deadlock and Lock Freedom in the Linear π-Calculus
2014-01-01 Padovani, Luca
Mailbox Types for Unordered Interactions
2018-01-01 De'Liguoro, Ugo; Padovani, Luca
Typing Liveness in Multiparty Communicating Systems
2014-01-01 Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira
From Lock Freedom to Progress Using Session Types
2013-01-01 Padovani, Luca
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022-01-01 Ciccone, Luca; Padovani, Luca
Opportunities for Time Resolved Studies at the ID24 Energy Dispersive XAS Beamline of the ESRF
2007-01-01 Mathon, O; Aquilanti, G; Guilera, G; LABICHE J., -C; VAN DER LINDEN, P; Newton, M. A.; Ponchut, C; Trapananti, A; Pascarelli, S
Contracts for Mobile Processes
2009-01-01 G., Castagna; Padovani, Luca
Control of a Wind Energy Conversion Systems by a Novel Data-Driven Model-Free Adaptive Algorithm
2022-01-01 Corradini, M. L.; Ippoliti, G.; Orlando, G.
From Notation to Semantics: There and Back Again
2006-01-01 Padovani, Luca; S., Zacchiroli
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts
2007-01-01 C., Laneve; Padovani, Luca
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 M., Bernardo; Padovani, Luca
A Theory of Contracts for Web Services
2008-01-01 G., Castagna; N., Gesbert; Padovani, Luca
Context-Free Session Type Inference
2017-01-01 Padovani, Luca
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
2015-01-01 Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation
2014-01-01 Giuseppe, Castagna; Kim, Nguyễn; Zhiwu, Xu; Hyeonseung, Im; Sergueï, Lenglet; Padovani, Luca
Compliance Checking in Action for INGKA Group Inventory Management
2025-01-01 Galassi, Alessio; Re, Barbara; Reimann, Stefan; Rossi, Lorenzo
Multi-target computer-vision dynamic monitoring of displacements in a full-scale building
2025-01-01 Gioiella, Laura; Micozzi, Fabio; Mcbain, Morgan; Morici, Michele; Zona, Alessandro; Dall'Asta, Andrea; Simpson, Barbara; Barbosa, Andre
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 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 | |
| Designing Quality Business Processes for E-Government Digital Services | 1-gen-2010 | Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | 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 | |
| Deadlock and Lock Freedom in the Linear π-Calculus | 1-gen-2014 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Mailbox Types for Unordered Interactions | 1-gen-2018 | De'Liguoro, Ugo; Padovani, Luca | Contributo in atto di convegno su volume | |
| Typing Liveness in Multiparty Communicating Systems | 1-gen-2014 | Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira | Contributo in atto di convegno su volume | |
| From Lock Freedom to Progress Using Session Types | 1-gen-2013 | Padovani, Luca | Contributo in atto di convegno su volume | |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus | 1-gen-2022 | Ciccone, Luca; Padovani, Luca | Contributo in atto di convegno su volume | |
| Opportunities for Time Resolved Studies at the ID24 Energy Dispersive XAS Beamline of the ESRF | 1-gen-2007 | Mathon, O; Aquilanti, G; Guilera, G; LABICHE J., -C; VAN DER LINDEN, P; Newton, M. A.; Ponchut, C; Trapananti, A; Pascarelli, S | Contributo in atto di convegno su volume | |
| Contracts for Mobile Processes | 1-gen-2009 | G., Castagna; 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 | |
| From Notation to Semantics: There and Back Again | 1-gen-2006 | Padovani, Luca; S., Zacchiroli | 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 | |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 1-gen-2007 | M., Bernardo; Padovani, Luca | Contributo in atto di convegno su volume | |
| A Theory of Contracts for Web Services | 1-gen-2008 | G., Castagna; N., Gesbert; Padovani, Luca | Contributo in atto di convegno su volume | |
| Context-Free Session Type Inference | 1-gen-2017 | 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 | |
| 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 | |
| Compliance Checking in Action for INGKA Group Inventory Management | 1-gen-2025 | Galassi, Alessio; Re, Barbara; Reimann, Stefan; Rossi, Lorenzo | Contributo in atto di convegno su volume | |
| Multi-target computer-vision dynamic monitoring of displacements in a full-scale building | 1-gen-2025 | Gioiella, Laura; Micozzi, Fabio; Mcbain, Morgan; Morici, Michele; Zona, Alessandro; Dall'Asta, Andrea; Simpson, Barbara; Barbosa, Andre | Contributo in atto di convegno su volume |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.861 a 2.880 di 3.012
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 VOLUME3012
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026515
- 2010 - 20191317
- 2000 - 2009883
- 1990 - 1999242
- 1980 - 198949
- 1972 - 19793
Editore
- Springer132
- IEEE103
- Springer Science and Business Med...42
- SISVET35
- ACM32
- Institute of Electrical and Elect...29
- 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
- LECTURE NOTES IN BUSINESS INFORMA...23
- CEUR WORKSHOP PROCEEDINGS22
- LECTURE NOTES IN CIVIL ENGINEERING20
- LECTURE NOTES IN NETWORKS AND SYS...10
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- ADVANCES IN INTELLIGENT SYSTEMS A...6
- COMMUNICATIONS IN COMPUTER AND IN...6
- UID PER IL DISEGNO6
- AIP CONFERENCE PROCEEDINGS5
Keyword
- HBIM6
- survey6
- Process Mining5
- Structural Health Monitoring5
- database4
- modelli4
- rappresentazione4
- Activity Recognition3
- color3
- Digital Image Correlation3
Lingua
- eng2238
- ita898
- spa28
- fre21
- und6
- ger4
- hrv2
- por2
- enm1
- hun1
Accesso al fulltext
- no fulltext2559
- reserved283
- open155
- partially open15