Skip to Main Content (Press Enter)
×
Home
Pubblicazioni
Progetti
Persone
Competenze
Settori
Strutture
Terza Missione
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Pubblicazioni
Progetti
Persone
Competenze
Settori
Strutture
Terza Missione
☰
Pubblicazioni
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Serie
Codice:
E212253
ISSN:
1868-8969
Dati Generali
Dati Generali
Pubblicazioni (21)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A certified study of a reversible programming language
Capitolo di libro
AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems
Contributo in Atti di convegno
End-to-end deadlines over dynamic topologies
Contributo in Atti di convegno
Flexible coinduction in Agda
Contributo in Atti di convegno
Functional Programming for Distributed Systems with XC
Contributo in Atti di convegno
Global Escape in Multiparty Sessions
Contributo in Atti di convegno
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
Contributo in Atti di convegno
Isomorphism of "Functional" Intersection Types
Contributo in Atti di convegno
Mailbox Types for Unordered Interactions
Contributo in Atti di convegno
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions
Contributo in Atti di convegno
Mixin Composition Synthesis Based on Intersection Types
Contributo in Atti di convegno
Non-Commutative Infinitary Peano Arithmetic
Contributo in Atti di convegno
Observability for Pair Pattern Calculi
Contributo in Atti di convegno
Optimizing Per-Core Priorities to Minimize End-To-End Latencies
Contributo in Atti di convegno
Probabilistic Analysis of Binary Sessions
Contributo in Atti di convegno
Query stability in monotonic data-aware business processes
Contributo in Atti di convegno
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
Contributo in Atti di convegno
SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule
Contributo in Atti di convegno
Solvability in a probabilistic setting
Contributo in Atti di convegno
Standardization of a Call-By-Value Lambda-Calculus
Contributo in Atti di convegno
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
Contributo in Atti di convegno
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
