Follow
Ferdinand Vesely
Ferdinand Vesely
Northeastern University
Verified email at northeastern.edu
Title
Cited by
Cited by
Year
FunKons: Component-based semantics in K
PD Mosses, F Vesely
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
142014
One Step at a Time: A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts
F Vesely, K Fisher
Programming Languages and Systems: 28th European Symposium on Programming …, 2019
52019
Weak bisimulation as a congruence in MSOS
PD Mosses, F Vesely
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
22015
Towards Small-step Compilation Schemas for SOS
F Vesely
on Programming Theory (NWPT 2015), 121, 2015
2015
Visual Analysis of Higher Education in Wales
F Vesely
2011
The system can't perform the operation now. Try again later.
Articles 1–5