Back to Results
First PageMeta Content
Çukurova University / Grandes écoles / University of Paris / École Normale Supérieure de Cachan


Document Date: 2009-09-02 13:26:38

Open Document

File Size: 54,83 KB

Share Result on Facebook

City

Paris / Zurich / Essen / Marseille / /

Company

IBM / Madrid Spain Ouaknine Joel Oxford University Computing Laboratory / Bologna Italy / Madrid Spain Roscoe Bill Oxford University Computing Laboratory / Microsoft / /

Country

Italy / /

Facility

Bologna Italy Laroussinie Francois LIAFA France Lasota Sławomir University of Warsaw / Computing Imperial College London United Kingdom van Glabbeek Rob NICTA Australia van Tilburg Paul Eindhoven University of Technology Netherlands Versari Cristian University / University of Technologies Netherlands Giro Sergio Universidad Nacional de Córdoba / University of Urbino Italy Palamidessi Catuscia INRIA France Pardon Aurélien ENS Lyon / Name Affiliation Country Aceto Luca Reykjavik University / Kingdom Planul Jérémy INRIA-MSR France Priami Corrado University of Trento / Ferreira Carla Universidade Nova de Lisboa Portugal Fournet Cedric Microsoft Research United Kingdom Froeschle Sibylle University of Oldenburg Germany Gabbrielli Maurizio University / Augsburg Germany Wiklicky Herbert Imperial College / Universita` di Padova Italy Rehak Vojtech Masaryk University / Czerwiński Wojciech Warsaw University / Bologna Italy Gadducci Fabio Universita di Pisa Italy Galpin Vashti University of Edinburgh United Kingdom Georgievska Sonja Eindhoven / University of Pisa Italy Morgan Carroll University / Institute of Informatics Poland Laviolette François Université Laval Canada Legay Axel INRIA RENNES-BRETAGNE ATLANTIQUE / Rodriguez Ismael Universidad Complutense de Madrid Spain Roscoe Bill Oxford University Computing Laboratory / Italy Sangiorgi Davide University of Bologna Italy Sangnier Arnaud University / Madrid Spain Arbab Farhad CWI Netherlands Asarin Eugene LIAFA France Baeten Jos Eindhoven University of Technology Netherlands Baier Christel Technical University / Conicet Argentina Goltz Ursula TU Braunschweig Germany Gorrieri Roberto University of Bologna Italy Gutierrez Julian Eduardo UNIVERSITY OF EDINBURGH United Kingdom Haar Stefan INRIA Saclay / Kingdom Zavattaro Gianluigi University of Bologna Italy Zhang Chenyi University / University Paris / France Levy Paul University of Birmingham United Kingdom Lopez Hugo Andres IT University Copenhagen / LIP France Perez Jorge University of Bologna Italy Pierce Ken Newcastle University / Darondeau Philippe IRISA France De Nicola Rocco Universita` di Firenze Italy de Roever Willem Paul University of Kiel Germany Degano Pierpaolo University / University Oldenburg Germany Bliudze Simon CEA LIST France Bonchi / University of Oslo Norway Quaglia Paola University / Kingdom Heiner Monika University of Technology Germany Hennessy Matthew Trinity College Dublin Ireland Hermanns Holger Saarland University / Stony Brook University / Karvi Timo University of Helsinki Finland / CNRS France Milner Robin University of Cambridge UK Möller Bernhard Institut für Informatik Germany Monreale Giacoma Dipartimento di Informatica / Republic Tapparo Francesco University of Padova Italy Tawbi Nadia Laval University Canada Trivedi Ashutosh Oxford University Computing Laboratory / Masaryk University Czech Republic Kretinsky Mojmir Masaryk University / Université Paris Diderot France Cerna Ivana Masaryk University / United Kingdom Worrell James Oxford University Computing Laboratory / ENS Cachan France Bradfield Julian University of Edinburgh United Kingdom Bravetti Mario University / Jeremy University of Turin Italy Stefani Jean-Bernard INRIA France Strejcek Jan Masaryk University / Trinity College / Dresden Germany Baldan Paolo University of Padova Italy Baudru Nicolas LIF France Benes Nikola Faculty / Masaryk University / University Paris Diderot / Université de Savoie France Idziaszek Tomasz University of Warsaw Poland Iltgen Katrin Universität Augsburg Germany Johansson Magnus Uppsala University / Denmark Luettgen Gerald University of Bamberg Germany Mardare Radu Microsoft Research-University / Haase Christoph Oxford University Computing Laboratory United Kingdom Hague Matthew Oxford University Computing Laboratory / Katoen Joost-Pieter RWTH Aachen University Germany Keiren Jeroen Eindhoven University of Technology Netherlands Klin Bartek University / CNRS France Viswanathan Mahesh University of Illinois / Bologna Italy Bruni Roberto University of Pisa Italy Caires Luis FCT Universidade Nova de Lisboa Portugal Camporesi Ferdinanda University / Trento Italy Mauro Jacopo University of Bologna Italy Mendel-Gleason Gavin Dublin City University Ireland Merelli Emanuela Università di Camerino Dip / Desharnais Josée Université Laval Canada Di Giusto Cinzia University of Bologna Italy Dogguy Mehdi PPS Laboratory / States Nunez Manuel Universidad Complutense de Madrid Spain Ouaknine Joel Oxford University Computing Laboratory / Demangeon Romain ENS Lyon France Deng Yuxin Shanghai Jiao Tong University / Bologna Italy Victor Björn Uppsala University / Republic Kuijper Wouter University of Twente Netherlands Lanese Ivan University / University of Paris / Cambridge United Kingdom König Barbara University of Duisburg-Essen Germany Kremer Steve LSV / Austria Ciobanu Gabriel Romanian Academy Romania Corradini Flavio University of Camerino Italy Crafa Silvia University / /

