Concepedia

Sergiy Bogomolov

SB

Statistics

Publications

19

Citations

567

H-Index

15

Active since

2014

Affiliations

University of Freiburg(Current)

Australian National University

Institute of Science and Technology Austria

University of Basel

King's College London

Sergiy Bogomolov is an author at University of Freiburg specializing in computer science, computing, and formal methods.

Publications per year

2014–2022

19

Publications

19

Proceedings International Conference on Automated Planning and Scheduling, ICAPS

Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli et al. · 2015 · 102 citations

Engineering, Autonomous Systems, Industrial Engineering +14

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14)

Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski et al. · 2014 · 76 citations

Computing, Computer Science, Artificial Intelligence +11

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson · 2015 · 68 citations

Computing, Computer Science, Compilers +14

Planning as model checking in hybrid domains

Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski et al. · edoc (University of Basel) · 2014 · 31 citations · Full text

Computing, Computer Science, Formal Methods +11

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger et al. · 2016 · 30 citations · Full text

Engineering, Computer Engineering, Computer Science +17

1–5 of 19