| 2004 |
|---|
| 6 | EE | L. Robert Pokorny,
C. R. Ramakrishnan:
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.
DALT 2004: 148-165 |
| 5 | | L. Robert Pokorny,
Harpreet Singh:
WEAVE: An Automated System for Collating Unstructured Data from WEB and Legacy Sources to Enhance the MRO Supply Chain.
IQ 2004: 275-284 |
| 2002 |
|---|
| 4 | | Hasan Davulcu,
Jennifer Jones,
L. Robert Pokorny,
Chris Rued,
Terrance Swift,
Tatyana Vidrevich,
David Scott Warren:
Ensuring the Consistency of Self-Reported Data: A Case Study.
IQ 2002: 155-166 |
| 3 | EE | Samik Basu,
K. Narayan Kumar,
L. Robert Pokorny,
C. R. Ramakrishnan:
Resource-Constrained Model Checking of Recursive Programs.
TACAS 2002: 236-250 |
| 2000 |
|---|
| 2 | | L. Robert Pokorny:
Assigning a Quality Measurement to Matching Records from Heterogeneous Legacy Databases: A Practical Experience.
IQ 2000: 70-75 |
| 1999 |
|---|
| 1 | EE | Hasan Davulcu,
Michael Kifer,
L. Robert Pokorny,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Steven Dawson:
Modeling and Analysis of Interactions in Virtual Enterprises.
RIDE 1999: 12-18 |
