ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
Program
Complete Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Co-hosted Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019
Organizing Committee
Steering Committee
Executive Board
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Organizing Committee
Posters
Organizers
TOOLympics
Organizers
Workshops
Organizing Committee
Contributors
People Index
Co-hosted Conferences
ESOP
ESOP 2019
Program Committee
FASE
FASE 2019
Program Committee
FOSSACS
FOSSACS 2019
Invited Speaker
FOSSACS 2019
Program Committee
POST
POST 2019
Program Committee
TACAS
TACAS 2019
Program Committee
TACAS 2019
Artifact Evaluation Committee
TACAS 2019
Steering Committee
Co-hosted Workshops
BEHAPI
BEHAPI
Organizing Committee
BEHAPI
Program Committee
CREST
CREST
Invited Speakers
CREST
Program Committee
DICE-FOPARA
DICE-FOPARA
Program Committee
DICE-FOPARA
Steering Committe (FOPARA)
DICE-FOPARA
Steering Committee (DICE)
GaLoP
GaLoP
Program Committee
GaLoP
Steering Committee
HCVS
HCVS
Invited Speakers
HCVS
Organizing Committee
HCVS
Program Committee
HSB
HSB
Organizing Committee
HSB
Program Committee
InterAVT
InterAVT
Organizing Committee
InterAVT
Program Committee
LiVe
LiVe
Program Committee
MeTRiD
MeTRiD
Organizing Committee
MeTRiD
Program Committee
PERR
PERR
Organizing Committee
PERR
Program Committee
PLACES
PLACES
Organizing Committee
PLACES
Program Committee
QAPL
QAPL
Organizing Committee
QAPL
Steering Committee
SPIoT
SPIoT
Organizing Committee
SPIoT
Program Committee
SYNT Camp
SYNT Camp
Organizing Committee
SYNT Camp
Program Committee
SynCoP
SynCoP
Organizing Committee
SynCoP
Steering Committee (and PC)
VerifyThis
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Gianfranco Ciardo
ETAPS 2019 profile
conf.research.org general profile
Not registered as user yet
Name:
Gianfranco Ciardo
Contributions
TACAS 2019
Author of Edge-Specified Reduction Binary Decision Diagrams within the TACAS 2019-track
Author of iRank: a variable order metric for DEDS subject to linear invariants within the TACAS 2019-track
Show activities from other conferences
Share
Using general profile
x
Wed 24 Apr 00:57