1999 |
9 | | Indra A. Tjandra,
Jinxia Wang:
Modeling Distributed Systems with Assembly Line Pattern and CCS.
PDPTA 1999: 737-743 |
1996 |
8 | | Gregory Butler,
Peter Grogono,
Rajjan Shinghal,
Indra A. Tjandra:
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software.
AISMC 1996: 38-48 |
1995 |
7 | EE | Gregory Butler,
Peter Grogono,
Rajjan Shinghal,
Indra A. Tjandra:
Analyzing the logical structure of data flow diagrams in software documents.
ICDAR 1995: 575-578 |
6 | | Indra A. Tjandra,
Gregory Butler:
Formal Representation of Reusable Software Modules.
WCRE 1995: 198-202 |
5 | | Gregory Butler,
Peter Grogono,
Rajjan Shinghal,
Indra A. Tjandra:
Retrieving Information from Data Flow Diagrams.
WCRE 1995: 22-29 |
1994 |
4 | | Jacques Calmet,
Indra A. Tjandra:
Building Bridges Between Knowledge Representation and Algebraic Specification.
ISMIS 1994: 295-304 |
1993 |
3 | | Jacques Calmet,
Indra A. Tjandra:
A Unified-Algebra-Based Specification Language for Symbolic Computing.
DISCO 1993: 122-133 |
1992 |
2 | | Jacques Calmet,
Karsten Homann,
Indra A. Tjandra:
Unified Domains and Abstract Computational Structures.
AISMC 1992: 166-177 |
1991 |
1 | | Jacques Calmet,
Indra A. Tjandra:
Representation of Mathematical Knowledge.
ISMIS 1991: 469-478 |