European Meeting of the Association for Symbolic Logic. - Leszek Pacholski (J. Symb. Log., 1979)

Homogeneous limit reduced powers. - Leszek Pacholski (Arch. Math. Log., 1981)

Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. - Leszek Pacholski; Jedrzej Wierzejewski (J. Symb. Log., 1981)

The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (FOCS, 1989)

Complexity of Unification in Free Groups and Free Semi-groups - Antoni Koscielski; Leszek Pacholski (FOCS, 1990)

Word Equations with Two Variables. - Witold Charatonik; Leszek Pacholski (IWWERT, 1991)

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (LICS, 1991)

Asymptotic Probabilities of Existential Second-Order Gödel Structures. - Leszek Pacholski; Wieslaw Szwast (J. Symb. Log., 1991)

Decidability of finiteness properties (Abstract). - Leszek Pacholski (CTRS, 1992)

Undecidability of the Horn-Clause Implication Problem - Jerzy Marcinkowski; Leszek Pacholski (FOCS, 1992)

Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems. - Leszek Pacholski; Malgorzata Wejman (HCI (1), 1993)

Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic. - Leszek Pacholski (Kurt Gödel Colloquium, 1993)

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (Inf. Comput., 1993)

Set constraints with projections are in NEXPTIME - Witold Charatonik; Leszek Pacholski (FOCS, 1994)

Negative Set Constraints with Equality - Witold Charatonik; Leszek Pacholski (LICS, 1994)

Complexity of Makanin's Algorithm. - Antoni Koscielski; Leszek Pacholski (J. ACM, 1996)

Set Constraints: A Pearl in Research on Constraints. - Leszek Pacholski; Andreas Podelski (CP, 1997)

Complexity of Two-Variable Logic with Counting. - Leszek Pacholski; Wieslaw Szwast; Lidia Tendera (LICS, 1997)

Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. - Patrick Cégielski; Leszek Pacholski; Denis Richard; Jerzy Tomasik; Alex Wilkie (Ann. Pure Appl. Log., 1997)

Tarskian Set Constraints Are in NEXPTIME. - Pawel Mielniczuk; Leszek Pacholski (MFCS, 1998)

Makanin's Algorithm is not Primitive Recursive. - Antoni Koscielski; Leszek Pacholski (Theor. Comput. Sci., 1998)

The STO problem is NP-complete. - Piotr Krysta; Leszek Pacholski (J. Symb. Comput., 1999)

Tutoriel II: Is it difficult to solve equations in the algebra of words. - Leszek Pacholski (JFPLC, 2000)

Complexity Results for First-Order Two-Variable Logic with Counting. - Leszek Pacholski; Wieslaw Szwast; Lidia Tendera (SIAM J. Comput., 2000)

Thue trees. - Jerzy Marcinkowski; Leszek Pacholski (Ann. Pure Appl. Log., 2003)

Ergonomic issues of the neural integrated human-computer interaction. - Leszek Pacholski (Cybern. Syst., 2006)

Set constraints with projections. - Witold Charatonik; Leszek Pacholski (J. ACM, 2010)

Implementation of TPM Methodology in Worker Fatigue Management - A Macroergonomic Approach. - Marcin Butlewski; Grzegorz Dahlke; Milena Drzewiecka-Dahlke; Adam Górny; Leszek Pacholski (AHFE (21), 2017)

Methodology of Maturity Level Rating for Macro Ergonomic System in Area of Sustainable Development. - Leszek Pacholski; Marek Szczuka (AHFE (21), 2017)

The Macroergonomic Improvement of Total Quality Management Industrial Systems. - Milena Drzewiecka-Dahlke; Leszek Pacholski (AHFE (19), 2019)

The Conditioning of Macroergonomic Design and Improvement of the Intelligent Building's Use and Service. - Joanna Kalkowska; Leszek Pacholski (AHFE (19), 2019)

Correlations Linking Macroergonomic Premises with Key Features of Intelligent Buildings. - Leszek Pacholski (AHFE (16), 2021)