Concepedia

Author

Petr Novotný

Institute of Science and Technology AustriaORCID

Also Known As

Henzinger, Thomas A., Novotn\'y, Petr, Novotny, Petr, Novotný, Petr, P Novotny, P. Novotny, P. Novotný, Petr Novotny, Petr Novotný

110

Publications

1.1K

Citations

14

H-Index

42

Concepts

All Affiliations

Institute of Science and Technology AustriaUniversity of CambridgeSharif University of TechnologyIndian Institute of Technology BombayMasaryk University
PN

About

Petr Novotný is an author at Institute of Science and Technology Austria specializing in engineering, computer science, and probability theory.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

703

2

Management

1

1

13

3

Natural Sciences

1

1

367

4

Biochemistry

1

1

367

5

Chemistry

1

1

367

Petr Novotný

×

12

Publications

782

Citations

11

H-Index

YearCitations

Densities of aqueous solutions of 18 inorganic substances

O. Söhnel, Petr Novotný, Z. Šolc

Journal of Chemical & Engineering Data

1984

367

Stochastic invariants for probabilistic termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić

2016

89

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný,

2016

72

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs

Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

Proceedings of the ACM on Programming Languages

2017

65

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný,

ACM Transactions on Programming Languages and Systems

2018

47

Gas suction and mass transfer in gas-liquid up-flow ejector loop reactors. Effect of nozzle and ejector geometry

Michal Opletal, Petr Novotný, V. Linek,

Chemical Engineering Journal

2018

32

Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs

Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

arXiv (Cornell University)

2017

30

Stochastic invariants for probabilistic termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić

ACM SIGPLAN Notices

2017

25

The unique value of cardiovascular magnetic resonance in patients with suspected acute coronary syndrome and culprit-free coronary angiograms

Roman Panovský, Júlia Borová, Martin Pleva,

BMC Cardiovascular Disorders

2017

17

Zero-reachability in probabilistic multi-counter automata

Tomǎš Brázdil, Stefan Kiefer, Antonı́n Kučera,

2014

14

Page 1