CINECA IRIS Institutional Research Information System

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 214 a 233 di 325
Titolo Data di pubblicazione Autore(i) File
A priori conformance verification for guaranteeing interoperability in open environments 2006 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Probabilistic Timed Automata with Clock-Dependent Probabilities 2017 J. SPROSTON
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities 2020 J. Sproston
A Process-Model for Linear Programs 2009 Luca Paolini; Mauro Piccolo
Proof repositories for compositional verification of evolving software systems managing change when proving software correct 2016 Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh
Propagating user interests in ontology-based user model 2011 F. Cena; S. Likavec; F. Osborne
Property-Based Interest Propagation in Ontology-Based User Model 2012 Cena, Federica; Likavec, Silvia; Osborne, Francesco
Prototyping and preliminary evaluation of sign language translation system in the railway domain 2015 Battaglino, Cristina; Geraci, Carlo; Lombardo, Vincenzo; Mazzei, Alessandro
qPCF: A language for quantum circuit computations 2017 Luca Paolini; Margherita Zorzi
Qualitative analysis of VASS-induced MDPs 2016 Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
Query Rewriting in Itemset Mining 2004 R. MEO; M. BOTTA; R. ESPOSITO
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations 2014 S. Berardi; S. Steila
Rank-2 Intersection and Polymorphic Recursion 2005 F. DAMIANI
Reasoning about communicating agents in the semantic web 2003 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 2001 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Reasoning about Multiple Aspects in Rational Closure for DLs. 2016 Gliozzi, V.
Reasoning about self and others: communicating agents in a modal action logic 2003 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Recommending Multimedia Objects in Cultural Heritage Applications 2013 I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 2016 Damiani, Ferruccio; Lienhardt, Michael
Mostrati risultati da 214 a 233 di 325
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile