Pubblicazioni
Pubblicazioni trovate: 409
- Intersection Types for Unbind and Rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su ITRS'10 45, 2010, Pagine: 45-59 - Sequence-Function Protein Analysis Using Annotated Context Free Grammars
Paola Giannini, Eva Sciacca, Salvatore Spinella
Apparso su ICTCS 2010, 2010 - ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Apparso su TR-INF-2010-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010 - ICCBR 2010 Workshop Proceedings
Cindy Marling
Apparso su TR-INF-2010-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2010 - Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Apparso su TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010 - Lightweight Data Indexing and Compression in External Memory
Paolo Ferragina, Travis Gagie, Giovanni Manzini
Apparso su Proc. 9th Latin American Theoretical Informatics Symposium (LATIN '10), 2010, Pagine: 698-711 - A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Apparso su TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010 - From partially to fully lumped Markov chains in stochastic well formed Petri nets
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
Apparso su VALUETOOLS, 2009, Pagine: 43 - Interfaces and binding in component based development of formal models
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Apparso su VALUETOOLS, 2009, Pagine: 44 - Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Giuliana Franceschinis, Karsten Wolf
Apparso su Petri Nets Vol. 5606, Ed. Springer, 2009
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
