Concepedia

Petr Novotný

PN

12

Publications

782

Citations

11

H-Index

1984

Active since

Affiliations

Institute of Science and Technology Austria(Current)

University of Cambridge

Sharif University of Technology

Indian Institute of Technology Bombay

Masaryk University

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

Top concepts

EngineeringComputer ScienceProbabilityFormal MethodsFormal VerificationProgram AnalysisAutomated ReasoningMathematical ProgrammingStochastic OptimizationEntropy

Publications per year

1984–2018

12

Publications

12

Densities of aqueous solutions of 18 inorganic substances

O. Söhnel, Petr Novotný, Z. Šolc · Journal of Chemical & Engineering Data · 1984 · 367 citations

Engineering, Chemical Analysis, Altmetric Attention Score +17

Stochastic invariants for probabilistic termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić · 2016 · 89 citations

Engineering, Probabilistic Computation, Stochastic Phenomenon +16

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

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný et al. · 2016 · 72 citations

Mathematical Programming, Engineering, Computational Complexity +20

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 citations · Full text

Mathematical Programming, Random Branching, Engineering +21

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

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný et al. · ACM Transactions on Programming Languages and Systems · 2018 · 47 citations

Mathematical Programming, Engineering, Computational Complexity +20

Rows per page

1–5 of 12