Papers
(bib)
Papers table
All Papers
(bib)
Recently Added
Recently Modified
Authors
Attributes
Values
Search for Papers
Reports
Paper Search
Type
ARTICLE
INBOOK
BOOK
BOOKLET
INCOLLECTION
MANUAL
MASTERSTHESIS
MISC
INPROCEEDINGS
PROCEEDINGS
PHDTHESIS
TECHREPORT
UNPUBLISHED
Title
Authors
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
Year
Editors
Book
Pages
Notes
Abstract
Volume
Number
Bibtex Key
Bibtex
Private
Url1
Url2
File1
File2
DOI
ISBN
Categories
BPEL
C++
Calculi
Coordination Models
Delta Oriented Programming
Eclipse
Featherweight Java
Generics
Incomplete Objects
Intersection Types
Java
Klaim
Klava
MarCaSPiS
Master Thesis
Multi-Methods
Network Aware Programming
Object-Oriented Programming
PhD Thesis
Process Calculi
Program Transformation
Property Verification
Quantitative Analysis
Security
Session Types
Smalltalk
Software Product Lines
Stochasti Process Algebras
SWRTJ
Tools
Traits
Types
Xtext
Keywords
Publisher
Academic Press
Accademic Press, London
ACM
ACM Digital Library
ACM Press
Cambridge University Press
Dipartimento di Matematica, Università di Siena
Elsevier
Elsevier Science
IEEE
IEEE Computer Society
IEEE Computer Society Press
INSTICC Press
John Wiley & Sons
Kluwer
Kluwer Academic Publishers
North Holland
Royal Society
SciTePress
Springer
Springer Verlag
Springer-Verlag
University of Edinburgh
World Scientific
Series
Communications in Computer and Information Science
Electronic Notes in Theoretical Computer Science
ENTCS
EPTCS
Lecture Notes in Computer Science
LNBIP
LNCS
Series Workshops in Computing
Whether to show results in HTML without layout
Whether to show results in bibtex format
