![]() | ![]() |
| 2001 | ||
|---|---|---|
| 2 | Alexandre Bronstein, Joydip Das, Marsha Duro, Rich Friedrich, Gary Kleyner, Martin Mueller, Sharad Singhal, Ira Cohen: Self-Aware Services: Using Bayesian Networks for Detecting Anomalies in Internet-Based Services. Integrated Network Management 2001: 623-638 | |
| 1989 | ||
| 1 | Alexandre Bronstein, Carolyn L. Talcott: Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems 1989: 317-333 | |
| 1 | Ira Cohen | [2] |
| 2 | Joydip Das | [2] |
| 3 | Marsha Duro | [2] |
| 4 | Rich Friedrich (Richard J. Friedrich) | [2] |
| 5 | Gary Kleyner | [2] |
| 6 | Martin Mueller | [2] |
| 7 | Sharad Singhal | [2] |
| 8 | Carolyn L. Talcott | [1] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page