AIICS

AIICS Publications

AIICS

Journal Publications

Show abstracts (where available) BibTeX entries
2013
[94]		Cyrille Berger. 2013. Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR. Journal of Automation, Mobile Robotics & Intelligent Systems, 1(??):??–??.
[93]		Patrick Doherty, Fredrik Heintz and Jonas Kvarnström. 2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. Unmanned Systems, ??(??):??–??. World Scientific. Publication status: Accepted
[92]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2013. Stream-Based Hierarchical Anchoring. Künstliche Intelligenz, ??(??):??–??. Springer. Publication status: Accepted
[91]		H. L. Akin, N. Ito, A. Jacoff, Alexander Kleiner, J. Pellenz and A. Visser. 2013. RoboCup Rescue Robot and Simulation Leagues. The AI Magazine, ??(??):??–??. Publication status: Accepted Note: Accepted for publication
[90]		Christian Dornhege and Alexander Kleiner. 2013. A Frontier-Void-Based Approach for Autonomous Exploration in 3D. Advanced Robotics, ??(??):??–??. Taylor and Francis. Publication status: Accepted Note: Accepted for publication
[89]		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.
2012
[88]		Quirin Hamp, Omar Gorgis, Patrick Labenda, Marc Neumann, Thomas Predki, Leif Heckes, Alexander Kleiner and Leonard Reindl. 2012. Study of eciency of USAR operations with assistive technologies. Advanced Robotics, ??(??):??–??. Publication status: Accepted
[87]		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.
2011
[86]		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.
[85]		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.
[84]		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.
[83]		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.
[82]		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.
[81]		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.
[80]		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.
[79]		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.
2010
[78]		Erik Sandewall. 2010. Exercising Moral Copyright for Evolving Publications. ScieCom Info, 6(3):??–??. Svenskt Resurscentrum för Vetenskaplig Kommunikation. Link: http://www.sciecom.org/ojs/index.php/sci...
[77]		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.
[76]		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.
[75]		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.
[74]		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 www.springerlink.com:Oleg 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.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science Business Mediahttp://www.springerlink.com/
[73]		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. Note: Original Publication: Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk, FlexDx: A reconfigurable diagnosis framework, 2010, Engineering applications of artificial intelligence, (23), 8, 1303-1313. http://dx.doi.org/10.1016/j.engappai.2010.01.004 Copyright: Elsevier Science B.V., Amsterdam. http://www.elsevier.com/
[72]		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.
[71]		Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010. A Layered Rule-Based Architecture for Approximate Knowledge Fusion. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 7(3):617–642. COMSIS CONSORTIUM. DOI: 10.2298/CSIS100209015D.
[70]		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.
[69]		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.
[68]		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.
[67]		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.
2009
[66]		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.
[65]		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.
[64]		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.
[63]		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.
[62]		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.
[61]		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.
2008
[60]		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.
[59]		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.
2007
[58]		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]		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]		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]		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]		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]		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.
2006
[52]		Erik Sandewall. 2006. Systems - Opening up the process. Nature, ??(??):??–??. Nature Publishing Group. DOI: 10.1038/nature04994.
[51]		Patrik Haslum. 2006. *Improving heuristics through relaxed search - An analysis of TP4 and HSPa 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]		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]		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
2004
[45]		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]		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]		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]		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.
2003
[39]		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]		E Madalinska-Bugaj and Witold Lukaszewicz. 2003. Formalizing defeasible logic in CAKE. Fundamenta Informaticae, 57(2-3):193–213. IOS Press.
[37]		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.
2002
[35]		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.
2001
[34]		Erik Sandewall. 2001. On the Design of Software Individuals. Electronic Transactions on Artifical Intelligence, 5(??):??–??. Linköpings Universitet.
[33]		Patrick Doherty and Jonas Kvarnström. 2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press.
2000
[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: http://www.ida.liu.se/ext/caisor/archive...
[31]		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]		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]		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.
1999
[27]		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]		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]		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.
1998
[23]		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. Link: http://www.ep.liu.se/ej/etai/1998/009/
[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.
1997
[21]		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.
1996
[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]		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.
1994
[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.
1993
[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.
1992
[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.
1991
[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.
1989
[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.
1988
[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.
1987
[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.
1986
[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.
1985
[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.
1984
[2]		Andrzej Szalas. 1984. On an Application of Algorithmic Theory of Stacks. Fundamenta Informaticae, 7(3):378–388. IOS Press.
1981
[1]		Andrzej Szalas. 1981. Algorithmic Logic with Recursive Functions. Fundamenta Informaticae, 4(4):975–995. IOS Press.

Responsible for this page: AIICS Publications

Last updated:

Org.nr: 202100-3096
VAT nr: SE202100309601
Plusgiro: 18 34 15-9

Department of Computer and Information Science
Link�ping University
SE-581 83 LINK�PING, SWEDEN
Tel: +46 13 28 10 00
Fax: +46 13 14 22 31