Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
Finite Automata, Digraph Connectivity, and Regular Expression Size
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
The Böhm---Jacopini Theorem Is False, Propositionally
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Optimal lower bounds on regular expression size using communication complexity
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Translating flowcharts to non-deterministic languages
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
| Hi-index | 0.00 |