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 298 a 317 di 325
Titolo Data di pubblicazione Autore(i) File
A Two-Level Approach to Logic plus Functional Programming Integration 1987 M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi 2015 Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types 2014 Padovani, Luca
Type-based useless-code elimination for functional programs - Position paper 2000 Stefano Berardi; Ferruccio Damiani; Mario Coppo; Paola Giannini
A Type-Free Resource-Aware Lambda-Calculus 1996 L. ROVERSI
Types for Deadlock-Free Higher-Order Programs 2015 Padovani, Luca; Novara, Luca
Types for Role-Based Access Control of Dynamic Web Data 2011 Mariangiola Dezani; Silvia Ghilezan; Svetlana Jakšic; Jovanka Pantovic
Typing Copyless Message Passing 2011 Bono, Viviana; Chiara, Messa; Padovani, Luca
Typing Liveness in Multiparty Communicating Systems 2014 Padovani, Luca; Vasco Thudichum Vasconcelos, ; Hugo Torres Vieira,
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) 2000 Ferruccio Damiani
UAV LiDAR Survey for Forest Structure Metrics Estimation in Planning Scenario. A Case Study on a Laricio Pine Forest in the Sila Mountains (Southern Italy) 2023 De Luca, Giandomenico; Praticò, Salvatore; Messina, Gaetano; Borgogno-Mondino, Enrico; Modica, Giuseppe
Ubiquito-S: a Preliminary Step toward Semantic Adaptive Web Services 2006 Francesca Carmagnola; Federica Cena; Cristina Gena; Ilaria Torre
Ubiquitous user assistance in a tourist information server 2002 L. Ardissono; A. Goy; G. Petrone; M. Segnan; P. Torasso
A unified and formal programming model for deltas and traits 2017 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service 2022 Ronzani, M; Ferrod, R; Di Francescomarino, C; Sulis, E; Aringhieri, R; Boella, G; Brunetti, E; Di Caro, L; Dragoni, M; Ghidini, C; Marinello, R
Useless-Code Detection and Elimination for PCF with Algebraic Data Types 1999 Ferruccio Damiani
Using Mobile Phone Cameras to Interact with Ontological Data 2012 Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi
Value-Driven Characters for Storytelling and Drama 2009 Rossana Damiano; Vincenzo Lombardo
Vectorized simulations of normal processes for first crossing-time problems. 1997 DI NARDO, Elvira; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S.
Verification and Control of Probabilistic Rectangular Hybrid Automata 2015 Sproston, Jeremy
Mostrati risultati da 298 a 317 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