Andrzej Salwicki

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 2

Top Topics

Experimental Study

Sufficient Conditions

Improved Algorithm

Top Venues

Fundam. Informaticae

Publications

Grazyna Mirkowska, Andrzej Salwicki
Collatz conjecture becomes theorem. CoRR (2023)
Andrzej Salwicki
A new proof of Euclid's algorithm. CoRR (2023)
Hans Langmaack, Andrzej Salwicki
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. Fundam. Informaticae 122 (3) (2013)
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Verifying a Class: combining Testing and Proving. Fundam. Informaticae 95 (2-3) (2009)
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) (2009)
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
A Deterministic Algorithm for Identifying Direct Superclasses in Java. Fundam. Informaticae 85 (1-4) (2008)
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. Fundam. Informaticae 85 (1-4) (2008)
Andrzej Salwicki
Andrzej Grzegorczyk's Contribution to Computer Science. Fundam. Informaticae 81 (1-3) (2007)
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30 (6) (2000)
Grazyna Mirkowska, Andrzej Salwicki
The Algebraic Specifications do not Have the Tennenbaum Property. Fundam. Informaticae 28 (1-2) (1996)
Andrzej Salwicki
On a Hierarchy of File Types and a Tower of Their Theories. MFCS (1991)
Grazyna Mirkowska, Andrzej Salwicki
Axiomatic definability of programming language semantics. Formal Description of Programming Concepts (1987)
Grazyna Mirkowska, Andrzej Salwicki
On Applications of Algorithmic Logic. CAAP (1986)
Grazyna Mirkowska, Andrzej Salwicki
On Axiomatic Definition of Max-Model of Concurrency. Mathematical Models for the Semantics of Parallelism (1986)
Andrzej Salwicki
Algorithmic Theories of Data Structures. ICALP (1982)
Andrzej Salwicki
Critical Remarks on MAX Model of Concurrency. Logic of Programs (1981)
Andrzej Salwicki
On the algorithmic theory of stacks. Fundam. Informaticae 3 (3) (1980)
Andrzej Salwicki
Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. MFCS (1980)
Andrzej Salwicki
On the Algorithmic Theory of Dictionaries. Logic of Programs (1979)
Andrzej Salwicki, Tomasz Müldner
On the Algorithmic Properties of Concurrent Programs. Logic of Programs (1979)
Andrzej Salwicki
On Algorithmic Theory of Stacks. MFCS (1978)
Andrzej Salwicki
An Algorithmic Approach to Set Theory. FCT (1977)
Andrzej Salwicki
Applied Algorithmic Logic. MFCS (1977)
Andrzej Salwicki, Tomasz Müldner
Computational Processes Generated by Programs with Recursive Procedures and Block Structures. MFCS (1976)
Grazyna Mirkowska, Andrzej Salwicki
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. MFCS (1976)
Andrzej Salwicki
Procedures, Formal Computations and Models. MFCS (1974)