Robert Muller

Philippe Lamesch, Tanya Z. Berardini, Donghui Li, David Swarbreck, Christopher Wilks, Rajkumar Sasidharan, Robert Muller, Kate Dreher, Debbie L. Alexander, Margarita Garcia-Hernandez, Athikkattuvalasu S. Karthikeyan, Cynthia H. Lee, William D. Nelson, Larry Ploetz, Shanker Singh, April Wensel, Eva Huala: The Arabidopsis Information Resource (TAIR): improved gene annotation and new tools. Nucleic Acids Research 40(Database-Issue): 1202-1210 (2012)

Alexis Paolo García Ariza, Martin Bachhuber, Robert Weigel, Tim Fuss, Rudolf Zetik, Guowei Shen, Robert Muller, Reiner S. Thomä: Ultrawideband Channel Sounding within an Airbus 319. VTC Fall 2010: 1-5

Alexis Paolo García Ariza, W. A. Th. Kotterman, Rudolf Zetik, Martin Kmec, Uwe Trautwein, Robert Muller, Frank Wollenschlager, Reiner S. Thomä: 60 GHz-Ultrawideband Real-Time Multi-Antenna Channel Sounding for Multi Giga-Bit/s Access. VTC Fall 2010: 1-6

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)

Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97

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)

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

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

Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells: Strongly Typed Flow-Directed Representation Transformations. ICFP 1997: 11-24

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak: A Typed Intermediate Language for Flow-Directed Compilation. TAPSOFT 1997: 757-771

Robert Muller: A Staging Calculus and its Application to the Verification of Translators. POPL 1994: 389-396

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

Robert Muller: M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. ACM Trans. Program. Lang. Syst. 14(4): 589-615 (1992)

Robert Muller, Yuli Zhou: Abstract Interpretation in Weak Powerdomains. LISP and Functional Programming 1992: 119-126

Robert Muller: M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). PEPM 1991: 234-242

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)

Yuli Zhou, Robert Muller: Domain Theory for Nonmonotonic Functions. ALP 1990: 144-157