Peter Schachte

2009
21	EE	Khalid Al-Jasser, Peter Schachte: ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. ACSC 2009: 53-62
2008
20	EE	Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting: Binary Decision Diagrams for Affine Approximation CoRR abs/0804.0066: (2008)
2007
19	EE	Amy Beth Corman, Peter Schachte, Vanessa Teague: QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC 2007: 35-40
18	EE	Amy Beth Corman, Peter Schachte, Vanessa Teague: A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) 2007: 24-29
17	EE	Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak: Suitability of Object and Aspect Oriented Languages for Software Maintenance. ASWEC 2007: 117-128
16	EE	Amy Beth Corman, Peter Schachte, Vanessa Teague: Secure random number agreement for peer-to-peer applications. ICPADS 2007: 1-8
15	EE	Peter Schachte, Harald Søndergaard: Boolean Approximation Revisited. SARA 2007: 329-343
14	EE	Brian Herlihy, Peter Schachte, Harald Søndergaard: Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18(2): 227-250 (2007)
2006
13	EE	Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague: A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES 2006: 34-41
12	EE	Brian Herlihy, Peter Schachte, Harald Søndergaard: Boolean equation solving as graph traversal. CATS 2006: 123-132
11	EE	Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
10	EE	Peter Schachte, Harald Søndergaard: Closure Operators for ROBDDs. VMCAI 2006: 1-16
2003
9	EE	Peter Schachte: Sequence Quantification. PADL 2003: 128-144
8		Peter Schachte: Precise goal-independent abstract interpretation of constraint logic programs. Theor. Comput. Sci. 293(3): 557-577 (2003)
2001
7	EE	Peter Schachte: Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. Electr. Notes Theor. Comput. Sci. 42: (2001)
1998
6	EE	Roberto Bagnara, Peter Schachte: Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST 1998: 471-485
5		Roberto Bagnara, Peter Schachte: Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE 1998: 227-240
4		Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard: Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31(1): 3-45 (1998)
1997
3		Peter Schachte: Global Variables in Logic Programming. ICLP 1997: 3-17
1995
2		Peter Schachte, Georges Saab: Efficient Object-Oriented Programming in Prolog. Logic Programming: Formal Methods and Practical Applications 1995: 205-243
1994
1		Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard: Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS 1994: 266-280

Coauthor Index

1	Khalid Al-Jasser	[17] [21]
2	Tania Armstrong	[1] [4]
3	Roberto Bagnara	[5] [6]
4	Michael Codish	[11]
5	Amy Beth Corman	[13] [16] [18] [19]
6	Scott Douglas	[13]
7	Kevin Henshall	[20]
8	Brian Herlihy	[12] [14]
9	Edmund Kazmierczak	[17]
10	Vitaly Lagoon	[11]
11	Kim Marriott	[1] [4]
12	Georges Saab	[2]
13	Harald Søndergaard	[1] [4] [10] [12] [14] [15] [20]
14	Peter J. Stuckey	[11]
15	Vanessa Teague	[13] [16] [18] [19]
16	Leigh Whiting	[20]

Colors in the list of coauthors