The SCEAS System
Navigation Menu

Journals in DBLP

J. UCS
2001, volume: 7, number: 8

  1. Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer
    Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:629-630 [Journal]
  2. Cliff B. Jones
    The Transition from VDL to VDM. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:631-640 [Journal]
  3. Dines Bjørner
    On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:641-667 [Journal]
  4. Mícheál Mac an Airchinnigh
    An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:668-691 [Journal]
  5. Peter Gorm Larsen
    Ten Years of Historical Development "Bootstrapping" VDMTools®. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:692-709 [Journal]
  6. Bernhard K. Aichernig
    Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:710-735 [Journal]
  7. Hans P. Zima
    Data Distribution Specification for High Performance Computing. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:736-753 [Journal]
  8. José Nuno Oliveira
    "Bagatelle in C arranged for VDM SoLo". [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:754-781 [Journal]
  9. Hermann A. Maurer
    Managing Editor's Column. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:782- [Journal]
  10. Adrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu
    Codifiable Languages and the Parikh Matrix Mapping. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:783-793 [Journal]
  11. Sandra Fontani
    Efficient Measure Learning. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:794-815 [Journal]
  12. Sanjay Gupta
    Determinism, Nondeterminism, Alternation, and Counting. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:816-825 [Journal]
  13. Helge Kahler
    More Than WORDs - Collaborative Tailoring of a Word Processor. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:826-847 [Journal]
  14. Ulrich Sigmund, Theo Ungerer
    On Speculation Control in Simultaneous Multithreaded Processors. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:848-868 [Journal]
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