The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Jirí Wiedermann
    Parallel Machine Models: How They Are and Where Are They Going. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:1-30 [Conf]
  2. Petr Hájek
    Fuzzy Logic From The Logical Point of View. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:31-49 [Conf]
  3. Gerard Tel
    Sense of Direction in Processor Networks. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:50-82 [Conf]
  4. Hava T. Siegelmann
    Welcoming the Super Turing Theories. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:83-94 [Conf]
  5. Bill G. Horne, Hava T. Siegelmann, C. Lee Giles
    What NARX Networks Can Compute. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:95-102 [Conf]
  6. Keith G. Jeffery
    Database: Introduction to Problems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:103-119 [Conf]
  7. Jane Grimson
    Distributed Information Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:120-145 [Conf]
  8. Norman W. Paton
    Extending Database Technology. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:146-165 [Conf]
  9. A. J. G. Betts
    Introducing SSADM4+ and PRINCE. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:166-183 [Conf]
  10. Juan Bicarregui, Brian Matthews
    Formal Methods in Practice: A Comparison of Two Support Systems for Proof. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:184-205 [Conf]
  11. Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
    Development of Safety-Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:206-235 [Conf]
  12. Egon Börger
    Why Use Evolving Algebras for Hardware and Software Engineering? [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:236-271 [Conf]
  13. Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet
    Experience with Chorus. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:272-291 [Conf]
  14. Barbara M. Chapman, Piyush Mehrotra, Hans P. Zima
    High-Level Languages for Parallel Scientific Computing. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:292-314 [Conf]
  15. Hermann A. Maurer
    On Some New Aspects of Networked Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:315-333 [Conf]
  16. Ales Limpouch, Karel Charvát
    Quo Vadis GIS: From GIS to GIMS and Open GIS. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:334-349 [Conf]
  17. Victoria A. Marshall
    WWW - The World Wide Web. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:350-362 [Conf]
  18. Peter Borovanský
    Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:363-368 [Conf]
  19. Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas
    A Modular History-Oriented Access Structure for Bitemporal Relational Databases. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:369-374 [Conf]
  20. Hans-Werner Gellersen
    Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:375-378 [Conf]
  21. Tomás Holan, Vladislav Kubon, Martin Plátek
    Parsing of Free-Word-Order Languages. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:379-384 [Conf]
  22. Esther Jennings
    Distributed Algorithm for Finding a Core of a Tree Network. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:385-390 [Conf]
  23. Petr Kozák
    Stepwise Synthesis of Reactive Programs. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:391-398 [Conf]
  24. Warren X. Li
    A Simple and Efficient Incremental LL(1) parsing. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:399-404 [Conf]
  25. Salvador Lucas
    Fundamentals of Context=Sensitive Rewriting. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:405-412 [Conf]
  26. Ludek Matyska, Hynek Bures
    Constraint Logic Programming with Fuzzy Sets. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:413-418 [Conf]
  27. François Meunier, Petr Zemánek
    Parallel Processing of Image Database Queries. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:419-424 [Conf]
  28. Lenka Motyckova
    Maximum Flow Problem in Distributed Environment. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:425-430 [Conf]
  29. Nguyen Hoang Phuong
    Fuzzy Set Theory and Medical Expert Systems: Survey and Model. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:431-436 [Conf]
  30. Alain Pirotte, Thierry Van den Berghe, Esteban Zimányi
    The Fusion Object-Oriented Method: an Evaluation. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:437-442 [Conf]
  31. Zuzana Repaská
    Integration of Object-Oriented Analysis and Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:443-448 [Conf]
  32. Miroslav Rozlozník, Z. Strakos
    On the Implementation of Some Residual Minimizing Krylov Space Methods. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:449-454 [Conf]
  33. Clara Smith, Carlos A. Tau
    A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:455-460 [Conf]
  34. Jirí Síma
    Hopfield Languages. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:461-468 [Conf]
  35. Julius Stuller
    Inconsistency Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:469-474 [Conf]
  36. Efthimios Tambouris, Peter Van Santen
    A Methodology for Performance and Scalability Analysis. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:475-480 [Conf]
  37. Miroslav Tuma, Miroslav Rozlozník
    On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif Computing. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:481-486 [Conf]
  38. Peter Vojtás, Leonard Paulík
    Logic Programming in RPL and RQL. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:487-492 [Conf]
  39. Jan Zizka, Irena Snajdárková
    Recognition of Handwritten Characters Using Instance-Based Learning Algorithms. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:493-498 [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