Albert Nymeyer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A design methodology for verified web-service mediators Computing	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 Lecture Notes in Computer Science	2009-08-07	Paper
Formal Verification Based on Guided Random Walks Lecture Notes in Computer Science	2009-02-24	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Pattern-matching algorithms based on term rewrite systems Theoretical Computer Science	2000-08-21	Paper
Code generation based on formal BURS theory and heuristic search Acta Informatica	1996-09-25	Paper
A Monte Carlo analysis of the two-dimensional planar and step models Journal of Physics A: Mathematical and General	1986-01-01	Paper

Research outcomes over time

This page was built for person: Albert Nymeyer