The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (sofsem)
1997 (conf/sofsem/1997)

  1. 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]
  2. Marc J. van Kreveld
    Algorithms for Triangulated Terrains. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:19-36 [Conf]
  3. Klaus-Jörn Lange
    On the Distributed Realization of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:37-52 [Conf]
  4. Johann A. Makowsky, Elena V. Ravve
    The Fundamental Problem of Database Design. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:53-69 [Conf]
  5. 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]
  6. Pekka Orponen
    The Computational Power of Continuous Time Neural Networks. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:86-103 [Conf]
  7. Klaus Weihrauch
    A Foundation for Computable Analysis. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:104-121 [Conf]
  8. Jirí Wiedermann
    Towards Machines That Can Think. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:122-141 [Conf]
  9. Henryk Wozniakowski
    Computational Complexity of Continuous Problems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:142-143 [Conf]
  10. Shmuel Zaks
    Path Layout in ATM Networks. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:144-160 [Conf]
  11. Stefan Covaci, Thomas Magedanz
    The Mobile Agent Technology. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:161-162 [Conf]
  12. David A. Duce
    Theory and Practice in Internationally Rich Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:163-182 [Conf]
  13. Valérie Issarny
    Configuration-Based Programming Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:183-200 [Conf]
  14. 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]
  15. 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]
  16. Annie Kuntzmann-Combelles
    The Whole Picture to Software Process Improvement. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:249-265 [Conf]
  17. Wolfgang Pree
    Object-Oriented Design Patterns. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:266-274 [Conf]
  18. Klaus R. Dittrich, Andreas Geppert
    Object-Oriented DBMS and Beyond. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:275-294 [Conf]
  19. 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]
  20. 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]
  21. Jiri Zara
    An Introduction to Virtual Reality Modeling Language. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:331-348 [Conf]
  22. Jirí Zlatuska
    Stepping Stones to an Information Society. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:349-372 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. Vladimír Glasnák
    On f-Sparse Sets in NP - P. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:415-422 [Conf]
  29. 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]
  30. Jan Janousek, Borivoj Melichar
    The Output-Store Formal Translator Directed by LR Parsing. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:432-439 [Conf]
  31. Jiri Kadlec
    Parallel Processing on Alphas Under MATLAB 5. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:440-447 [Conf]
  32. Petr Kolman
    PRAM Lower Bound for Element Distinctness Revisited. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:448-455 [Conf]
  33. Ivan Kopecek
    Optimal Trees for Searching in Codebook. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:456-463 [Conf]
  34. Rastislav Kralovic
    Time Optimal Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:464-472 [Conf]
  35. Petr Kroha, M. Strauß
    Requirements Specification Iteratively Combined with Reverse. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:473-480 [Conf]
  36. Antonín Kucera
    On Finite Representations of Infinite-State Behaviours. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:481-488 [Conf]
  37. Salvador Lucas
    Efficient Strong Sequentiality Using Replacement Restrictions. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:489-496 [Conf]
  38. Massimo Marchiori
    Optmial Encodings. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:497-504 [Conf]
  39. 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]
  40. 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]
  41. Karel Pala, Pavel Rychlý, Pavel Smrz
    DESAM - Annotated Corpus for Czech. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:523-530 [Conf]
  42. Yvan Peter
    Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:531-538 [Conf]
  43. 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]
  44. 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]
  45. 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]
  46. David Strupl, Roman Neruda
    Parallelizing Self-Organizing Maps. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:563-570 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002