|
М |
Computer-Aided Reasoning: A Approach |
2002 |
Kaufmann M., Manolios P., Moore J. S. |
|
|
|
|
23.08.2002 |
|
СТ |
Design Constraints in Symbolic Model Checking |
1998 |
Kaufmann M., Martin A., Pixley C. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
|
СТ |
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp |
1997 |
Kaufmann M., Moore J. S. |
|
|
|
IEEE Trans. on Software Engineering |
12.08.1997 |
|
СТ |
Channel Routing of Multiterminal Nets |
1994 |
Gao S., Kaufmann M. |
|
|
|
J. of the ACM |
18.10.1994 |
|
СТ |
Shorter Queues for Permutation Routing on Meshes |
1994 |
Sibeyn J. F., Chlebus B. S., Kaufmann M. |
|
|
|
Lecture Notes in Computer Science |
30.09.1994 |
|
СТ |
Fast Deterministic Hot-Potato Routing on Processor Arrays |
1994 |
Kaufmann M., Lauer H., Schroder H. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
П |
Deterministic Permutation Routing on Meshes |
1993 |
Chlebus B. S., Kaufmann M., Sibeyn J. F. |
|
|
Univ.Passau |
|
22.04.1993 |
