Concepedia

Author

Ondřej Rypáček

King's College London

Also Known As

Ondrej Rypacek, Ondřej Rypáček

5

Publications

20

Citations

2

H-Index

10

Concepts

All Affiliations

King's College London
OR

About

Ondřej Rypáček is an author at King's College London specializing in program analysis, formal methods, and computational complexity.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

15

2

Computer Science

1

1

15

3

Combinatorial Optimization

1

1

15

4

Software Analysis

1

1

15

5

Automated Reasoning

1

1

15

Ondřej Rypáček

×

1

Publications

15

Citations

1

H-Index

YearCitations

An Investigation of the Laws of Traversals

Mauro Jaskelioff, Ondřej Rypáček

Electronic Proceedings in Theoretical Computer Science

2012

15

Page 1