Thomas Ferrère
Institute of Science and Technology Austria
H-index: 14
Europe-Austria
Top articles of Thomas Ferrère
Elements of Timed Pattern Matching
ACM Transactions on Embedded Computing Systems
2024
Thomas Ferrère
H-Index: 10
Information-flow interfaces
2022/3/29
Flavors of sequential information flow
2022/1/14
On the complexity of timed pattern matching
2021/8/16
Thomas Ferrère
H-Index: 10
Specifying and detecting temporal patterns with shape expressions
International Journal on Software Tools for Technology Transfer
2021/8
Xin Qin
H-Index: 14
Thomas Ferrère
H-Index: 10
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
International Journal on Software Tools for Technology Transfer
2020/12
Thomas Ferrère
H-Index: 10
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
2020
Véronique Cortier
H-Index: 24
Anuj Dawar
H-Index: 17
Artur Jeż
H-Index: 14
Eduardo Bonelli
H-Index: 7
Roberto Maieli
H-Index: 3
Dana Angluin
H-Index: 27
Orna Kupferman
H-Index: 26
Paul Brunet
H-Index: 7
Anupam Das
H-Index: 2
Robert Harper
H-Index: 4
Yijia Chen
H-Index: 9
Robin Cockett
H-Index: 15
Alessio Mansutti
H-Index: 6
Thomas Ferrère
H-Index: 10
Bernhard Kragl
H-Index: 4
Giulio Guerrieri
H-Index: 11
Jurriaan Rot
H-Index: 11
Tim Lyon
H-Index: 4
Alwen Tiu
H-Index: 15
Ranald Clouston
H-Index: 9
Martin Zimmermann
H-Index: 11
Paweł Parys
H-Index: 11
Robert Passmann
H-Index: 3
Martin Ziegler
H-Index: 25
José Espírito Santo
H-Index: 5
Jonas Schmidt
H-Index: 1
Thomas Schwentick
H-Index: 23
Ioannis Kokkinis
H-Index: 5