2009,
2008,
2007,
2006,
2005,
2004,
2003,
2002,
2001,
2000,
1999,
1998,
1997,
1996,
1995,
1994,
1993,
1992,
1991,
1990
Go back to Maveric home page index.
Updated August 14, 2008
2009
Predictable Semiautomata,
Theoretical Computer Science
to appear.
State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
Theoretical Computer Science
to appear.
Languages Convex with respect to Binary Relations, and Their Closure Properties,
Acta Cybernetica
to appear
2008
Go to the top of this document.
Determinism without Determinization,
Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems,
pp. 109-120,
July 2008.
State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems,
pp. 97-108, July 2008.
Continuous Languages,
Proceedings of the 12th International Conference on Automata and Formal Languages,
E. Csuhaj-Varju and Z. Esik, eds.,
Computer and Information Research Institute,
Hungarian Academy of Sciences,
pp. 74-85,
May 2008.
Decision Procedures for Convex Languages,
Preprint,
22 pp., August 14, 2008.
Continuous Languages,
Technical Report CS-2008-06
David R. Cheriton School of Computer Science
University of Waterloo
March 12, 2008.
State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length,
Technical Report CS-2008-05
David R. Cheriton School of Computer Science
University of Waterloo
March 11, 2008.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go to the top of this document.
Go back to Maveric home page index.
Go to the top of this document.
Go back to Maveric home page index.
Go to the top of this document.
Go back to Maveric home page index.
Go to the top of this document.
Go back to Maveric home page index.
Go to the top of this document.
Go back to Maveric home page index.
Go to the top of this document.
Go back to Maveric home page index.
2007
Representations of Semiautomata by Canonical Words and Equivalences,
Part II: Specification of Software Modules,
Int. J. Foundations of Computer Science,
Vol. 18, Issue 5, pp. 1065-1087, October 2007.
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras,
Proceedings 37th International Symposium on Multiple-Valued Logic,
Oslo, Norway,
May 14-15, 2007.
Predictable Semiautomata,
Technical Report CS-2007-03
David R. Cheriton School of Computer Science
University of Waterloo
February 27, 2007.
2006
Covering of Transient Simulation of Feedback-Free Circuits by Binary Analysis,
Int. J. Foundations of Computer Science,
Vol. 17, No. 4, pp. 949-973, August 2006.
Topics in Asynchronous Circuit Theory,
in
Recent Advances in Formal Languages and Applications,
Studies in Computational Intelligence, Vol. 25,
Z. Esik, C. Martin-Vide, and V. Mitrana, eds.,
Springer,
2006.
Representation of a Class of Nondeterministic Semiautomata by Canonical Words,
Theoretical Computer Science,
Vol. 356, pp. 46-57, 2006.
Gate Circuits with Feedback in Finite Algebras of Transients,
Maveric Research Report 2006-1,
September 27, 2006.
pdf
2005
Representation of Semiautomata by Canonical Words and Equivalences,
Int. J. Foundations of Computer Science,
Vol. 16, No. 5, pp. 831-850, 2005.
Gate Circuits in the Algebra of Transients,
Theoretical Informatics and Applications,
Vol. 39, No. 1, pp. 67-91, January - March, 2005.
Representation of a Class of Nondeterministic Semiautomata by Canonical Words,
Maveric Research Report CS-2005-02,
School of Computer Science,
University of Waterloo, Waterloo, ON, Canada.
July 14, 2005.
pdf
Covering of Transient Simulation of Feedback-Free Circuits by Binary Analysis,
Maveric Research Report CS-2005-01,
School of Computer Science,
University of Waterloo, Waterloo, ON, Canada.
June 24, 2005.
pdf
2004
Duality for Three: Ternary Symmetry in Process Spaces,
pp. 1-14 in
Theory is Forever,
Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday,
J. Karhumaki, H. Maurer, G. Paun, and G. Rozenberg, eds.,
LNCS 3113, Springer, 2004.
Involuted Semilattices and Uncertainty in Ternary Algebras,
International Journal of Algebra and Computation,
Vol. 14, No. 3, pp. 295-310, 2004.
Representation of Semiautomata by Canonical Words and Equivalences,
Descriptional Complexity of Formal Systems,
6th Workshop,
L.~Ilie and D.~Wotschke, eds.,
Report No.~619, Department of Computer Science,
University of Western Ontario, London, ON, Canada,
pp. 13-27, July 26-28, 2004.
pdf
or
ps.gz
Invited paper.
See also Technical Report CS-2004-30 below.
Theory of Deterministic Trace-Assertion Specifications,
Technical Report CS-2004-30,
School of Computer Science,
University of Waterloo, Waterloo, ON, Canada.
May 2004.
pdf or ps.gz
2003
Decomposition of Boolean Functions Specified by Cubes,
Journal of Multiple-Valued Logic and Soft Computing
vol. 9, pp. 377-417, 2003.
Simulation of Feedback-Free Circuits in the Algebra of Transients,
Int. J. Foundations of Computer Science,
vol. 14, no. 6, pp. 1033-1054, December 2003.
Hazard Algebras,
Formal Methods in System Design,
vol. 23, issue 3, pp. 223-256, November 2003.
True Concurrency in Models of Asynchronous Circuit Behavior,
Formal Methods in System Design,
vol. 22, issue 3, pp. 183-203, May 2003.
Algebras for Hazard Detection,
Beyond Two - Theory and Applications of Multiple-Valued Logic,
M. Fitting and E. Orlowska, eds.,
Physica-Verlag, Heidelberg
pp. 3-24, 2003.
(Reprinted from ISMVL 2001)
vol. 2608, pp. 106-116, June 2003.
Feedback-Free Circuits in the Algebra of Transients,
Implementation and Application of Automata,
J.-M. Champarnaud and D. Maurel, eds.,
(Revised papers from CIAA 2002, Tours, France, July 2002)
Springer Lecture Notes in Computer Science,
Copyright Springer-Verlag
pdf
Simulation of Gate Circuits in the Algebra of Transients,
Implementation and Application of Automata,
J.-M. Champarnaud and D. Maurel, eds.,
(Revised papers from CIAA 2002, Tours, France, July 2002)
Springer Lecture Notes in Computer Science,
Copyright Springer-Verlag
pdf
Trace-Assertion Specifications of Deterministic Software Modules,
Maveric Research Report 03-1
School of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
28 pp., September 26, 2003, revised October 26, 2003.
ps.gz
or
pdf
NOTE: This report has been superseded by Technical Report CS-2004-30 above.
2002
A Framework for Testing Special-Purpose Memories,
IEEE Transactions on Computer-Aided Design,
Vol. 21, No. 12, pp. 1459-1468, December 2002.
Feedback-Free Circuits in the Algebra of Transients,
Pre-Proceedings of the
7th Int. Conf. on Implementation and Application of Automata (CIAA),
University of Tours, Tours, France,
July 3 - 5, 2002.
Copyright Springer-Verlag
ps.gz
or
pdf
Simulation of Gate Circuits in the Algebra of Transients,
Pre-Proceedings of the
7th Int. Conf. on Implementation and Application of Automata (CIAA),
University of Tours, Tours, France,
July 3 - 5, 2002.
Copyright Springer-Verlag
ps.gz
or
pdf
Partially Ordered Structures for Hazard Detection,
Special Session: The Many Lives of Lattice Theory,
Joint Mathematics Meetings,
San Diego, CA, January 6-9, 2002. (Invited Paper)
Abstract and Bibliography, 6 pp.
ps.gz
or
pdf
Feedback-Free Circuits in the Algebra of Transients,
Maveric Research Report 02-3
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
10 pp., April 9, 2002.
ps.gz
or
pdf
Simulation of Gate Circuits in the Algebra of Transients,
Maveric Research Report 02-2
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
10 pp., April 9, 2002.
ps.gz
or
pdf
Involuted Semilattices and Uncertainty in Ternary Algebras,
Maveric Research Report 02-1
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
21 pp., February 2002.
ps.gz
or
pdf
2001
Hazard Algebras, pp. 1-19 in
Half Century of Automata Theory,
A. Salomaa, D. Wood, and S. Yu, eds.,
World Scientific, Singapore, 2001.
A Characterization of De Morgan Algebras,
International Journal of Algebra and Computation,
Vol. 11, No. 5, pp. 525-527, October 2001.
Algebras for Hazard Detection,
31st IEEE International Symposium on Multiple-Valued Logic,
Warsaw, Poland, May 22 - 24, 2001,
IEEE Computer Society, 2001.
Read the abstract
ps.gz
or
pdf
Circuit Simulation Using a Hazard Algebra,
MMath Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
December 2001.
(Supervised by J. A. Brzozowski)
Read the abstract
ps.gz
or
pdf
Hazard Algebras,
Maveric Research Report 00-2,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
27 pp., July 2000;
REVISED December 11, 2001.
Read the abstract
ps.gz
or
pdf
Free De Morgan Bisemigroups and Bisemilattices,
Maveric Research Report 01-1,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
10 pp., January 2001.
Read the abstract
ps.gz
or
pdf
Delay-Insensitivity and Ternary Simulation,
Theoretical Computer Science,
Vol. 245, Issue 1, pp. 3-25, 17 August 2000.
Delay-Insensitivity and Semi-Modularity,
Formal Methods in System Design,
Vol. 16, No. 2, pp. 187-214, March 2000.
Automata of Asynchronous Behaviors,
Theoretical Computer Science,
Vol. 231, Issue 1, pp. 113-128, 17 January 2000.
Special issue based on WIA97.
See also 1998 Journal Papers and Contributions to Books,
and 1997 Conference Papers.
Hazard Algebras (extended abstract)
Half Century of Automata Theory
London, ON, July 26, 2000,
Proceedings to be published by
World Scientific Publishing Co. Pte. Ltd.
Read the abstract
Download this report (compressed postscript).
De Morgan Bisemilattices,
30th IEEE International Symposium on Multiple-Valued Logic,
Portland, Oregon, May 23 - 25, 2000,
pp. 173-178,
IEEE Computer Society, 2000.
Composing snippets,
ASYNC 2000,
Eilat, Israel, April 2-6, 2000
Dowload this report as
compressed postscript,
pdf.
A Formal Framework for Modeling and Testing Memories,
PhD Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
January 2000.
(Supervised by J. A. Brzozowski)
Read the abstract
Download this report (compressed postscript).
Hazard Algebras,
Maveric Research Report 00-2,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
27 pp., July 2000; REVISED December 11, 2001.
Read the abstract
Download this report (compressed postscript).
De Morgan Bisemilattices,
Maveric Research Report 00-1,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
12 pp., January 2000.
Read the abstract
Download this report (compressed postscript).
1999
"J. A. Brzozowski and H. Jurgensen,
An Algebra of Multiple Faults in RAMs,
Journal of Electronic Testing: Theory and Applications,
Vol. 8, No. 2, pp. 129-142, April 1996."
Journal of Electronic Testing: Theory and Applications,
Vol. 14, No. 3,
pp. 305-306, June 1999.
Download this report (compressed postscript).
March 1999.
Semilattices of Fault Semiautomata,
pp. 3-15 in
Jewels are Forever,
J. Karhumaki, H. Maurer, G. Paun and G. Rozenberg, eds.,
Springer-Verlag, Berlin,
1999.
Blanket Algebra for Multiple-Valued Function Decomposition,
pp. 262-276 in
Algebraic Engineering ,
C. L. Nehaniv and M. Ito, eds.,
World Scientific Publishing Co. Pte. Ltd.,
1999.
Some Applications of Ternary Algebras,
Publicationes Mathematicae (Debrecen).
Vol. 54, Supplement, pp. 583-589, 1999.
Read the abstract
Download this report (compressed postscript).
A Generalization of Shestakov's Function Decomposition Method,
29th IEEE International Symposium on Multiple-Valued Logic,
Freiburg, Germany, May 20 - 22, 1999,
pp. 66-71,
IEEE Computer Society, 1999.
Modeling and Testing Transistor Faults in Content-Addressable Memories,
1999 IEEE International Workshop on Memory Technology, Design and Testing,
San Jose, CA, August 9 -10, 1999.
pp. 83-90.
Read the abstract
.
Download this paper
REVISED July 11, 1999
.
ECF Processes and Asynchronous Circuit Design,
PhD Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
August 1999.
(Supervised by J. C. Ebergen)
Download this report
compressed postscript ,
pdf .
Modeling and Optimization of CMOS Logic Circuits with Application to
Asynchronous Design,
PhD Thesis,
Department of Electrical and Computer Engineering,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
May 1999.
(Co-supervised by J. C. Ebergen and M. I. Elmasry)
Download this report (compressed postscript).
True Concurrency in Models of Asynchronous Circuit Behavior,
MMath Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
January 1999.
(Supervised by J. A. Brzozowski)
Download this report (compressed postscript).
A Characterization of De Morgan Algebras,
Maveric Research Report 99-2,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
4 pp., September 1999.
Download this report (compressed postscript).
Evaluating Tests for Input Stuck-at Faults in Word-Oriented Static Random-Access Memories,
Research Report CS-99-05,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
25 pp., March 1999.
Read the abstract
Download this report (compressed postscript)
Semilattices of Fault Semiautomata,
Maveric Research Report 99-1,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
January 1999.
Read the abstract
Download this report (compressed postscript).
1998
,
A Characterization of Signed Hypergraphs and
Its Applications
to VLSI Minimization and Logic Synthesis,
Discrete Applied Mathematics,
Vol. 89, No. 1-3, December 1998.
Automata of Asynchronous Behaviors,
pp. 29-45 in D. Wood and S. Yu, eds.,
"Automata Implementation",
(Second International Workshop on Implementing Automata (WIA97)
London, Ontario, Canada, September 18-20, 1997: REVISED PAPERS)
Lecture Notes in Computer Science, LNCS 1436
Springer, Berlin, 1998.
Cluster-Cover: A Theoretical Framework for a Class
of VLSI-CAD Optimization Problems,
ACM Trans. on Design Automation of Electronic Systems,
Vol. 3, No. 1, pp. 76-107, January 1998.
Relative Liveness: From Intuition to Automated Verification
Formal Methods in System Design,
Vol. 12, No. 1, pp. 73-115, January 1998.
Verification of CAM Tests for Input Stuck-at Faults,
1998 IEEE International Workshop on Memory Technology, Design and Testing,
San Jose, CA, August 24 - 25, 1998. pp. 76-82.
Read the abstract
.
Download this paper;
minor revision September 3, 1998
.
An Approach to Modeling and Testing Memories and its Application to CAMs,
16th IEEE VLSI Test Symposium ,
Monterey, CA, April 27 - 30, 1998, pp. 411-416.
Read the abstract.
Download this paper.
Predicting Performance of Micropipelines Using Charlie Diagrams,
Fourth International Symposium on Advanced Research in Asynchronous
Circuits and Systems, ASYNC '98,
San Diego, CA, March 30 - April 2, 1998.
Verification of Speed-Dependences in Single-Rail Handshake Circuits,
Fourth International Symposium on Advanced Research in Asynchronous
Circuits and Systems (ASYNC '98),
San Diego, CA, March 30 - April 2, 1998, pp. 159-170.
Read the abstract.
Download this paper.
Event-Driven Verification of Switch-Level Correctness Concerns,
International Conference on Application of Concurrency
to System Design (CSD '98),
Aizu-Wakamatsu City, Fukushima, Japan, March 23 - 26, 1998, pp. 213-223.
Read the abstract.
Download this paper.
Performance Analysis of Asynchronous Networks,
PhD Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
July 1998.
(Supervised by J. C. Ebergen)
Read the abstract
Download this report (compressed postscript).
Decompositions of Multi-Valued Functions,
MMath Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
August 1998.
(Supervised by J. A. Brzozowski)
Read the abstract
Download this report (compressed postscript).
Process Spaces and Formal Verification of Asynchronous Circuits,
PhD Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada, N2L 3G1,
August 1998.
(Supervised by J. A. Brzozowski)
Read the abstract
Download this report (compressed postscript).
Delay-Insensitivity and True Concurrency,
Maveric Research Report,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
November 1998. Revised April 1999.
Read the abstract
Download this report (compressed postscript).
J. A. Brzozowski and T. Luba,
Part I: Theory of Serial Decompositions Using Blankets;
M. Nowicka and T. Luba,
Part II: Practical Results.
These papers represent a very major revision of an earlier
technical report.
Much new material has been added, and the presentation has
been improved.
Research Report CS-97-01 REVISED
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
October 1998.
Read the abstract
Download Part I (compressed postscript).
Read the abstract
Download Part II (compressed postscript).
Delay-Insensitivity and Semi-Modularity,
Research Report CS-97-11,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
23 pp., March 1997. REVISED, 27 pp., July 1998.
Read the abstract
Download this report (compressed postscript).
A Formalization of Shestakov's Decomposition,
Research Report CS-98-03,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
19 pp., February 1998.
Read the abstract
Download this report (compressed postscript)
Testing for Input Stuck-at Faults in Content-Addressable Memories,
Research Report CS-98-02,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
37 pp., April 1998; minor revision, September 3, 1998.
Read the abstract
Download this report (compressed postscript)
1997
A Characterization of Finite Ternary Algebras,
International Journal of Algebra and Computation,
Vol. 7, No. 6,
pp. 713-721,
1997.
Testing for Bounded Faults in RAMs,
Journal of Electronic Testing: Theory and Applications,
Vol. 10, No. 3,
pp. 197-214,
June 1997.
A Technique for Finding and Verifying Speed-Dependences in
Gate Circuits,
1997 ACM/IEEE International Workshop on Timing Issues
in the Specification
and Synthesis of Digital Systems,
Austin, Texas, December 4-5, 1997, pp. 189-198.
Read the abstract
Download the report (compressed postscript).
Response Time Properties of Asynchronous Linear Pipelines,
1997 ACM/IEEE International Workshop on Timing Issues
in the Specification
and Synthesis of Digital Systems,
Austin, Texas, December 4-5, 1997.
Read the abstract
Download this report (compressed postscript).
Automata of Asynchronous Behaviors,
Second International Workshop on Implementing Automata (WIA97),
London, Ontario, Canada, September 18-20, 1997
Participants' Proceedings, pp. 77-88 (invited paper).
Read the abstract
See also 1998 Journal Papers and Contributions to Books above.
Response Time Properties of Some Asynchronous Circuits,
Third International Symposium on Advanced Research in Asynchronous
Circuits and Systems, ASYNC '97
,
Eindhoven, The Netherlands, April 7-10, 1997.
Read the abstract
Download this report (compressed postscript).
Delay-Insensitivity and Ternary Simulation,
First International Conference on
Semigroups
and Algebraic Engineering,
Aizu-Wakamatsu City, Japan, March 24-28, 1997.
(invited paper, to be published in Theoretical Computer Science)
Read the abstract
Download this report (compressed postscript).
Blanket Algebra for Multiple-Valued Function Decomposition,
Proceedings of the International Workshop on Formal Languages
and Computer Systems,
Kyoto, Japan, March 18-21, 1997.
(invited paper, to be published by World Scientific)
Read the abstract
Download this report (compressed postscript)
REVISED February 12, 1998; minor revision July 22, 1998).
How to use Sorting Procedures to Minimize a DFA,
MSc Thesis,
Department of Computer Science,
University of Western Ontario,
London, Ontario, Canada, N6A 5B7,
May 1997.
(Supervised by H. Jurgensen)
Delay-Insensitive Networks,
MMath Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
June 1997.
1997 University of Waterloo Outstanding Achievement in Graduate Studies
1997 University of Waterloo Alumni Gold Medal
(Supervised by J. A. Brzozowski)
Read the abstract
Download this report (compressed postscript).
Strong Delay-Insensitivity and the JTU-Rules,
Maveric Research Report,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
October 1997.
Read the abstract
Download this report (compressed postscript).
A Technique for Finding and Verifying Speed-Dependences in Gate Circuits,
Research Report CS-97-28,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
28 pp., August 1997.
Read the abstract
Download this report (compressed postscript).
Response Time Properties of Asynchronous Linear Pipelines,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
14 pp., July 1997.
Read the abstract
Download this report (compressed postscript).
Delay-Insensitivity and Semi-Modularity,
Research Report CS-97-11,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
23 pp., March 1997.
Read the abstract
Download this report (compressed postscript).
Response Time Properties of Some Asynchronous Circuits,
Research Report CS-97-02,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
18 pp., January 1997.
Read the abstract
Download this report (compressed postscript).
Decomposition of Boolean Functions Specified by Cubes,
Research Report CS-97-01,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
36 pp., January 1997.
Read the abstract
Download this report (compressed postscript).
1996
Codes,
Handbook of Formal Language Theory,
G. Rozenberg and A. Salomaa (editors),
Springer-Verlag, Berlin, pp. 511 - 607, 1996.
(See also Report No. 484 below.)
Design and Analysis of Up-Down Counters,
Science of Computer Programming,
No. 27, pp. 185-204, 1996.
An Algebra of Multiple Faults in RAMs,
Journal of Electronic Testing: Theory and Applications,
Vol. 8, No. 2,
pp. 129-142, April 1996.
Please see the erratum posted on March 1999 under the 1999 publications.
Applications of Automata and Languages to Testing,
Publicationes Mathematicae (Debrecen).
Vol. 48, No. 3-4, pp. 201-215, 1996.
AMS Review
Read the abstract
Download this report (compressed postscript).
Codes,
Report No. 484,
Department of Computer Science,
The University of Western Ontario,
London, Ontario, Canada N6A 5B7,
87 pp., 1996.
A Characterization of Finite Ternary Algebras,
Reaserch Report CS-96-26,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
9 pp., July 1996.
Read the abstract
Download this report (compressed postscript).
1995
Read the abstract
Download this document (compressed postscript).
Process Spaces,
Research Report CS-95-48,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
30 pp., December 1995.
Read the abstract
Download this report (compressed postscript).
Relative Liveness: From Intuition to Automated Verification,
Research Report CS-95-32,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
50 pp., July 1995.
Read the abstract
Download this report (compressed postscript).
An Algebra of Multiple Faults in RAMs,
Research Report CS-95-18,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
22 pp., May 1995.
Read the abstract
Download this report (compressed postscript).
Download this report (compressed postscript).
1994
MMath essay,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
May 1994. (Supervised by J. C. Ebergen)
PhD Thesis,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
May 1994.
1995 NSERC Doctoral Prize
University of Waterloo Outstanding Achievement in Graduate Studies Award
(Supervised by J. A. Brzozowski)
Applications of Automata and Languages to Testing,
Report No. 420,
Department of Computer Science,
The University of Western Ontario,
London, Ontario, Canada N6A 5B7,
11 pp., 1994.
1993
Read the abstract
Download this document (compressed postscript).
1992
Component Automata and RAM Faults,
Report No. 324,
Department of Computer Science,
The University of Western Ontario,
London, Ontario, Canada N6A 5B7,
23 pp., 1992.
Testing for Bounded Faults in RAMs,
Research Report No. CS-92-30,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
May 1992.
An Efficient Algorithm for Constrained Encoding and Its Applications,
Research Report No. CS-92-20,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
April 1992.
1991
Near-Optimal Tests for Classes of Coupling Faults in RAMs,
Research Report CS-91-01,
Department of Computer Science,
University of Waterloo,
Waterloo, Ontario, Canada N2L 3G1,
18 pp., January 1991.
Advances in Asynchronous Circuit Theory---Part II:
Bounded-Delay Models, MOS Circuits, Design Techniques,
Bulletin of the European Association for Theoretical Computer Science,
No. 43, pp. 199-263, February 1991.
1990
On the Delay-Sensitivity of Gate Networks,
Computing Science Notes 90/05,
Department of Mathematics and Computing Science,
Eindhoven University of Technology,
Eindhoven, The Netherlands,
23 pp., June 1990.
Advances in Asynchronous Circuit Theory---Part I:
Gate and Unbounded Inertial Delay Models,
Bulletin of the European Association for Theoretical Computer Science,
No. 42, pp. 198-249, October 1990.