کشف منابع
Robin Milner (auth.),Aart Middeldorp,Vincent van Oostrom,Femke van Raamsdonk,Roel de Vrijer (eds.)
Harald König,Michael Löwe (auth.),Adenilso Simao,Carroll Morgan (eds.)
John Rushby (auth.),Rohit Gheyi,David Naumann (eds.)
Christiano Braga,Cássio Santos (auth.),Juliano Iyoda,Leonardo de Moura (eds.)
Christiano Braga,Narciso Martí-Oliet (eds.)
Márcio Cornélio,Bill Roscoe (eds.)
Leila Ribeiro,Thierry Lecomte (eds.)
Simone Cavalheiro,José Fiadeiro (eds.)
Tiago Massoni,Mohammad Reza Mousavi
Gustavo Carvalho,Volker Stolz
Lucas Lima,Vince Molnár
Haniel Barbosa (editor),Yoni Zohar (editor)
Sérgio Campos (editor),Marius Minea (editor)
Michael Fisher
Evert W. Beth
Peter Csaba Ölveczky (auth.)
Nick C. Russell,Wil M. P. van der Aalst (auth.),Kurt Jensen,Jonathan Billington,Maciej Koutny (eds.)
Jos C. M. Baeten,Bas Luttik,Paul van Tilburg (auth.),Maciej Koutny,Irek Ulidowski (eds.)
Wolfgang Grieskamp (editor),Carsten Weise (editor)
Klaus Havelund (editor),Manuel Núnez (editor),Grigore Rosu (editor),Burkhart Wolff (editor)
Yongfeng Yin,Bo Jiang
John Derrick,Jüri Vain
Shengchao Qin
Jim Woodcock,Victor Bandur (auth.),Burkhart Wolff,Marie-Claude Gaudel,Abderrahmane Feliachi (eds.)
