Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Danel Ahman
Map detail
Danel Ahman6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDanel AhmanADanel AhmanResearcherRunners in actionWRunners in actionpreprint / 2020Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMsWConstraint-Based Heuris...preprint / 2012When is a container a comonad?WWhen is a container a c...preprint / 2014Directed Containers as CategoriesWDirected Containers as ...preprint / 2016A simple formalization of alpha-equivalenceWA simple formalization ...preprint / 2026
Person5 links

Danel Ahman

Researcher