Albert Nymeyer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
c15		Jing Cao, Albert Nymeyer: A Markov Performance Model for Buffered Protocol Design. ISVLSI 2011: 170-175
	2010
c14		Jing Cao, Albert Nymeyer: High-fidelity markovian power model for protocols. DATE 2010: 267-270
c13		Jing Cao, Albert Nymeyer: A Markov Model for Low-Power High-Fidelity Design-Space Exploration. DSD 2010: 115-122
c12		Jing Cao, Albert Nymeyer: The 'Best' Valid Safe Protocol Converter. SSIRI 2010: 237-243
	2009
c11		Jing Cao, Albert Nymeyer: Formal Model of a Protocol Converter. CATS 2009: 107-117
c10		Thang H. Bui, Albert Nymeyer: Formal Verification Based on Guided Random Walks. IFM 2009: 72-87
c9		Thang H. Bui, Albert Nymeyer: Heuristic Sensitivity in Guided Random-Walk Based Model Checking. SEFM 2009: 125-134
c8		Jing Cao, Albert Nymeyer: Formally Synthesising a Protocol Converter: A Case Study. CIAA 2009: 249-252
	2008
c7		Thang H. Bui, Albert Nymeyer: The spin on guided random search in verification. ICST Workshops 2008: 170-177
	2006
j5		Kairong Qian, Albert Nymeyer: Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. Electr. Notes Theor. Comput. Sci. 149(2): 33-49 (2006)
	2005
c6		Kairong Qian, Albert Nymeyer, Steven Susanto: Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE 2005: 275-289
c5		Kairong Qian, Albert Nymeyer, Steven Susanto: Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA 2005: 290-304
	2004
c4		Kairong Qian, Albert Nymeyer: Abstraction-Based Model Checking Using Heuristical Refinement. ATVA 2004: 165-178
c3		Kairong Qian, Albert Nymeyer: Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. TACAS 2004: 497-511
	2003
c2		Albert Nymeyer, Kairong Qian: Heuristic Search Algorithms Based on Symbolic Data Structures. Australian Conference on Artificial Intelligence 2003: 966-979
	2000
j4		Joost-Pieter Katoen, Albert Nymeyer: Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. 238(1-2): 439-464 (2000)
	1997
j3		Albert Nymeyer, Joost-Pieter Katoen: Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Inf. 34(8): 597-635 (1997)
	1996
c1		Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas: Code Generation = A* + BURS. CC 1996: 160-176
	1995
j2		Albert Nymeyer: A Grammatical Specification of Human-Computer Dialogue. Comput. Lang. 21(1): 1-16 (1995)
j1		Albert Nymeyer: Backtracking non-deterministic recognizers. J. Prog. Lang. 3(4) (1995)

Coauthor Index

1	Henk Alblas	[c1]
2	Thang H. Bui	[c10] [c9] [c7]
3	Jing Cao	[c15] [c14] [c13] [c12] [c11] [c8]
4	Joost-Pieter Katoen	[j4] [j3] [c1]
5	Kairong Qian	[j5] [c6] [c5] [c4] [c3] [c2]
6	Steven Susanto	[c6] [c5]
7	Ymte Westra	[c1]

Colors in the list of coauthors

Last update Sun May 26 06:51:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page