출판 An Approach for Solving Systems of Parametric Polynomial Equations Deepak Kapur Principles and Practice of Constraint Programming | April 1995 Principles and Practice of Constraint Programming
출판 The Value, if any, of Decidability Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | February 1995
출판 Parametric program slicing John Field, G. Ramalingam, Frank Tip Proceeding POPL ’95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995
출판 The Bakery Algorithm: Yet Another Specification and Verification Egon Börger, Yuri Gurevich, Dean Rosenzweig 1995 Oxford University Press book, Specification and Validation Methods | January 1995
출판 Markov Chain Algorithms for Planar Lattice Structures Alistair Sinclair, Dana Randall, Michael Luby January 1995
출판 Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
출판 Planning-Based Control of Interface Animation David Kurlander, Daniel T. Ling, Dan Ling MSR-TR-95-21 | January 1995