Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
☰
Pubblicazioni
LECTURE NOTES IN COMPUTER SCIENCE
Serie
Codice:
E214442
ISSN:
1611-3349
Dati Generali
Dati Generali
Pubblicazioni (29)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A P-Time Completeness Proof for Light Logics
Contributo in Atti di convegno
A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations.
Contributo in Atti di convegno
A Polymorphic Language which is Typable and Poly-step
Contributo in Atti di convegno
A Vectorial Approach to Genetic Programming
Contributo in Atti di convegno
A bi-clustering framework for categorical data
Contributo in Atti di convegno
A core calculus of higher-order mixins and classes
Contributo in Atti di convegno
Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Proceedings
Capitolo di libro
BeA-ViR Game: From Virtual Exploration to Simple Gamification
Contributo in Atti di convegno
Classical system of Martin-Lof's inductive definitions is not equivalent to cyclic proof system
Contributo in Atti di convegno
Coordinating Mobile Object-Oriented Code
Contributo in Atti di convegno
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding
Contributo in Atti di convegno
Drammar: A Comprehensive Ontological Resource on Drama
Contributo in Atti di convegno
Extensible Objects: a Tutorial
Contributo in Atti di convegno
Intersection Logic
Contributo in Atti di convegno
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
Contributo in Atti di convegno
Logical Semantics for the First Order Sigma-Calculus
Contributo in Atti di convegno
Looking back to the EVALITA Constituency Parsing Task: 2007-2011
Capitolo di libro
Magda: A New Language for Modularity
Contributo in Atti di convegno
Markov decision Petri nets with uncertainty
Contributo in Atti di convegno
NearMe: Dynamic Exploration of Geographical Areas
Contributo in Atti di convegno
NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis
Capitolo di libro
O'Klaim: a coordination language with mobile mixins
Contributo in Atti di convegno
Protection of Personal Data in High Performance Computing Platform for Scientific Research Purposes
Capitolo di libro
Qualitative Reachability for Open Interval Markov Chains
Contributo in Atti di convegno
Safe object composition in the presence of subtyping
Contributo in Atti di convegno
Temporal Multiagent Plan Execution: Explaining What Happened
Contributo in Atti di convegno
The EVALITA Dependency Parsing Task: from 2007 to 2011
Contributo in Atti di convegno
The Klaim Project: Theory and Practice
Contributo in Atti di convegno
Type inference for nested self types (extended abstract)
Contributo in Atti di convegno
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
