Morgan Deters

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EEMichael Zeller, Aaron Stump, Morgan Deters: Signature Compilation for the Edinburgh Logical Framework. Electr. Notes Theor. Comput. Sci. 196: 129-135 (2008)
5EEClark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump: Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). International Journal on Artificial Intelligence Tools 17(4): 569-606 (2008)
4EETobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron: Static determination of allocation rates to support real-time garbage collection. LCTES 2005: 193-202
3EEMorgan Deters, Nicholas A. Leidenfrost, Matthew P. Hampton, James C. Brodman, Ron Cytron: Automated Reference-Counted Object Recycling for Real-Time Jav. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 424-433
2EEMorgan Deters, Ron Cytron: Automated discovery of scoped memory regions for real-time Java. MSP/ISMM 2002: 132-142
1EESteven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi: Storage Allocation for Real-Time, Embedded Systems. EMSOFT 2001: 131-147

Coauthor Index

1Clark W. Barrett (Clark Barrett) [5]
2James C. Brodman [3]
3Ron Cytron (Ron K. Cytron) [1] [2] [3] [4]
4Steven M. Donahue [1]
5Matthew P. Hampton [1] [3]
6Krishna M. Kavi [1]
7Rob LeGrand [4]
8Nicholas A. Leidenfrost [3]
9Tobias Mann [4]
10Jonathan M. Nye [1]
11Albert Oliveras [5]
12Aaron Stump [5] [6]
13Michael Zeller [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)