Papers
(bib)
Papers table
All Papers
(bib)
Recently Added
Recently Modified
Authors
Attributes
Values
Search for Papers
Reports
Select Report
First Grouping
Author
Value
Type
Year
Second Grouping
Author
Value
Type
Year
Filter by Author
Acciai, Lucia
Aceto, Luca
Alan, Clark
Andrade, Luis Filipe
Baldan, Paolo
Baumeister, Hubert
Becchi, Daniele
Beek, Maurice H. ter
Benavides, David
Bergel, Alexandre
Bernardo, Marco
Bettini, Lorenzo
Birattari, Mauro
Bono, Viviana
Boreale, Michele
Botterweck, Goetz
Brambilla, Manuele
Bravetti, Mario
Bruni, Roberto
Buscemi, Maria Grazia
Buscemi, Marzia
Caires, Lu\'\is
Caires, Luis
Calzolai, Francesco
Capecchi, Sara
Capitani, Beatrice
Cappello, Igor
Cappetta, Donato
Caselli, Vincenzo
Castagna, Giuseppe
Cecchi, Leonardo
Chen, Xiao Jun
Clark, Allan
Clarke, Dave
Colameo, Serano
Coppo, Mario
Corradini, Andrea
Corradini, Flavio
Cozzi, Federico
Crescenzi, Pilu
D'Antoni, Loris
D'Errico, Liliana
Damiani, Ferruccio
De Luca, Marco
De Nicola, Rocco
Degano, Pierpaolo
Dezani-Ciancaglini, Mariangiola
Di Costanzo, Marco
Dorigo, Marco
Falassi, Daniele
Fantechi, Alessandro
Ferrari, Gian Luigi
Ferrari, GianLuigi
Fiadeiro, Jos\'e Luiz
Gadducci, Fabio
Geilmann, Kathrin
Ghilezan, Silvia
Giachino, Elena
Gilmore, Stephen
Giovannetti, Elio
Gjondrekaj, Edmond
Gnesi, Stefania
Gorla, Daniele
Guidieri, Francesco
H\"olzl, Matthias
H\"olzl, Matthias M.
Hansen, Ren\'e Rydhof
Hansen, Rene Rydhof
Harrison, Michael D.
Hennessy, Matthew
Hoffman, Piotr
Ingolfsdottir, Anna
Innocenti, Gaia
Inverardi, Paola
Katoen, Joost-Pieter
Katoen, Pieter
Koblensky, Mingyur
Koch, Nora
Kosiuczenko, Piotr
Labella, Anna
Lacoste, Marc
Lanese, Ivan
Lapadula, Alessandro
Larosa, Salvatore
Latella, Diego
Likavec, Silvia
Lopes, Ant\'onia
Lopes, Lu\'\is M. B.
Lopes, Luís
Loreti, Michele
Luca, Marco De
Lucchi, Roberto
Manganaro, Andrea
Martelli, Alberto
Martins, Francisco
Massink, Mieke
Mazzanti, Franco
Meseguer, Jos\'e
Mezzina, Leonardo
Mezzina, Leonardo Gaetano
Moggi, Eugenio
Montanari, Ugo
Naddeo, Marco
Naldini, Marco
Nesi, Monica
Nicola, Rocco De
Nielson, Flemming
Nielson, Hanne Riis
Oliveira, Crist\'ov\ ao
Oliveira, Lic\'\inio
Oliveira, Licínio
Paba, Tommaso
Palasciano, Claudio
Palmeri, Maria Carla
Paola, Quaglia
Pathak, Animesh
Paulino, Herv\'e
Paulino, Hervé
Pinciroli, Carlo
Probst, Christian W.
Pugliese, Rosario
Quaglia, Paola
Rabiser, Rick
Ravara, Ant\'onio
Ravara, Antonio
Ristori, Gioia
Rocca, Simona Ronchi Della
Rowstron, Antony
Rowstron, Antony I. T.
Sangiorgi, Davide
Sch\"afer, Jan
Schaefer, Ina
Schäfer, Jan
Schivo, Stefano
Segala, Roberto
Smolka, Scott A.
Stephen, Gilmore
Stoll, Dietmar
Strocco, Fabio
Tanzarella, Nico
Tarlecki, Andrzej
Tiezzi, Francesco
Tribastone, Mirco
Tronci, Enrico
Trujillo, Salvador
Tuosto, Emilio
Turin, Erica
V\"olter, Markus
Vaandrager, Frits W.
Varacca, Daniele
Vasconcelos, Vasco
Vasconcelos, Vasco T.
Vasconcelos, Vasco Thudichum
Veglioni, Simone
Venneri, Betti
Villela, Karina
Wermelinger, Michel
Wirsing, Martin
Yoshida, Nobuko
Zavattaro, Gianluigi
Zawlocki, Artur
Filter by Value
Categories - BPEL
Categories - C++
Categories - Calculi
Categories - Coordination Models
Categories - Delta Oriented Programming
Categories - Eclipse
Categories - Featherweight Java
Categories - Generics
Categories - Incomplete Objects
Categories - Intersection Types
Categories - Java
Categories - Klaim
Categories - Klava
Categories - MarCaSPiS
Categories - Master Thesis
Categories - Multi-Methods
Categories - Network Aware Programming
Categories - Object-Oriented Programming
Categories - PhD Thesis
Categories - Process Calculi
Categories - Program Transformation
Categories - Property Verification
Categories - Quantitative Analysis
Categories - Security
Categories - Session Types
Categories - Smalltalk
Categories - Software Product Lines
Categories - Stochasti Process Algebras
Categories - SWRTJ
Categories - Tools
Categories - Traits
Categories - Types
Categories - Xtext
Publisher - Academic Press
Publisher - Accademic Press, London
Publisher - ACM
Publisher - ACM Digital Library
Publisher - ACM Press
Publisher - Cambridge University Press
Publisher - Dipartimento di Matematica, Università di Siena
Publisher - Elsevier
Publisher - Elsevier Science
Publisher - IEEE
Publisher - IEEE Computer Society
Publisher - IEEE Computer Society Press
Publisher - INSTICC Press
Publisher - John Wiley & Sons
Publisher - Kluwer
Publisher - Kluwer Academic Publishers
Publisher - North Holland
Publisher - Royal Society
Publisher - SciTePress
Publisher - Springer
Publisher - Springer Verlag
Publisher - Springer-Verlag
Publisher - University of Edinburgh
Publisher - World Scientific
Series - Communications in Computer and Information Science
Series - Electronic Notes in Theoretical Computer Science
Series - ENTCS
Series - EPTCS
Series - Lecture Notes in Computer Science
Series - LNBIP
Series - LNCS
Series - Series Workshops in Computing
Whether to show results in HTML without layout
Number of results per page
