Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Padovani, Luca
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Development of an Autonomous Fish-Inspired Robotic Platform..:

, In: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor),
Manduca, Gianluca ; Padovani, Luca ; Carosio, Edoardo... - p. 188-193 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Type-Based Analysis of Linear Communications:

, In: Behavioural Types,
Padovani, Luca - p. 193-217 , 2022
Link: https://doi.org/10.1201/..
 
?
4

An OCaml Implementation of Binary Sessions:

, In: Behavioural Types,
Melgratti, Hernán ; Padovani, Luca - p. 243-263 , 2022
Link: https://doi.org/10.1201/..
 
?
5

A Dependently Typed Linear π-Calculus in Agda:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,
Ciccone, Luca ; Padovani, Luca - p. 1-14 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Deadlock Analysis of Wait-Notify Coordination:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Laneve, Cosimo ; Padovani, Luca - p. 50-67 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Foundations of Session Types : 10 Years Later:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,
Castagna, Giuseppe ; Dezani-Ciancaglini, Mariangiola ; Giachino, Elena. - p. 1-3 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

The chemical approach to typestate-oriented programming:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,
Crafa, Silvia ; Padovani, Luca - p. 917-934 , 2015
Link: https://dl.acm.org/doi/1..
 
?
9

Deadlock and lock freedom in the linear π-calculus:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Padovani, Luca - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
10

Polymorphic functions with set-theoretic types : part 1:..:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Castagna, Giuseppe ; Nguyen, Kim ; Xu, Zhiwu... - p. 5-17 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Exception handling for copyless messaging:

, In: Proceedings of the 14th symposium on Principles and practice of declarative programming,
Jakšić, Svetlana ; Padovani, Luca - p. 151-162 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

A formal foundation for dynamic delta-oriented software pro..:

, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering,
Damiani, Ferruccio ; Padovani, Luca ; Schaefer, Ina - p. 1-10 , 2012
Link: https://dl.acm.org/doi/1..
 
?
13

Foundations of session types:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,
Castagna, Giuseppe ; Dezani-Ciancaglini, Mariangiola ; Giachino, Elena. - p. 219-230 , 2009
Link: https://dl.acm.org/doi/1..
 
?
14

A theory of contracts for web services:

, In: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Castagna, Giuseppe ; Gesbert, Nils ; Padovani, Luca - p. 261-272 , 2008
Link: https://dl.acm.org/doi/1..
 
?
15

Modeling Degradation and Breakdown in SiO2 and High-k Gate ..:

, In: 2023 International Conference on Simulation of Semiconductor Processes and Devices (SISPAD),
Padovani, Andrea ; Torraca, Paolo La ; Larcher, Luca.. - p. 93-96 , 2023
Link: https://doi.org/10.23919..
 
1-15