output
20092026
most citedPolynomial Size Analysis of First-Order Shapely Functions

40 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016Show all

5 papers · 1 filter

cs.PL2016★ 2 cited

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education

Johan Jeuring, Jay McCarthy

This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on…

cs.LO2016★ 3 cited

Games for Bisimulations and Abstraction

David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specificatio…

cs.PL2016★ 1 cited

Data optimizations for constraint automata

Sung-Shik T. Q. Jongmans, Farhad Arbab

Constraint automata (CA) constitute a coordination model based on finite automata on infinite words. Originally introduced for modeling of coordinators, an interesting new applicat…

cs.LO2016

Parity Game Reductions

S. Cranen, J. J. A. Keiren, T. A. C. Willemse

Parity games play a central role in model checking and satisfiability checking. Solving parity games is computationally expensive, among others due to the size of the games, which,…

cs.FL2016★ 2 cited

Corrections to A Menagerie of Timed Automata

Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland

This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent location…