CUFinder

Thomas Ferrère

About Thomas Ferrère

Thomas Ferrère, With an exceptional h-index of 14 and a recent h-index of 13 (since 2020), a distinguished researcher at Institute of Science and Technology Austria, specializes in the field of Monitoring, Real-time Systems, Temporal Logic, Regular Expressions, Electronic Design Automation.

His recent articles reflect a diverse array of research interests and contributions to the field:

Elements of Timed Pattern Matching

Information-flow interfaces

Flavors of sequential information flow

On the complexity of timed pattern matching

Specifying and detecting temporal patterns with shape expressions

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Thomas Ferrère Information

University

Position

___

Citations(all)

783

Citations(since 2020)

556

Cited By

460

hIndex(all)

14

hIndex(since 2020)

13

i10Index(all)

15

i10Index(since 2020)

15

Email

University Profile Page

Google Scholar

Thomas Ferrère Skills & Research Interests

Monitoring

Real-time Systems

Temporal Logic

Regular Expressions

Electronic Design Automation

Top articles of Thomas Ferrère

Elements of Timed Pattern Matching

ACM Transactions on Embedded Computing Systems

2024

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Information-flow interfaces

2022/3/29

Ezio Bartocci
Ezio Bartocci

H-Index: 28

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Ana Oliveira Da Costa
Ana Oliveira Da Costa

H-Index: 3

Flavors of sequential information flow

2022/1/14

Ezio Bartocci
Ezio Bartocci

H-Index: 28

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Ana Oliveira Da Costa
Ana Oliveira Da Costa

H-Index: 3

On the complexity of timed pattern matching

2021/8/16

Thomas Ferrère
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
Xin Qin

H-Index: 14

Thomas Ferrère
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
Thomas Ferrère

H-Index: 10

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

See List of Professors in Thomas Ferrère University(Institute of Science and Technology Austria)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine