Conferences in DBLP
Rainer Feldmann Computer Chess: Algorithms and Heuristics for a Deep Look into the Future. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:1-18 [Conf ] Marc J. van Kreveld Algorithms for Triangulated Terrains. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:19-36 [Conf ] Klaus-Jörn Lange On the Distributed Realization of Parallel Algorithms. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:37-52 [Conf ] Johann A. Makowsky , Elena V. Ravve The Fundamental Problem of Database Design. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:53-69 [Conf ] Jaroslav Nesetril , Daniel Turzík Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP). [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:70-85 [Conf ] Pekka Orponen The Computational Power of Continuous Time Neural Networks. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:86-103 [Conf ] Klaus Weihrauch A Foundation for Computable Analysis. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:104-121 [Conf ] Jirí Wiedermann Towards Machines That Can Think. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:122-141 [Conf ] Henryk Wozniakowski Computational Complexity of Continuous Problems. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:142-143 [Conf ] Shmuel Zaks Path Layout in ATM Networks. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:144-160 [Conf ] Stefan Covaci , Thomas Magedanz The Mobile Agent Technology. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:161-162 [Conf ] David A. Duce Theory and Practice in Internationally Rich Distributed Systems. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:163-182 [Conf ] Valérie Issarny Configuration-Based Programming Systems. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:183-200 [Conf ] Prakash K. Muthukrishnan , Barrett R. Bryant Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:201-218 [Conf ] Dines Bjørner A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:219-248 [Conf ] Annie Kuntzmann-Combelles The Whole Picture to Software Process Improvement. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:249-265 [Conf ] Wolfgang Pree Object-Oriented Design Patterns. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:266-274 [Conf ] Klaus R. Dittrich , Andreas Geppert Object-Oriented DBMS and Beyond. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:275-294 [Conf ] Maria E. Orlowska , Hui Li , Chengfei Liu On Integration of Relational and Object-Oriented Database Systems. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:295-312 [Conf ] M. Howard Williams , Norman W. Paton From OO Through Deduction to Active Databases - ROCK, ROLL & RAP. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:313-330 [Conf ] Jiri Zara An Introduction to Virtual Reality Modeling Language. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:331-348 [Conf ] Jirí Zlatuska Stepping Stones to an Information Society. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:349-372 [Conf ] Luca Becchetti , Carlo Gaibisso Lower Bounds for the Virtual Path Layout Problem in ATM Networks. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:375-382 [Conf ] Bingning Dai , David A. Bell , John G. Hughes Query Processing in Temporal Evidential Databases. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:383-390 [Conf ] Cristina De Castro A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:391-398 [Conf ] Carlo Gaibisso , Guido Proietti Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:399-406 [Conf ] Pablo Galdámez , Francesc D. Muñoz-Escoí , José M. Bernabéu-Aubán High Availability Support in CORBA Environments. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:407-414 [Conf ] Vladimír Glasnák On f-Sparse Sets in NP - P. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:415-422 [Conf ] Markus Hof , Hanspeter Mössenböck , Peter Pirkelbauer Zero-Overhead Exeption Handling Using Metaprogramming. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:423-431 [Conf ] Jan Janousek , Borivoj Melichar The Output-Store Formal Translator Directed by LR Parsing. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:432-439 [Conf ] Jiri Kadlec Parallel Processing on Alphas Under MATLAB 5. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:440-447 [Conf ] Petr Kolman PRAM Lower Bound for Element Distinctness Revisited. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:448-455 [Conf ] Ivan Kopecek Optimal Trees for Searching in Codebook. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:456-463 [Conf ] Rastislav Kralovic Time Optimal Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:464-472 [Conf ] Petr Kroha , M. Strauß Requirements Specification Iteratively Combined with Reverse. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:473-480 [Conf ] Antonín Kucera On Finite Representations of Infinite-State Behaviours. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:481-488 [Conf ] Salvador Lucas Efficient Strong Sequentiality Using Replacement Restrictions. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:489-496 [Conf ] Massimo Marchiori Optmial Encodings. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:497-504 [Conf ] Frantisek Mráz , Martin Plátek , Petr Jancar , Jörg Vogel Monotonic Rewriting Automata with a Restart Operation. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:505-512 [Conf ] Shan-Hwei Nienhuys-Cheng , Arie de Bruin Kahn's Fixed-Point Characterization for Linear Dynamic Networks. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:513-522 [Conf ] Karel Pala , Pavel Rychlý , Pavel Smrz DESAM - Annotated Corpus for Czech. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:523-530 [Conf ] Yvan Peter Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:531-538 [Conf ] Wim Pijls , Arie de Bruin A Theory of Game Trees, Based on Solution Trees. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:539-546 [Conf ] Heiko Schröder , A. E. May , Imrich Vrto , Ondrej Sýkora Approximation Algorithms for the Vertex Bipartization Problem. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:547-554 [Conf ] Heiko Schröder , Ondrej Sýkora , Imrich Vrto Optical All-to-All Communication for Some Product Graphs. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:555-562 [Conf ] David Strupl , Roman Neruda Parallelizing Self-Organizing Maps. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1997, pp:563-570 [Conf ]