Robert Muller

2008
15	EE	David Swarbreck, Christopher Wilks, Philippe Lamesch, Tanya Z. Berardini, Margarita Garcia-Hernandez, Hartmut Foerster, Donghui Li, Tom Meyer, Robert Muller, Larry Ploetz, Amie Radenbaugh, Shanker Singh, Vanessa Swing, Christophe Tissier, Peifen Zhang, Eva Huala: The Arabidopsis Information Resource (TAIR): gene structure and function annotation. Nucleic Acids Research 36(Database-Issue): 1009-1014 (2008)
2003
14	EE	Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
13	EE	Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
2002
12		J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak: A calculus with polymorphic and polyvariant flow types. J. Funct. Program. 12(3): 183-227 (2002)
2001
11		Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells: Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. ICFP 2001: 14-25
2000
10	EE	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine: Program Representation Size in an Intermediate Language with Intersection and Union Types. Types in Compilation 2000: 27-52
1997
9		Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells: Strongly Typed Flow-Directed Representation Transformations. ICFP 1997: 11-24
8		J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak: A Typed Intermediate Language for Flow-Directed Compilation. TAPSOFT 1997: 757-771
1994
7		Robert Muller: A Staging Calculus and its Application to the Verification of Translators. POPL 1994: 389-396
1993
6		Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller: Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA 1993: 29-46
1992
5	EE	Robert Muller, Yuli Zhou: Abstract Interpretation in Weak Powerdomains. LISP and Functional Programming 1992: 119-126
4	EE	Robert Muller: M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. ACM Trans. Program. Lang. Syst. 14(4): 589-615 (1992)
1991
3		Robert Muller: M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). PEPM 1991: 234-242
1990
2		Yuli Zhou, Robert Muller: Domain Theory for Nonmonotonic Functions. ALP 1990: 144-157
1		Anthony I. Wasserman, Peter A. Pircher, Robert Muller: The Object-Oriented Structured Design Notation for Software Design Representation. IEEE Computer 23(3): 50-63 (1990)

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[13] [14]
2	Tanya Z. Berardini	[15]
3	Kim B. Bruce	[6]
4	Jeffrey Considine	[10]
5	Jonathan Crabtree	[6]
6	Allyn Dimock	[6] [8] [9] [10] [11] [12]
7	Hartmut Foerster	[15]
8	Margarita Garcia-Hernandez	[15]
9	Robert van Gent	[6]
10	Eva Huala	[15]
11	Philippe Lamesch	[15]
12	Donghui Li	[15]
13	Tom Meyer	[15]
14	Thomas P. Murtagh	[6]
15	Peter A. Pircher	[1]
16	Larry Ploetz	[15]
17	Amie Radenbaugh	[15]
18	Shanker Singh	[15]
19	David Swarbreck	[15]
20	Vanessa Swing	[15]
21	Christophe Tissier	[15]
22	Franklyn A. Turbak	[8] [9] [10] [11] [12]
23	Anthony I. Wasserman	[1]
24	J. B. Wells	[8] [9] [10] [11] [12]
25	Ian Westmacott	[10] [11]
26	Christopher Wilks	[15]
27	Peifen Zhang	[15]
28	Yuli Zhou	[2] [5]

Colors in the list of coauthors