AIICS Publications

Journal Publications

Show abstracts (where available) BibTeX entries
[99] Erik Sandewall. 2014.
Editorial Material: A perspective on the early history of artificial intelligence in Europe.
AI Communications, 27(1):81–86. IOS Press.
DOI: 10.3233/AIC-130585.
[98] Gurkan Tuna, Bilel Nefzi and Gianpaolo Conte. 2013.
Unmanned aerial vehicle-aided communications system for disaster recovery.
Journal of Network and Computer Applications, ??(??):????. Elsevier.
DOI: 10.1016/j.jnca.2013.10.002.
Publication status: In press
[97] Patrick Doherty and Andrzej Szalas. 2013.
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.
Fundamenta Informaticae, 127(1-4):135–149. IOS Press.
DOI: 10.3233/FI-2013-900.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||
[96] Andrzej Szalas. 2013.
How an agent might think.
Logic journal of the IGPL (Print), 21(3):515–535. Oxford University Press (OUP): Policy A - Oxford Open Option A.
DOI: 10.1093/jigpal/jzs051.
[95] Full text  Cyrille Berger. 2013.
Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR.
Journal of Automation, Mobile Robotics & Intelligent Systems, 7(1):35–41.
Link to article:
[94] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnstr√∂m. 2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
Unmanned Systems, 1(1):75–119. World Scientific.
[93] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2013.
Stream-Based Hierarchical Anchoring.
K√ľnstliche Intelligenz, 27(2):119–128. Springer.
DOI: 10.1007/s13218-013-0239-2.
[92] H. Levent Akin, Nobuhiro Ito, Adam Jacoff, Alexander Kleiner, Johannes Pellenz and Arnoud Visser. 2013.
RoboCup Rescue Robot and Simulation Leagues.
The AI Magazine, 34(1):????. AAAI Press.
Link to journal:
[91] Quirin Hamp, Omar Gorgis, Patrick Labenda, Marc Neumann, Thomas Predki, Leif Heckes, Alexander Kleiner and Leonard Reindl. 2013.
Study of eciency of USAR operations with assistive technologies.
Advanced Robotics, 27(5):337–350.
DOI: 10.1080/01691864.2013.763723.
[90] C. Dornhege and Alexander Kleiner. 2013.
A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
Advanced Robotics, 27(6):459–468. Taylor and Francis.
DOI: 10.1080/01691864.2013.763720.
Note: Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8|
[89] Full text  Alexander Kleiner, A. Kolling, M. Lewis and K. Sycara. 2013.
Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain.
Autonomous Agents and Multi-Agent Systems, 26(1):1–36. Springer.
DOI: 10.1007/s10458-011-9180-7.
[88] Anna Pernest√•l, Mattias Nyberg and H√•kan Warnquist. 2012.
Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system.
Engineering applications of artificial intelligence, 25(4):705–719. Elsevier.
DOI: 10.1016/j.engappai.2011.02.018.
[87] Full text  Teresa Vidal-Calleja, Cyrille Berger, Joan Sol√† and Simon Lacroix. 2011.
Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain.
Robotics and Autonomous Systems, 59(9):654–674. Elsevier.
DOI: 10.1016/j.robot.2011.05.008.
[86] Barbara Dunin-Keplicz, Anh Linh Nguyen and Andrzej Szalas. 2011.
Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics.
Journal of Applied Non-Classical Logics, 21(1):61–81. Lavoisier.
DOI: 10.3166/jancl.21.61-91.
[85] Linh Anh Nguyen and Andrzej Szalas. 2011.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.
Studia Logica: An International Journal for Symbolic Logic, 98(3):387–428. Springer Berlin/Heidelberg.
DOI: 10.1007/s11225-011-9341-3.
[84] Jan Maluszynski and Andrzej Szalas. 2011.
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation.
Journal of Applied Non-Classical Logics, 21(2):211–232. Lavoisier.
DOI: 10.3166/jancl.21.211-232.
[83] Full text  Alexander Kleiner and Christian Dornhege. 2011.
Mapping for the Support of First Responders in Critical Domains.
Journal of Intelligent and Robotic Systems, 64(1):7–31. Springer.
DOI: 10.1007/s10846-010-9520-x.
[82] Full text  R. K√ľmmerle, B. Steder, C. Dornhege, Alexander Kleiner, G. Grisetti and W. Burgard. 2011.
Large Scale Graph-based SLAM using Aerial Images as Prior Information.
Autonomous Robots, 30(1):25–39. Springer.
DOI: 10.1007/s10514-010-9204-1.
[81] Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas Fisher, Nancy Green, Knut Hinkelmann, James McLurkin, Mary Lou Maher, Rajiv Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan Shell, Pedro Szekely, Barbara Thoenssen and Arnold B Urken. 2011.
Reports of the AAAI 2011 Spring Symposia.
The AI Magazine, 32(3):119–127. AAAI Press.
[80] Erik Sandewall. 2011.
From systems to logic in the early development of nonmonotonic reasoning.
Artificial Intelligence, 175(1):416–427. Elsevier.
DOI: 10.1016/j.artint.2010.04.013.
[79] Erik Sandewall. 2010.
Exercising Moral Copyright for Evolving Publications.
ScieCom Info, 6(3):????. Svenskt Resurscentrum för Vetenskaplig Kommunikation.
[78] Anh Linh Nguyen and Andrzej Szalas. 2010.
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH.
Transactions on Computational Collective Intelligence, ??(1):21–38. Springer. ISBN: 978-3-642-15033-3.
DOI: 10.1007/978-3-642-15034-0_2.
[77] Erik Sandewall. 2010.
Defeasible inheritance with doubt index and its axiomatic characterization.
Artificial Intelligence, 174(18):1431–1459. Elsevier.
DOI: 10.1016/j.artint.2010.09.001.
[76] Linh Anh Nguyen and Andrzej Szalas. 2010.
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.
Fundamenta Informaticae, 102(1):97–113. IOS Press.
DOI: 10.3233/FI-2010-299.
[75] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson. 2010.
Optimal placement of UV-based communications relay nodes.
Journal of Global Optimization, 48(4):511–531. Springer.
DOI: 10.1007/s10898-010-9526-8.
Note: The original publication is available at Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531. Springer Science Business Media
[74] Full text  Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk. 2010.
FlexDx: A Reconfigurable Diagnosis Framework.
Engineering applications of artificial intelligence, 23(8):1303–1313. Elsevier.
DOI: 10.1016/j.engappai.2010.01.004.
[73] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
A Framework for Graded Beliefs, Goals and Intentions.
Fundamenta Informaticae, 100(1-4):53–76. IOS Press.
DOI: 10.3233/FI-2010-263.
[72] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
A Layered Rule-Based Architecture for Approximate Knowledge Fusion.
DOI: 10.2298/CSIS100209015D.
[71] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnstr√∂m and Per-Magnus Olsson. 2010.
Relay Positioning for Unmanned Aerial Vehicle Surveillance.
The international journal of robotics research, 29(8):1069–1087. Sage Publications.
DOI: 10.1177/0278364910369463.
[70] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.
International Journal of Approximate Reasoning, 51(3):346–362. Elsevier.
DOI: 10.1016/j.ijar.2009.11.002.
[69] Karolina Eliasson. 2010.
A case-based approach to dialogue systems.
Journal of experimental and theoretical artificial intelligence (Print), 22(1):23–51. Taylor & Francis.
DOI: 10.1080/09528130902723708.
[68] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2010.
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 24(1):14–26. Elsevier.
DOI: 10.1016/j.aei.2009.08.007.
[67] Full text  R. K√ľmmerle, B. Steder, C. Dornhege, M. Ruhnke, G. Grisetti, C. Stachniss and Alexander Kleiner. 2009.
On Measuring the Accuracy of SLAM Algorithms.
Autonomous Robots, 27(4):387–407. Springer.
DOI: 10.1007/s10514-009-9155-6.
[66] Dov Gabbay and Andrzej Szalas. 2009.
Annotation Theories over Finite Graphs.
Studia Logica: An International Journal for Symbolic Logic, 93(2-3):147–180. Springer.
DOI: 10.1007/s11225-009-9220-3.
[65] Aida Vitoria, Jan Maluszynski and Andrzej Szalas. 2009.
Modelling and Reasoning with Paraconsistent Rough Sets.
Fundamenta Informaticae, 97(4):405–438.
DOI: 10.3233/FI-2009-209.
[64] Full text  Patrick Doherty, Jonas Kvarnstr√∂m and Fredrik Heintz. 2009.
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems.
Autonomous Agents and Multi-Agent Systems, 19(3):332–377. Springer.
DOI: 10.1007/s10458-009-9079-8.
[63] Andrzej Szalas and Dov Gabbay. 2009.
Voting by Eliminating Quantifiers.
Studia Logica: An International Journal for Symbolic Logic, 92(3):365–379. Springer.
DOI: 10.1007/s11225-009-9200-7.
[62] Full text  Gianpaolo Conte and Patrick Doherty. 2009.
Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information.
EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation.
DOI: 10.1155/2009/387308.
[61] Erik Johan Sandewall. 2008.
Extending the concept of publication: Factbases and knowledgebases.
Learned Publishing, 21(2):123–131. Association of Learned and Professional Society Publishers.
DOI: 10.1087/095315108X288893.
[60] Andrzej Szalas. 2008.
Towards Incorporating Background Theories into Quantifier Elimination.
Journal of applied non-classical logics, 18(2-3):325–340. √Čditions Herm√®s-Lavoisier.
DOI: 10.3166/jancl.18.325¬≠-340.
[59] Anders Lund, Peter Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. L√∂fgren, C. Paulin and A. Tell. 2008.
Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals.
Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy, 69(5):1294–1300. Elsevier.
DOI: 10.1016/j.saa.2007.09.040.
Note: Original publication: A. Lund, P. Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. Löfgren, C. Paulin and A. Tell, Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals, 2008, Spectrochimica Acta Part A, (69), 5, 1294-1300. Copyright: Elsevier B.V.,
[58] Full text  Thomas Lemaire, Cyrille Berger, Il-Kyun Jung and Simon Lacroix. 2007.
Vision-Based SLAM: Stereo and Monocular Approaches.
International Journal of Computer Vision, 74(3):343–364. Springer.
DOI: 10.1007/s11263-007-0042-3.
[57] Full text  Stephen Balakirsky, Stefano Carpin, Alexander Kleiner, Michael Lewis, Arnoud Visser, Jijun Wang and Vittorio Amos Ziparo. 2007.
Towards Heterogeneous Robot Teams for Disaster Mitigation: Results and Performance Metrics from Robocup Rescue.
Journal of Field Robotics, 24(11):943–967.
DOI: 10.1002/rob.20212.
[56] Full text  Alexander Kleiner and Christian Dornhege. 2007.
Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios.
Journal of Field Robotics, 24(8-9):723–745. Wiley.
DOI: 10.1002/rob.20208.
[55] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2007.
Communication between agents with heterogeneous perceptual capabilities.
Information Fusion, 8(1):56–69. Elsevier.
DOI: 10.1016/j.inffus.2005.05.006.
[54] Full text  D.M. Gabbay and Andrzej Szalas. 2007.
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals.
Studia Logica: An International Journal for Symbolic Logic, 87(1):37–50. Springer.
DOI: 10.1007/s11225-007-9075-4.
[53] Full text  Patrick Doherty and Andrzej Szalas. 2007.
A correspondence framework between three-valued logics and similarity-based approximate reasoning.
Fundamenta Informaticae, 75(1-4):179–193. IOS Press.
[52] Erik Sandewall. 2006.
Systems - Opening up the process.
Nature, ??(??):????. Nature Publishing Group.
DOI: 10.1038/nature04994.
[51] Full text  Patrik Haslum. 2006.
Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition.
The journal of artificial intelligence research, 25(??):233–267. AAAI Press.
DOI: 10.1613/jair.1885.
[50] Klas Nordberg, Patrick Doherty, Per-Erik Forss√©n, Johan Wiklund and Per Andersson. 2006.
A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle.
International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780.
DOI: 10.1142/S0218001406004867.
[49] Per Olof Pettersson and Patrick Doherty. 2006.
Probabilistic roadmap based path planning for an autonomous unmanned helicopter.
Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press.
[48] Full text  Fredrik Heintz and Patrick Doherty. 2006.
A knowledge processing middleware framework and its relation to the JDL data fusion model.
Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press.
[47] Andrzej Szalas. 2006.
Second-order Reasoning in Description Logics.
Journal of applied non-classical logics, 16(3 - 4):517–530. √Čditions Herm√®s-Lavoisier.
DOI: 10.3166/jancl.16.517-530.
[46] Full text  Patrick Doherty, Martin Magnusson and Andrzej Szalas. 2006.
Approximate Databases: A support tool for approximate reasoning.
Journal of applied non-classical logics, 16(1-2):87–118. √Čditions Herm√®s-Lavoisier.
DOI: 10.3166/jancl.16.87-117.
Note: Special issue on implementation of logics
[45] Full text  Fredrik Heintz and Patrick Doherty. 2004.
DyKnow: An approach to middleware for knowledge processing.
Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press.
[44] Full text  Joakim Gustafsson and Jonas Kvarnstr√∂m. 2004.
Elaboration tolerance through object-orientation.
Artificial Intelligence, 153(1-2):239–285. Elsevier.
DOI: 10.1016/j.artint.2003.08.004.
[43] Peter Bunus and Peter Fritzson. 2004.
Automated static analysis of equation-based components.
Simulation (San Diego, Calif.), 80(7-8):321–345.
DOI: 10.1177/0037549704046340.
[42] Full text  Bourhane Kadmiry and D. Driankov. 2004.
A fuzzy gain-scheduler for the attitude control of an unmanned helicopter.
IEEE transactions on fuzzy systems, 12(4):502–515. IEEE Computer Society.
DOI: 10.1109/TFUZZ.2004.832539.
[41] Bourhane Kadmiry and Dimiter Driankov. 2004.
A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control.
Fuzzy sets and systems (Print), 146(3):313–347. Elsevier.
DOI: 10.1016/j.fss.2003.07.002.
[40] Full text  Ubbo Visser and Patrick Doherty. 2004.
Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating.
The AI Magazine, 25(2):137–138. AAAI Press.
[39] Full text  Jonas Kvarnstr√∂m and Martin Magnusson. 2003.
TALplanner in the Third International Planning Competition: Extensions and control rules.
The journal of artificial intelligence research, 20(??):343–377. AAAI Press.
DOI: 10.1613/jair.1189.
[38] Full text  E Madalinska-Bugaj and Witold Lukaszewicz. 2003.
Formalizing defeasible logic in CAKE.
Fundamenta Informaticae, 57(2-3):193–213. IOS Press.
[37] Full text  Patrick Doherty, M Grabowski, Witold Lukaszewicz and Andrzej Szalas. 2003.
Towards a framework for approximate ontologies.
Fundamenta Informaticae, 57(2-4):147–165. IOS Press.
[36] Patrick Doherty and et al. 2003.
2003 AAAI Spring Symposium Series.
The AI Magazine, 24(3):131–140. AAAI Press.
[35] Full text  T. Weigel, J. -S Gutmann, M. Dietl, Alexander Kleiner and B. Nebel. 2002.
CS Freiburg: Coordinating Robots for Successful Soccer Playing.
IEEE transactions on robotics and automation, 18(5):685–699. IEEE.
DOI: 10.1109/TRA.2002.804041.
[34] Erik Sandewall. 2001.
On the Design of Software Individuals.
Electronic Transactions on Artifical Intelligence, 5(??):????. Linköpings Universitet.
[33] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
[32] Mark S Frankel, Roger Elliott, Martin Blume, Jean-Manuel Bourgois, Bernt Hugenholtz, Mats G. Lindquist, Sally Morris and Erik Sandewall. 2000.
Defining and Certifying Electronic Publication in Science.
Learned Publishing, 13(4):251–258. Association of Learned and Professional Society Publishers.
Link to article:
[31] Full text  Peter Jonsson, Patrik Haslum and Christer B√§ckstr√∂m. 2000.
Towards efficient universal planning: A randomized approach.
Artificial Intelligence, 117(1):1–29. Elsevier.
DOI: 10.1016/S0004-3702(99)00103-4.
[30] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 2000.
TALplanner: A temporal logic based forward chaining planner.
Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer.
DOI: 10.1023/A:1016619613658.
[29] Patrick Doherty, Witold Lukaszewicz and E. Madalin¬īska-Bugaj. 2000.
The PMA and relativizing minimal change for action update.
Fundamenta Informaticae, 44(1-2):95–131. IOS Press.
[28] Full text  Jonas Kvarnstr√∂m and Patrick Doherty. 2000.
Tackling the qualification problem using fluent dependency constraints.
Computational intelligence, 16(2):169–209. Blackwell Publishing.
DOI: 10.1111/0824-7935.00111.
[27] Full text  Lars Karlsson and Joakim Gustafsson. 1999.
Reasoning about Concurrent Interaction.
Journal of logic and computation (Print), 9(5):623–650. Oxford University Press.
DOI: 10.1093/logcom/9.5.623.
[26] Thomas Drakengren and Marcus Bj√§reland. 1999.
Reasoning about action in polynomial time.
Artificial Intelligence, 115(1):1–24. Elsevier.
DOI: 10.1016/S0004-3702(99)00065-X.
[25] Full text  Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas. 1999.
Meta-queries on deductive databases.
Fundamenta Informaticae, 40(1):17–30. IOS Press.
DOI: 10.3233/FI-1999-40102.
[24] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1999.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of logic and computation (Print), 9(5):737–758. Oxford University Press.
DOI: 10.1093/logcom/9.5.737.
[23] Full text  Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnstr√∂m. 1998.
(TAL) temporal action logics: Language specification and tutorial.
Electronic Transactions on Artifical Intelligence, 2(3-4):273–306.
[22] Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1998.
General domain circumscription and its effective reductions.
Fundamenta Informaticae, 36(1):23–55. IOS Press.
DOI: 10.3233/FI-1998-3612.
[21] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1997.
Computing circumscription revisited: A reduction algorithm.
Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers.
DOI: 10.1023/A:1005722130532.
[20] Andrzej Szalas. 1996.
On Natural Deduction in First-Order Fixpoint Logics.
Fundamenta Informaticae, 26(1):81–94. IOS Press.
DOI: 10.3233/FI-1996-2616.
[19] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
A reduction result for circumscribed semi-horn formulas.
Fundamenta Informaticae, 28(3,4):261–272. IOS Press.
DOI: 10.3233/FI-1996-283404.
[18] Andrzej Szalas. 1994.
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic.
Journal of Applied Non-Classical Logics, 4(2):119–127. √Čditions Herm√®s-Lavoisier.
[17] Andrzej Szalas. 1993.
On the Correspondence between Modal and Classical Logic: An Automated Approach.
Journal of logic and computation (Print), 3(6):605–620. Oxford University Press.
DOI: 10.1093/logcom/3.6.605.
[16] Patrick Doherty, Dimiter Driankov and Hans Hellendoorn. 1993.
Fuzzy if-then-unless rules and their implementation.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific.
DOI: 10.1142/S0218488593000097.
[15] Andrzej Szalas. 1992.
Axiomatizing Fixpoint Logics.
Information Processing Letters, 41(4):175–180. Elsevier.
DOI: 10.1016/0020-0190(92)90175-U.
[14] Patrick Doherty and Witold Lukaszewicz. 1992.
NML-3 - A non-monotonic logic with explicit defaults.
Journal of applied non-classical logics, 2(1):9–48. √Čditions Herm√®s-Lavoisier.
[13] Andrzej Szalas. 1991.
On Strictly Arithmetical Completeness in Logics of Programs.
Theoretical Computer Science, 79(2):341–355. Elsevier.
DOI: 10.1016/0304-3975(91)90336-Z.
[12] Uwe Petermann and Andrzej Szalas. 1989.
On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts.
Fundamenta Informaticae, 12(??):191–204. IOS Press.
[11] Andrzej Szalas. 1988.
Towards the Temporal Approach to Abstract Data Types.
Fundamenta Informaticae, 11(1):49–64. IOS Press.
[10] Andrzej Szalas. 1988.
An Incompleteness Result in Process Algebra.
Information Processing Letters, 29(2):67–70. Elsevier.
DOI: 10.1016/0020-0190(88)90030-0.
[9] Leszek Holenderski and Andrzej Szalas. 1988.
Propositional Description of Finite Cause-Effect Structures.
Information Processing Letters, 27(3):111–117. Elsevier.
DOI: 10.1016/0020-0190(88)90064-6.
[8] Andrzej Szalas and Leszek Holenderski. 1988.
Incompleteness of First-Order Temporal Logic with Until.
Theoretical Computer Science, 57(2-3):317–325. Elsevier.
DOI: 10.1016/0304-3975(88)90045-X.
[7] Andrzej Szalas. 1987.
A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time.
Theoretical Computer Science, 54(2-3):199–214. Elsevier.
DOI: 10.1016/0304-3975(87)90129-0.
[6] Andrzej Szalas. 1987.
Arithmetical Axiomatization of First-Order Temporal Logic.
Information Processing Letters, 26(3):111–116. Elsevier.
DOI: 10.1016/0020-0190(87)90047-0.
[5] Andrzej Szalas. 1986.
Concerning the Semantic Consequence Relation in First-Order Temporal Logic.
Theoretical Computer Science, 47(3):329–334. Elsevier.
DOI: 10.1016/0304-3975(86)90157-X.
[4] Uwe Petermann and Andrzej Szalas. 1985.
A Note on PCI: Distributed Processes Communicating by Interrupts.
SIGPLAN notices, 20(3):37–46. ACM Press.
DOI: 10.1145/382284.382390.
[3] Andrzej Szalas and Danuta Szczepaska. 1985.
Exception Handling in Parallel Computations.
SIGPLAN notices, 20(10):95–104. ACM Press.
DOI: 10.1145/382286.382385.
[2] Andrzej Szalas. 1984.
On an Application of Algorithmic Theory of Stacks.
Fundamenta Informaticae, 7(3):378–388. IOS Press.
[1] Andrzej Szalas. 1981.
Algorithmic Logic with Recursive Functions.
Fundamenta Informaticae, 4(4):975–995. IOS Press.