Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
WG 2.2: Formal Description of Programming Concepts
Home
WG2 2
Browse
By Author
By Year
By Author Affiliation
By TC
By WG
Conferences
AICT Series
AICT
AICT SURVEY
AICT TUTORIAL
LNBIP
LNCS
IFIP eCollection Series
IFIP ePublication
Search
Browse
By Author
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
other
all
Fulltext
Notice
Annex
Abdulla Parosh
Accattoli Beniamino
Aggarwal Deepanker
Ahmadi Saeide
Alvim Mário
Ancona Davide
Andrés Miguel
Arbab Farhad
Arun-Kumar S.
Atig Mohamed
Autili Marco
Azadbakht Keyvan
Azgomi Mohammad
Baeten Jos
Baillot Patrick
Bajelan Fateme
Bakel Steffen
Ball Tom
Banu-Demergian I.T.
Baquero Carlos
Barbon Gianluca
Bartoletti Massimo
Battisti Luca
Beffara Emmanuel
Behjati Razieh
Bensch Suna
Beohar Harsh
Bernasconi Anna
Bodeveix Jean-Paul
Bodlaender Hans
Bodlaender Marijke
Boer Frank
Bollig Beate
Bonchi Filippo
Bonsangue Marcello
Boreale Michele
Boudjadar Abdeldjalil
Bougeret Marin
Bouquet Fabrice
Brenas Jon
Brengos Tomasz
Brodić Darko
Bruggink H. J. Sander
Bruggink H.
Bucciarelli Antonio
Butler Michael
Calude Cristian
Carayol Arnaud
Carnino Vincent
Caskurlu Bugra
Casteigts Arnaud
Chakraborty Souymodip
Chedid Fouad B.
Chen Fei
Ciancia Vincenzo
Cimoli Tiziana
Ciriani Valentina
Clark David
Cledou Guillermina
Clouston Ranald
Cotrini Carlos
Curien Pierre-Louis
Dal Lago Ugo
Dalvandi Mohammadsadegh
Damiani Ferruccio
Darmann Andreas
Dastani Mehdi
Dawson Jeremy
Della Croce Federico
Delzanno Giorgio
Demeyer Serge
Deng Yuxin
Diaz Josep
Dima Catalin
Din Crystal
Dowek Gilles
Dutot Pierre François
de Benedetti Erika
de Boer Frank
Ebnenasir Ali
Echahed Rachid
Esik Zoltan
Feng Yuan
Filali Mamoun
Flocchini Paola
Fokkink Wan
Fung Stanley
Gadducci Fabio
Gallina Lucia
Galmiche Didier
Gaspar Nuno
Gaur Manish
Gauthier Jean-Marie
Ghafari Mohammad
Ghassemi Fatemeh
Giese Holger
Given-Wilson Thomas
Gkolfi Anastasia
Glabbeek Robert Jan
Godskesen Jens Chr.
Godskesen Jens
Goncharov Sergey
Gorla Daniele
Goré Rajeev
Gourvès Laurent
Gross James
Gruner Stefan
Guerrieri Giulio
Gurevich Yuri
Haghighi Hassan
Hajisheykhi Reza
Hammad Ahmed
Hansen Helle
Hatefi Hassan
Henrio Ludovic
Hermanns Holger
Heydarnoori Abbas
Hirschkoff Daniel
Holzer Markus
Houshmand Mahdi
Hurkens Cor
Hölzl Rupert
Inverardi Paola
Isazadeh Ayaz
Jacob Riko
Jacobs Bart
Jansen Klaus
Jančar Petr
Jay Barry
Jirásková Galina
Johnsen Einar
Jongmans Sung-Shik
Joshi Salil
Kaminski Mark
Karandikar Prateek
Karimpour Jaber
Katoen Joost-Pieter
Keiren Jeroen
Kesner Delia
Khoshnevis Sedigheh
Khosravi Ramtin
Kiehn Astrid
Klai Kais
Klinkhamer Alex
Kobayashi Naoki
Kräling Thorsten
Kulkarni Sandeep
Kupke Clemens
Kurz Alexander
Kusters Vincent
Kutrib Martin
König Barbara
Küfner Philipp
Kühn Eva
Küpper Sebastian
Lagorio Giovanni
Lahav Ori
Lanese Ivan
Lange Martin
Larchey-Wendling Dominique
Latella Diego
Leal Raul
Lee Matias
Leroy Vincent
Liang Hongyu
Lieber Tobias
Lienhardt Michael
Lin Huimin
Liu Jia
Lombardy Sylvain
Loreti Michele
Lozes Etienne
Luttik Bas
Lüttgen Gerald
Macedonio Damiano
Madelaine Eric
Madiot Jean-Marie
Malcher Andreas
Mans Bernard
Masopust Tomáš
Massink Mieke
Melentyev Artem
Merkle Wolfgang
Merro Massimo
Milius Stefan
Miyazaki Shuichi
Mkrtchyan Vahan
Mnich Matthias
Mogbil Virgile
Mohagheghi Mohammadsadegh
Monemi Bidgoli Atieh
Monnot Jérôme
Monreale Giacoma
Montanari Ugo
Morizumi Hiroki
Mousavi Mohammad
Movaghar Ali
Munch-Maccagnoni Guillaume
Murgia Alessandro
Nagy Benedek
Nakata Keiko
Napoli Margherita
Nejati Shiva
Nestmann Uwe
Ochi Hanen
Okamoto Kazuya
Otte Christina
Paduraru C.I.
Pagourtzis Aris
Palamidessi Catuscia
Pang Jun
Paolini Luca
Paolini Michela
Parekh Ojas
Parsai Ali
Paschos Vangelis
Paydar Samad
Peureux Fabien
Pferschy Ulrich
Pinna G.
Podelski Andreas
Poppleton Michael
Prasad Sanjiva
Proença José
Pun Ka
Radmacher Frank G.
Ramezani Elham
Rezazadeh Abdolbaghi
Riahi Shahrzad
Riba Colin
Rickmann Christina
Rioli Alessandro
Ronchi Della Rocca Simona
Rossi Sabina
Rot Jurriaan
Saar Andri
Sabahi-Kaviani Zeynab
Sabouri Hamideh
Salaün Gwen
Salehi Khayyam
Sangiorgi Davide
Santoro Nicola
Sassone Vladimiro
Schauer Joachim
Schnoebelen Philippe
Schwarz Sibylle
Sedaghatbaf Ali
Serbanescu Vlad
Shams Fereidoon
Sher Falak
Sibanda Prince
Sidorova Natalia
Silva Alexandra
Silvasti Panu
Sippu Seppo
Sirjani Marjan
Smolka Gert
Soares Barbosa Luis
Soisalon-Soininen Eljas
Song Lei
Staals Frank
Stahl Christian
Staiger Ludwig
Stefanescu G.
Steffen Martin
Stephan Frank
Stolz Volker
Strecker Martin
Subramani K.
Sulskus Gintautas
Suzuki Tomoyuki
Taromirad Masoumeh
Thomas Wolfgang
Timm Nils
Tiu Alwen
Tivoli Massimo
Torre Salvatore
Trystram Denis
Tsukada Takeshi
Tuosto Emilio
Törmä Ilkka
Vaandrager Frits
Vanit-Anunchai Somsak
Vekris Dimitris
Ventura Daniel
Vigliotti Maria
Vogel Thomas
Vogler Walter
Wiedermann Jiří
Winter Kirsten
Woeginger Gerhard
Wu Guohua
Wu Xiaowei
Wätzoldt Sebastian
Xu Xian
Yamakami Tomoyuki
Yatapanage Nisansala
Yousefi Behnaz
Yu Ingrid
Zafar Saad
Zantema Hans
Zhang Chenyi
Zohdi Nasab Tahere