| 2009 |
|---|
| 23 | EE | Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski:
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.
Inf. Comput. 207(3): 389-410 (2009) |
| 2008 |
|---|
| 22 | EE | Grazyna Mirkowska,
Andrzej Salwicki,
Oskar Swida:
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Fundam. Inform. 85(1-4): 1-17 (2008) |
| 21 | EE | Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Inform. 85(1-4): 343-357 (2008) |
| 2007 |
|---|
| 20 | EE | Andrzej Salwicki:
Andrzej Grzegorczyk's Contribution to Computer Science.
Fundam. Inform. 81(1-3): 315-323 (2007) |
| 2000 |
|---|
| 19 | EE | Grazyna Mirkowska,
Andrzej Salwicki,
Marian Srebrny,
Andrzej Tarlecki:
First-Order Specifications of Programmable Data Types.
SIAM J. Comput. 30(6): 2084-2096 (2000) |
| 1996 |
|---|
| 18 | | Grazyna Mirkowska,
Andrzej Salwicki:
The Algebraic Specifications do not Have the Tennenbaum Property.
Fundam. Inform. 28(1-2): 141-152 (1996) |
| 1991 |
|---|
| 17 | | Andrzej Salwicki:
On a Hierarchy of File Types and a Tower of Their Theories.
MFCS 1991: 47-63 |
| 1990 |
|---|
| 16 | | Antoni Kreczmar,
Andrzej Salwicki,
Marek Warpechowski:
LOGPLAN '88 - Report on the Programming Language
Springer 1990 |
| 1986 |
|---|
| 15 | | Grazyna Mirkowska,
Andrzej Salwicki:
On Applications of Algorithmic Logic.
CAAP 1986: 288-306 |
| 14 | | Grazyna Mirkowska,
Andrzej Salwicki:
On Axiomatic Definition of Max-Model of Concurrency.
Mathematical Models for the Semantics of Parallelism 1986: 199-230 |
| 1983 |
|---|
| 13 | | Andrzej Salwicki:
Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980
Springer 1983 |
| 1982 |
|---|
| 12 | | Andrzej Salwicki:
Algorithmic Theories of Data Structures.
ICALP 1982: 458-472 |
| 1981 |
|---|
| 11 | | Andrzej Salwicki:
Critical Remarks on MAX Model of Concurrency.
Logic of Programs 1981: 397-405 |
| 1980 |
|---|
| 10 | | Andrzej Salwicki:
Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.
MFCS 1980: 552-561 |
| 9 | | Andrzej Salwicki:
On the algorithmic theory of stacks.
Fundam. Inform. 3(3): 311-332 (1980) |
| 1979 |
|---|
| 8 | | Andrzej Salwicki:
On the Algorithmic Theory of Dictionaries.
Logic of Programs 1979: 145-168 |
| 7 | | Andrzej Salwicki,
Tomasz Müldner:
On the Algorithmic Properties of Concurrent Programs.
Logic of Programs 1979: 169-197 |
| 1978 |
|---|
| 6 | | Andrzej Salwicki:
On Algorithmic Theory of Stacks.
MFCS 1978: 452-461 |
| 1977 |
|---|
| 5 | | Andrzej Salwicki:
An Algorithmic Approach to Set Theory.
FCT 1977: 499-510 |
| 4 | | Andrzej Salwicki:
Applied Algorithmic Logic.
MFCS 1977: 122-134 |
| 1976 |
|---|
| 3 | | Andrzej Salwicki,
Tomasz Müldner:
Computational Processes Generated by Programs with Recursive Procedures and Block Structures.
MFCS 1976: 503-509 |
| 2 | | Grazyna Mirkowska,
Andrzej Salwicki:
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.
MFCS 1976: 602-606 |
| 1974 |
|---|
| 1 | | Andrzej Salwicki:
Procedures, Formal Computations and Models.
MFCS 1974: 464-484 |
