Author Info
Name
Affiliation
Papers
FILIP KONEČNÝ
Verimag, Grenoble, France,Brno University of Technology, Czech Republic
6
Collaborators
Citations 
PageRank 
14
83
3.78
Referers 
Referees 
References 
132
130
83
Search Limit
100132
Title
Citations
PageRank
Year
Real-time telemetric physiologic recordings of ventricle pressure-volume in an awake swine model with histopathological evaluation00.342015
Deciding conditional termination120.632013
Underapproximation of procedure summaries for integer programs40.432013
Accelerating interpolants90.502012
Fast acceleration of ultimately periodic relations361.092010
Automatic Verification of Integer Array Programs220.792009