Ferdinand Vesely

According to our database¹, Ferdinand Vesely authored at least 3 papers between 2014 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2019

2015

Weak Bisimulation as a Congruence in MSOS.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

FunKons: Component-Based Semantics in K.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014