A list without abstracts sorted by year - 1997
DESAM - Approaches to Desambiguation
Stepping Stones to an Information Society
by Jiří Zlatuška, A revised version of an invited talk presented at SOFSEM`97 conference. December 1997, 30 pages.
PHC Format Description
Bisimulation Equivalence is Decidable for One-Counter Processes
by Petr Jančar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.
Navigation and Information System for Visually Impaired People
An Algorithm on Interpolating between Two Shapes of a Molecule
by Aleš Křenek, Accepted for the SCCG`97 in Bratislava. May 1997, 10 pages.
Towards Adjusting Informatics Education to Information Era
by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
Bisimilarity of Processes with Finite-state Systems
Lower Bound of Distance in 3D
Please install a newer browser for this site to function properly.