Publications
Publications found: 406
- Strictness, totality, and non-standard type inference
Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on Theoretical Computer Science 272 1-2, Ed. Elsevier, 2002, Pages: 69--112 - A calculus for "environment-aware'' computation
Viviana Bono, Ferruccio Damiani, Paola Giannini
Published on F-WAN'02 66.3, Ed. Elsevier, 2002 - Stochastic modeling, analysis techniques and tools for dependable reactive systems
Andrea Bobbio, Daniele Codetta Raiteri
Published on TR-INF-2002-10-06-UNIPMN, Ed. Computer Science Department, UPO, 2002 - Stochastic modeling, analysis techniques and tools for dependable reactive systems
Simona Bernardi, Andrea Bobbio, Marco Gribaudo
Published on TR-INF-2002-10-05-UNIPMN, Ed. Computer Science Department, UPO, 2002 - Interactive MPEG video streaming over IP-networks: a performance report
Marco Furini, Marco Roccetti
Published on TR-INF-2002-09-04-UNIPMN, Ed. Computer Science Department, UPO, 2002 - From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant
Andrea Bobbio, Marco Gribaudo, András Horváth
Published on TR-INF-2002-02-02-UNIPMN, Ed. Computer Science Department, UPO, 2002 - Design and Analysis of a Mechanism for supporting Interactive Video Streaming Applications over the Internet
Marco Furini, Marco Roccetti
Published on TR-INF-2002-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2002 - A fuzzy approach to case-based reasoning through fuzzy extension of SQL
Riccardo Bellazzi, Stefania Montani, Luigi Portinale
Published on TR-INF-2002-07-03-UNIPMN, Ed. Computer Science Department, UPO, 2002 - M4-The Mining Mart MetaModel
Marco Botta, Klaus Dittrich, Jö-Uwe Kietz, Katharina Morik, Luigi Portinale, Anca Vaduva, Regina Zücker
Published on Deliverable D8/9, EU Funded Project MINIG MART, 2001 - M4 -- The MiningMart Meta Model
Marco Botta, Klaus Dittrich, Katharina Morik
Published on Deliverable D8/9, EU Funded Project MINIG MART, 2001
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 > »
