Peter Mataga

Publication Activity (10 Years)

Years Active: 1994-2000
Publications (10 Years): 0

Publications

Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor
. Bell Labs Tech. J. 5 (3) (2000)
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3 (2) (2000)
Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. Tripp
language. Bell Labs Tech. J. 5 (2) (2000)
Glenn Bruns, Peter Mataga, Ian Sutherland
Features as Service Transformations. FIW (1998)
Thomas Ball, Peter Mataga, Shmuel Sagiv
Edge Profiling versus Path Profiling: The Showdown. POPL (1998)
David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor
Experience with a Domain Specific Language for Form-based Services. DSL (1997)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22 (6) (1996)
Peter Mataga, Pamela Zave
Using Z to specify telephone features. Inf. Softw. Technol. 37 (5-6) (1995)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE (1995)
Peter Mataga, Pamela Zave
Formal Specification of Telephone Features. Z User Workshop (1994)