OperatingSystem

Aix / /

Organization

Bologna Italy Laroussinie Francois LIAFA France Lasota Sławomir University of Warsaw / Conicet Argentina Goltz Ursula TU Braunschweig Germany Gorrieri Roberto University / CoSBi Italy Prisacariu Cristian Department of Informtics / Grenoble France Demangeon Romain ENS Lyon France Deng Yuxin Shanghai Jiao Tong University China Desharnais Josée Université Laval Canada Di Giusto Cinzia University of Bologna Italy Dogguy Mehdi PPS Laboratory / Bologna Italy Gutierrez Julian Eduardo UNIVERSITY OF EDINBURGH United Kingdom Haar Stefan INRIA Saclay France Haase Christoph Oxford University Computing Laboratory United Kingdom Hague Matthew Oxford University Computing Laboratory United Kingdom Heiner Monika University / University of Illinois / Urbana-Champaign / France Perez Jorge University / France Levy Paul University / Warsaw Poland Iltgen Katrin Universität Augsburg Germany Johansson Magnus Uppsala University Sweden Karvi Timo University / Newcastle University / Katoen Joost-Pieter RWTH Aachen University Germany Keiren Jeroen Eindhoven University / Universite Paris / Camerino Italy Crafa Silvia University / Institute of Informatics Poland Laviolette François Université Laval Canada Legay Axel INRIA RENNES-BRETAGNE ATLANTIQUE France Lenglet Sergueï UJF Grenoble / Oslo Norway Quaglia Paola University / Warsaw University / Romanian Academy Romania Corradini Flavio University / Technology Netherlands Baier Christel Technical University / ENS Cachan France Bradfield Julian University / Universidad Nacional / Pisa Italy Morgan Carroll University of New South Wales Australia Mori Marco IMT Alti Studi / University of Trento / Masaryk University Czech Republic Kretinsky Mojmir Masaryk University Czech Republic Kuijper Wouter University / Department of Computing Imperial College London United Kingdom / Eindhoven University of Technology / University of Birmingham / Twente Netherlands Lanese Ivan University / IST Lisbon Portugal Andres Cesar Universidad Complutense de Madrid Spain Arbab Farhad CWI Netherlands Asarin Eugene LIAFA France Baeten Jos Eindhoven University / Italy Sangiorgi Davide University / CNRS France Milner Robin University of Cambridge UK Möller Bernhard Institut für Informatik Germany Monreale Giacoma Dipartimento / University Copenhagen Denmark Luettgen Gerald University / Bologna Italy Bruni Roberto University of Pisa Italy Caires Luis FCT Universidade Nova / Université Paris Diderot France Cerna Ivana Masaryk University Czech Republic Cerone Andrea Department of Computer Science / Kiel Germany Degano Pierpaolo University of Pisa Italy Degorre Aldric Vérimag / Trento Italy Mauro Jacopo University of Bologna Italy Mendel-Gleason Gavin Dublin City University Ireland Merelli Emanuela Università / Technology Netherlands Klin Bartek University / Jeremy University of Turin Italy Stefani Jean-Bernard INRIA France Strejcek / University of Twente / University of Paris / Uppsala Universitet / CNRS France Viswanathan Mahesh University / Bologna Italy Sangnier Arnaud University of Turin Italy Schicke Jens-Wolfhard TU Braunschweig Germany Schmalz Matthias ETH Zurich Switzerland Schmitt Alan INRIA France Sighireanu Mihaela LIAFA / University of Pisa / University of Edinburgh / Edinburgh United Kingdom Bravetti Mario University / Technology Netherlands Versari Cristian University / Politecnico di Milano / Dresden Germany Baldan Paolo University / Padova Italy Baudru Nicolas LIF France Benes Nikola Faculty of Informatics / University of Helsinki / INRIA France Kretinsky Jan Faculty of Informatics / Trinity College Dublin / Masaryk University / Universidad Complutense de Madrid / University of Oslo / Oxford University / Turin Italy Stefani Jean-Bernard INRIA France Strejcek Jan Masaryk University Czech Republic Tapparo Francesco University of Padova Italy Tawbi Nadia Laval University Canada Trivedi Ashutosh Oxford University Computing Laboratory United Kingdom / Imperial College London United Kingdom Worrell James Oxford University Computing Laboratory United Kingdom Zavattaro Gianluigi University / University of Oldenburg / University of Urbino Italy Palamidessi Catuscia INRIA France Pardon Aurélien ENS Lyon / Bologna Italy Zhang Chenyi University of Luxembourg Luxembourg / Oldenburg Germany Gabbrielli Maurizio University / Université Paris-Est France Nestmann Uwe Technische Universität Berlin Germany Newport Calvin MIT CSAIL United States Nunez Manuel Universidad Complutense de Madrid Spain Ouaknine / Cambridge United Kingdom König Barbara University / /

Person

Almeida Matos Ana / Silva Alexandra / Francesco Dip / Bernardo Marco Università di Urbino / /

ProvinceOrState

Illinois / /

Region

South Wales / /

SocialTag