СТ |
Rewriting in Order-sorted Equational Logic |
1988 |
Gallier J. H., Isakowitz T. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
29.09.1994 |
СТ |
On the Semantics of (Bi)Temporal Variable Databases |
1994 |
Clifford J., Isakowitz T. |
|
|
|
Lecture Notes in Computer Science |
22.04.1994 |
СТ |
RMM: A Methodology for Structured Hypermedia Design |
1995 |
Isakowitz T., Stohr E. A., Balasubramanian P. |
|
|
|
Communications of the ACM |
05.09.1995 |
СТ |
Supporting Search for Reusable Software Objects |
1996 |
Isakowitz T., Kauffman R. J. |
|
|
|
IEEE Transactions on Software Engineering |
17.09.1996 |
СТ |
A Case Study in Systematic Hypermedia Design |
2001 |
Balasubramanian V., Bieber M., Isakowitz T. |
|
|
|
Information Systems |
20.08.2001 |