Albert Nymeyer

Available identifiers

Publication	Date of Publication	Type
A design methodology for verified web-service mediators	2015-01-26	Paper
Language-emptiness checking of alternating tree automata using symbolic reachability analysis	2013-10-07	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Formal Verification Based on Guided Random Walks	2009-02-24	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Pattern-matching algorithms based on term rewrite systems	2000-08-21	Paper
Code generation based on formal BURS theory and heuristic search	1996-09-25	Paper
A Monte Carlo analysis of the two-dimensional planar and step models	1986-01-01	Paper

This page was built for person: Albert Nymeyer