Publications
Publications found: 401
- A quantifier elimination for the theory of -adic numbers.
Lavinia Egidi
Published on Computational Complexity Vol. 7 n. 3, 1998, Pages: 205-263
- A quantifier elimination for the theory of -adic numbers
Lavinia Egidi
Published on Computational Complexity Vol. 7 n. 3, 1998, Pages: 205-263
- Inference based analysis of functional programs: dead-code and strictness
Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on Theories of Types and Proofs 2, Ed. Mathematical Society of Japan, 1998, Pages: 143-176
- A Symbolic Reachability Graph for Coloured Petri Nets
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Published on Theor. Comput. Sci. Vol. 176 n. 1-2, 1997, Pages: 39-65
- An Inference Algorithm for Strictness
Ferruccio Damiani, Paola Giannini
Published on TLCA'97, Ed. Springer, 1997, Pages: 129-146
- On Strictness and Totality
Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on TACS'97, Ed. Springer, 1997, Pages: 138--164
- Modelling and Analysis of Distributed Software Using GSPNs
Susanna Donatelli, Giuliana Franceschinis
Published on Petri Nets (2), 1996, Pages: 438-476
- The PSR Methodology: Integrating Hardware and Software Models
Susanna Donatelli, Giuliana Franceschinis
Published on Application and Theory of Petri Nets, 1996, Pages: 133-152
- Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
Published on Annual Simulation Symposium, 1996, Pages: 118-127
- Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras
Giuliana Franceschinis, Marina Ribaudo
Published on Petri Nets (2), 1996, Pages: 386-437
Pages: « < 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 > »
