| 2005 |
|---|
| 4 | EE | Chitta Baral,
Hasan Davulcu,
Mutsumi Nakamura,
Prabhdeep Singh,
Luis Tari,
Lian Yu:
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
DILS 2005: 309-312 |
| 2002 |
|---|
| 3 | EE | Mutsumi Nakamura,
Ramez Elmasri:
Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.
ICDE 2002: 270 |
| 2000 |
|---|
| 2 | | Mutsumi Nakamura,
Chitta Baral,
Marcus Bjäreland:
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
AAAI/IAAI 2000: 62-67 |
| 1 | EE | Mutsumi Nakamura,
Chitta Baral:
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Computational Logic 2000: 1210-1224 |
