The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrzej Blikle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrzej Blikle
    Denotational Engineering or from Denotations to Syntax. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:151-209 [Conf]
  2. Andrzej Blikle
    Three-Valued Predicates for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:243-266 [Conf]
  3. Andrzej Blikle, Mikkel Thorup
    On Conservative Extensions of Syntax in the Process of System Development. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:504-525 [Conf]
  4. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    A Three-Valued Logic for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:218-242 [Conf]
  5. Andrzej Blikle
    An Analytic Approach to the Verification of Iterative Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:285-290 [Conf]
  6. Andrzej Blikle, Andrzej Tarlecki
    Naive Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:345-355 [Conf]
  7. Andrzej Blikle
    An Algebraic Approach to Programs and Their Computations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1973, pp:17-26 [Conf]
  8. Andrzej Blikle
    Proving Programs by Sets of Computations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:333-358 [Conf]
  9. Andrzej Blikle
    A Comparative Review of Some Program Verification Methods. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:17-33 [Conf]
  10. Andrzej Blikle
    Assertion Programming. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:26-42 [Conf]
  11. Andrzej Blikle
    Specified programming. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:228-251 [Conf]
  12. Andrzej Blikle
    The Clean Termination of Iterative Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:16, n:, pp:199-217 [Journal]
  13. Andrzej Blikle
    Proving programs by delta-relations. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1975, v:11, n:4-6, pp:267-274 [Journal]
  14. Andrzej Blikle
    Three-valued predicates for software specification and validation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:4, pp:387-410 [Journal]
  15. Andrzej Blikle
    Why Denotational? Remarks on Applied Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:55-85 [Journal]
  16. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    A three-valued logic for software specification and validation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:4, pp:411-453 [Journal]
  17. Andrzej Blikle
    Equational Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1972, v:21, n:2, pp:134-147 [Journal]
  18. Andrzej Blikle
    A Guided Tour of the Mathematics of MetaSoft'88. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:29, n:2, pp:81-86 [Journal]
  19. Andrzej Blikle
    Addressless Units for Carrying Out Loop-Free Computations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1972, v:19, n:1, pp:136-157 [Journal]
  20. Andrzej Mostowski, Andrzej Blikle
    Meeting of the Association for Symbolic Logic Warsaw 1968. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:3, pp:533-544 [Journal]
  21. Andrzej Blikle
    Denotational Engineering. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:12, n:3, pp:207-253 [Journal]
  22. Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
    On Conservative Extensions of Syntax in System Development. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:209-233 [Journal]
  23. Andrzej Blikle
    On the Development of Correct Specified Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:5, pp:519-527 [Journal]

Search in 0.056secs, Finished in 0.057secs
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