Search the dblp DataBase
Andrzej Blikle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Andrzej Blikle
Denotational Engineering or from Denotations to Syntax. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1987, pp:151-209 [Conf] - Andrzej Blikle
Three-Valued Predicates for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:243-266 [Conf] - 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] - 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] - Andrzej Blikle
An Analytic Approach to the Verification of Iterative Programs. [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1977, pp:285-290 [Conf] - Andrzej Blikle, Andrzej Tarlecki
Naive Denotational Semantics. [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1983, pp:345-355 [Conf] - Andrzej Blikle
An Algebraic Approach to Programs and Their Computations. [Citation Graph (0, 0)][DBLP]
MFCS, 1973, pp:17-26 [Conf] - Andrzej Blikle
Proving Programs by Sets of Computations. [Citation Graph (0, 0)][DBLP]
MFCS, 1974, pp:333-358 [Conf] - Andrzej Blikle
A Comparative Review of Some Program Verification Methods. [Citation Graph (0, 0)][DBLP]
MFCS, 1977, pp:17-33 [Conf] - Andrzej Blikle
Assertion Programming. [Citation Graph (0, 0)][DBLP]
MFCS, 1979, pp:26-42 [Conf] - Andrzej Blikle
Specified programming. [Citation Graph (0, 0)][DBLP]
Mathematical Studies of Information Processing, 1978, pp:228-251 [Conf] - Andrzej Blikle
The Clean Termination of Iterative Programs. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1981, v:16, n:, pp:199-217 [Journal] - 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] - 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] - 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] - 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] - Andrzej Blikle
Equational Languages [Citation Graph (0, 0)][DBLP]
Information and Control, 1972, v:21, n:2, pp:134-147 [Journal] - 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] - 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] - 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] - Andrzej Blikle
Denotational Engineering. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1989, v:12, n:3, pp:207-253 [Journal] - 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] - 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.003secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002