dblp.uni-trier.dewww.uni-trier.de

Peter Schachte Vis

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

*2009
22EEKhalid Al-Jasser, Peter Schachte: ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. ACSC 2009: 53-62
21EETrevor Hansen, Peter Schachte, Harald Søndergaard: State Joining and Splitting for the Symbolic Execution of Binaries. RV 2009: 76-92
2008
20EEKevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting: Binary Decision Diagrams for Affine Approximation CoRR abs/0804.0066: (2008)
2007
19EEAmy Beth Corman, Peter Schachte, Vanessa Teague: QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC 2007: 35-40
18EEAmy Beth Corman, Peter Schachte, Vanessa Teague: A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) 2007: 24-29
17EEKhalid Al-Jasser, Peter Schachte, Edmund Kazmierczak: Suitability of Object and Aspect Oriented Languages for Software Maintenance. ASWEC 2007: 117-128
16EEAmy Beth Corman, Peter Schachte, Vanessa Teague: Secure random number agreement for peer-to-peer applications. ICPADS 2007: 1-8
15EEPeter Schachte, Harald Søndergaard: Boolean Approximation Revisited. SARA 2007: 329-343
14EEBrian Herlihy, Peter Schachte, Harald Søndergaard: Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18(2): 227-250 (2007)
2006
13EEAmy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague: A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES 2006: 34-41
12EEBrian Herlihy, Peter Schachte, Harald Søndergaard: Boolean equation solving as graph traversal. CATS 2006: 123-132
11EEMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
10EEPeter Schachte, Harald Søndergaard: Closure Operators for ROBDDs. VMCAI 2006: 1-16
2003
9EEPeter 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
7EEPeter Schachte: Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. Electr. Notes Theor. Comput. Sci. 42: (2001)
1998
6EERoberto 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)