Indra A. Tjandra

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Indra A. Tjandra, Jinxia Wang
Modeling Distributed Systems with Assembly Line Pattern and CCS. PDPTA (1999)
Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. AISMC (1996)
Indra A. Tjandra, Gregory Butler
Formal Representation of Reusable Software Modules. WCRE (1995)
Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra
Retrieving Information from Data Flow Diagrams. WCRE (1995)
Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra
Analyzing the logical structure of data flow diagrams in software documents. ICDAR (1995)
Jacques Calmet, Indra A. Tjandra
Building Bridges Between Knowledge Representation and Algebraic Specification. ISMIS (1994)
Jacques Calmet, Indra A. Tjandra
A Unified-Algebra-Based Specification Language for Symbolic Computing. DISCO (1993)
Jacques Calmet, Karsten Homann, Indra A. Tjandra
Unified Domains and Abstract Computational Structures. AISMC (1992)
Jacques Calmet, Indra A. Tjandra
Representation of Mathematical Knowledge. ISMIS (1991)
Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt
MANTRA: a shell for hybrid knowledge representation. ICTAI (1991)