David J. Musliner

	2011
23		Christopher A. Miller, Tyler H. Shaw, Joshua D. Hamell, Adam Emfield, David J. Musliner, Ewart de Visser, Raja Parasuraman: Delegation to Automation: Performance and Implications in Non-optimal Situations. HCI (21) 2011: 322-331
	2010
22		David J. Musliner, Robert P. Goldman: Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops 2010: 282-286
	2008
21		George Alexander, Anita Raja, David J. Musliner: Controlling deliberation in a Markov decision process-based agent. AAMAS (1) 2008: 461-468
	2006
20		Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray: AAAI 2006 Spring Symposium Reports. AI Magazine 27(3): 107-112 (2006)
19		David J. Musliner, Michael J. S. Pelican, Robert P. Goldman: Incremental Verification for On-the-Fly Controller Synthesis. Electr. Notes Theor. Comput. Sci. 149(2): 71-90 (2006)
	2005
18		David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach: Deliberation scheduling strategies for adaptive mission planning in real-time environments. Metacognition in Computation 2005: 98-105
	2004
17		Robert P. Goldman, Michael J. S. Pelican, David J. Musliner: Guiding Planner Backjumping Using Verifier Traces. ICAPS 2004: 279-286
	2003
16		David J. Musliner: CIRCADIA Demonstration: Active Adaptive Defense. DISCEX (2) 2003: 30-31
15		Vu A. Ha, David J. Musliner: Balancing Safety Against Performance: Tradeoffs in Internet Security. HICSS 2003: 205
14		Håkan L. S. Younes, David J. Musliner, Reid G. Simmons: A Framework for Planning in Continuous-time Stochastic Domains. ICAPS 2003: 195-204
	2002
13		Robert P. Goldman, David J. Musliner, Michael J. S. Pelican: Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC 2002: 225-238
	2001
12		Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach: Managing Online Self-adaptation in Real-Time Environments. IWSAS 2001: 6-23
11		Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
	2000
10		David J. Musliner, Robert P. Goldman, Michael J. S. Pelican: Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA 2000: 95-101
9		David J. Musliner: Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. IWSAS 2000: 143-160
8		David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang: Reports on the AAAI Spring Symposia (March 1999). AI Magazine 21(2): 79-84 (2000)
	1997
7		Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy: Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686
	1996
6		Robert C. Kohout, James A. Hendler, David J. Musliner: Guaranteeing Safety in Spatially Situated Agents. AAAI/IAAI, Vol. 2 1996: 909-914
5		David J. Musliner, Christopher A. Miller: Agent and Task Modeling at Honeywell. Agent Modeling 1996: 112-
	1995
4		David J. Musliner, Edmund H. Durfee, Kang G. Shin: World Modeling for the Dynamic Construction of Real-Time Control Plans. Artif. Intell. 74(1): 83-127 (1995)
3		David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, C. J. Paul: The Challenges of Real-Time All. IEEE Computer 28(1): 58-66 (1995)
	1994
2		David J. Musliner: Using Abstraction and Nondeterminism to Plan Reaction Loops. AAAI 1994: 1036-1041
	1992
1		David J. Musliner, James W. Dolter, Kang G. Shin: BIBDB: A Bibliographic Database for Collaboration. CSCW 1992: 386-393

Coauthor Index

1	Andreas Abecker	[20]
2	Ashok K. Agrawala	[3]
3	Rachid Alami	[20]
4	George Alexander	[21]
5	Chitta Baral	[20]
6	Timothy W. Bickmore	[20]
7	Gautam Biswas	[8]
8	Mark S. Boddy	[7]
9	Darren D. Cofer	[11]
10	Wolff Dobson	[8]
11	James W. Dolter	[1]
12	Edmund H. Durfee	[3] [4] [20]
13	Adam Emfield	[23]
14	Eric Engstrom	[11]
15	Terrence Fong (Terry Fong)	[20]
16	Giuseppina C. Gini	[8]
17	Kai Goebel	[8]
18	Mehmet H. Göker	[20]
19	Robert P. Goldman	[7] [10] [11] [12] [13] [17] [18] [19] [22]
20	Nancy Green	[20]
21	Vu A. Ha	[15]
22	Joshua D. Hamell	[23]
23	James A. Hendler (Jim Hendler)	[3] [6]
24	Sven Koenig	[8]
25	Robert C. Kohout	[6]
26	Kurt D. Krebsbach	[7] [12] [18]
27	Christian Lebiere	[20]
28	Mark Liberman	[20]
29	James H. Martin	[20]
30	Sheila A. McIlraith	[8]
31	Gregoris Mentzas (Gregory Mentzas)	[20]
32	Christopher A. Miller	[5] [23]
33	Nicolas Nicolov	[20]
34	Illah R. Nourbakhsh	[20]
35	Raja Parasuraman	[23]
36	C. J. Paul	[3]
37	Michael J. S. Pelican	[10] [13] [17] [19]
38	Barney Pell	[8]
39	Anita Raja	[21]
40	Franco Salvetti	[20]
41	Debbie Schrekenghost	[20]
42	Daniel G. Shapiro	[20]
43	Tyler H. Shaw	[23]
44	Amit P. Sheth	[20]
45	Kang G. Shin	[1] [4]
46	Reid G. Simmons	[14]
47	Ljiljana Stojanovic	[20]
48	Jay K. Strosnider	[3]
49	Vytas SunSpiral	[20]
50	Steve Vestal	[11]
51	Ewart de Visser	[23]
52	Robert E. Wray	[20]
53	Håkan L. S. Younes	[14]
54	Weixiong Zhang	[8]
55	Shlomo Zilberstein	[8]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page