2021W

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Fundamentals of Computer Engineering / 183.579 / VU
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Introduction to Programming 1 / 185.A91 / VU
• Logic and Computability / 185.A45 / VU
• Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
• Project in Computer Science 1 / 185.A36 / PR
• Project in Computer Science 2 / 185.A37 / PR
• Propädeutikum für Informatik / 180.771 / VU
• Research Seminar for Master and PhD students / 185.A39 / SE
• Research Seminar LogiCS / 184.767 / SE
• Scientific Research and Writing / 193.052 / SE
• Seminar for Master Students in Logic and Computation / 180.773 / SE
• Seminar in Logic / 192.123 / SE
• Seminar in Security (Smart Contracts) / 192.128 / SE
• Seminar in Software Engineering (Smart Contracts) / 192.127 / SE
• Theoretical Computer Science and Logics / 185.278 / VU

2022S

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Deontic Logic for Normative Reasoning / 192.130 / VU
• Formal Modelling / 185.A06 / VU
• Foundations of Computer and Communication Systems / 192.121 / VU
• Fundamentals of Computer Engineering for Business Informatics / 185.A74 / VU
• Fundamentals of programming and algorithms / 192.097 / VU
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Introduction to Programming 1 / 185.A91 / VU
• Non-classical Logics / 192.085 / VU
• Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
• Project in Computer Science 1 / 185.A36 / PR
• Project in Computer Science 2 / 185.A37 / PR
• ProWriting -- Effective Research Project Proposal Writing for Public Funding / 195.109 / VU
• Research Seminar for Master and PhD students / 185.A39 / SE
• Research Seminar LogiCS / 184.767 / SE
• Scientific Research and Writing / 193.052 / SE
• Seminar for Master Students in Logic and Computation / 180.773 / SE
• Seminar in Logic / 185.316 / SE
• Smart Contracts / 192.078 / VU

• Mosaic -- modal logics
  2021 – 2025 / European Commission
• Axiomatizing conditional normative reasoning
  2021 – 2023 / Austrian Science Fund (FWF)
• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
• On the Computational Interpretation of Intermediate Logics
  2019 – 2022 / Austrian Science Fund (FWF)
• Norm-based reasoning: from legal and moral traditions to AI systems
  2019 – 2020 / Norms
• Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
  2017 – 2022 / Vienna Science and Technology Fund (WWFT)
• TICAMORE: Translating and discovering calculi for modal and related logics
  2017 – 2022 / Austrian Science Fund (FWF)
• Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics
  2016 – 2019 / European Commission
• Formalizing Proof Theory
  2016 – 2017 / Austrian Exchange Service (OeAD)
• Modeling vague quantifiers in mathematical fuzzy logic
  2015 – 2018 / Austrian Science Fund (FWF)
• Proof-theoretic Analysis of Modal Logics
  2015 – 2017 / European Commission
• Nested Sequents for Interpolation and Realization
  2015 – 2017 / FWF
• A Logical Framework for Dialogue Games
  2013 – 2017 / Austrian Science Fund (FWF)
• Nonclassical Proofs: Theory, Applications and Tools
  2011 – 2019 / Austrian Science Fund (FWF)

2022

• Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum / H. Rameder, M. Di Angelo, G. Salzer / Frontiers in Blockchain, 5 (2022), 1 - 20

2021

• A Kelsenian deontic logic / A. Ciabattoni, X. Parent et al. / Talk: Jurix 2021, 34th International Conference on Legal Knowledge and Information Systems, Vilnius, Litauen; 2021-12-08 - 2021-12-10; in: "Proceedings of 34th International Conference on Legal Knowledge and Information Systems", 346 (2021), 141 - 150
• Games for Hybrid Logic / R. Freiman / Talk: The 27th International Workshop, WoLLIC 2021, online international; 2021-10-05 - 2021-10-08; in: "Logic, Language, Information, and Computation", P. Silva et al. (ed.); LNCS 13038 (2021), ISBN: 978-3-030-88853-4; 133 - 149
• Provability Games for Non-classical Logics / A Pavlova / Talk: The 27th International Workshop, WoLLIC 2021, online; 2021-10-05 - 2021-10-08; in: "Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings", P. Silva et al. (ed.); 13038 (2021), ISBN: 978-3-030-88852-7; 408 - 425
• Revisting Brandom's Incompatibility Semantics / C. Fermüller / Keynote Lecture: Logica 2021, Hejnice, Czech Republic; 2021-09-28 - 2021-10-01
• Empirical Evaluation of MakerDAO's Resilience / M. Kjäer, M. Di Angelo, G. Salzer / Talk: 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris; 2021-09-27 - 2021-09-30; in: "Proc. Conference on Blockchain Research & Applications for Innovative Networks and Services", (2021), ISBN: 978-1-6654-3924-4; Paper ID 1570716378, 8 pages
• The Power of Parallelism in Membrane Computing / R. Freund et al. / Talk: Proceedings of the 21st Conference Information Technologies - Applications and Theory {(ITAT}, Muranska, Slovakei (invited); 2021-09-24 - 2021-09-28; in: "Proceedings of the 21st Conference Information Technologies - Applications and Theory {(ITAT}", 2962 (2021), ISSN: 1613-0073; 1 - 16
• Terminating calculi and countermodels for constructive modal logics / T. Dalmonte et al. / Talk: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham; 2021-09-06 - 2021-09-09; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Birmingham", LNAI12842 (2021), ISBN: 978-3030860585; 391 - 408
• Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq / R. Gore, R. Ramanayake et al. / Talk: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham; 2021-09-06 - 2021-09-09; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Proceedings}", LNAI12842 (2021), ISBN: 978-3030860585; 299 - 313
• CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT / R. Gore et al. / Talk: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham; 2021-09-06 - 2021-09-09; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Birmingham, UK, September 6-9, 2021, Proceedings}", LNAI12842 (2021), ISBN: 978-3030860585; 74 - 91
• A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. / R. Gore et al. / Talk: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham; 2021-09-06 - 2021-09-09; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Birmingham, UK, September 6-9, 2021, Proceedings},", LNAI12842 (2021), ISBN: 978-3030860585; 281 - 298
• Subverting Counter Mode Encryption for Hidden Communication in High-Security Infrastructures / A. Hartl, J. Fabini, Ch Roschger, P. Eder-Neuhauser, M. Petrovic, R. Tobler, T. Zseby / Talk: The 16th International Conference on Availability, Reliability and Security (ARES 2021), Wien; 2021-08-17 - 2021-08-20; in: "ARES 2021: The 16th International Conference on Availability, Reliability and Security", Association for Computing Machinery, New York, NY, USA (2021), ISBN: 978-1-4503-9051-4; Paper ID 301, 11 pages
• Using formal argumentation to clarify structures of legal reasoning / K. van Berkel, G. Sartor / Talk: 26th European Conference on South Asian Studies (ECSAS), University of Vienna, virtuel; 2021-07-26 - 2021-07-29
• Proof Systems for the Logics of Bringing-It-About. / T. Dalmonte, N. Olivetti et al. / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Deontic logic and normative systems. Proceedings of 15th international conference DEON 2020/21", (2021), ISBN: 978-1-84890-352-4; 114 - 132
• If You Want to Smoke, Don´t Buy Cigarettes: Near Anankastics, Contexts, and Hyper Modality / K. van Berkel, D.M. Gabbay et al. / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 36 - 55
• The Varieties of Ought-Implies-Can and Deontic STIT Logic / K. van Berkel, T. Lyon / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 55 - 76
• A Reduction in Violation Logic / T Lang / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 291 - 307
• The Gentle Murder Paradox in Sanskrit Philosophy / A. Ciabattoni, K. van Berkel, E. Freschi, F. Gulisano, M. Olszewski / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 17 - 35
• Input/Output Logic With a Consistency Check-the Case of Permission / M. Olszewski, X. Parent et al. / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 358 - 375
• A Normative Supervisor for Reinforcement Learning Agents / E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576
• MCP: Capturing Big Data by Satisfiability (Tool Description) / M. Hermann, G. Salzer et al. / Talk: SAT 2021, Barcelona; 2021-07-05 - 2021-07-09; in: "Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings", Springer LNCS, 12831 (2021), ISBN: 978-3-030-80222-6; 207 - 215
• An algorithmic version of Zariski's lemma / F. Wiesnet / Talk: Computability in Europe 2021: Connecting with Computability, Online Seminar, Gent, Belgien; 2021-07-05 - 2021-07-09
• Game Approach to Logical Validity: A Case of Mezhirov's Provability Game / A Pavlova / Talk: WiL2021: 5th International Workshop "Women in Logic" Rome, Italy, June 27, 2021, Rom, Online; 2021-06-27
• Public Announcement for Intuitionistic Epistemic Logic / A Pavlova / Talk: The Twelfth Smirnov Readings in Logic (24-26 June 2021, Moscow, online), Moskau; 2021-06-24 - 2021-06-26
• Proof-theory of agency logics of bringing-it-about / T. Dalmonte / Talk: TICAMORE 7th meeting, Wien, online (invited); 2021-06-16 - 2021-06-17
• What is the (potential) role of proof theory for normative reasoning? / K. van Berkel / Talk: TICAMORE 7th meeting, Wien; 2021-06-16 - 2021-06-17
• What is the (potential) role of proof theory for normative reasoning? / K. van Berkel / Talk: AuReLeE kick-off workshop, Automated Reasoning with Legal Entities (AuReLeE), ICR University of Luxembourg (virtual) (invited); 2021-05-27
• Towards the Identification of Security Tokens on Ethereum / M. Di Angelo, G. Salzer / Talk: 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), Paris; 2021-04-19 - 2021-04-21; in: "3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021)", (2021), ISBN: 978-1-6654-4399-9; 5 pages
• Normative reasoning in Mīmāṃsā: A deontic logic approach / A. Ciabattoni / Talk: ICLA 2021 9th Indian Conference on Logic and its Applications, online (invited); 2021-03-04
• A case study of proof mining in analysis / F. Wiesnet / Talk: Doc in Progress, online Seminar, University di Trento; 2021-01-14
• Preference semantics for Hansson-type dyadic deontic logic: a survey of results / X. Parent / in: "The Handbook of Deontic Logic and Normative Systems", 2; College Publications, 2021, ISBN: 978-1-84890-363-0, 7 - 70
• The handbook of Deontic Logic and Normative Systems / X. Parent et al. / College Publications, 2021, ISBN: 978-1-84890-363-0; 790 pages
• Membrane Computing - 21st International Conference, CMC 2020 / R. Freund / in series "Membrane Computing - 21st International Conference, {CMC} 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers", series editor: R. Freund; Springer International Publishing, 2021, ISBN: 978-3-030-77102-7, 179 pages
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. / B. Lellmann, E. Pimentel, T. Dalmonte et al. / Journal of Logic and Computation, 31 (2021), 1; 67 - 111
• From Semantic Games to Provability: The Case of Gödel Logic / A Pavlova, T Lang, R. Freiman / Studia Logica, 110 (2021), 429 - 456
• A universal algorithm for Krull´s theorem / F. Wiesnet et al. / Information and Computation, 21 (2021)
• An abstract form of the first epsilon theorem / M. Baaz, A. Leitsch, A. Lolic / Journal of Logic and Computation, 30 (2021), 8; 1447 - 1468
• Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach / B. Lellmann, F. Gulisano, A. Ciabattoni / Artificial Intelligence and Law, 29 (2021), 3; 351 - 394
• Rates of convergence for asymptotically weakly contractive mappings in normed spaces / F. Wiesnet, T. Powell / Numerical Functional Analysis and Optimization, 43 (2021)
• Schematic Refutations of Formula Schemata / A. Leitsch, D. Cerna, A. Lolic / Journal of Automated Reasoning, 65 (2021), 5; 599 - 645
• Dialogue Games for Minimal Logic / A Pavlova / Logic and Logical Philosophy, 30 (2021), 2; 281 - 309
• Bounded-analytic sequent calculi and embeddings for hypersequent logics. / A. Ciabattoni, T Lang, R. Ramanayake / The Journal of Symbolic Logic, 86 (2021), 2; 635 - 668
• Preface / R. Freund et al. / Natural Computing, 20 (2021), 4; 637 - 638
• When catalytic P systems with one catalyst can be computationally complete. / R. Freund, S. Ivanov, A. Alhazov / Journal of Membrane Computing, 3 (2021), 3; 170 - 181
• P systems with limited number of objects / R. Freund, S. Ivanov, A. Alhazov / Journal of Membrane Computing, 3 (2021), 1; 1 - 9
• Relations between Control Mechanisms for Sequential Grammars / R. Freund, M. Oswald, A. Alhazov, S. Ivanov / Fundamenta Informaticae, 181 (2021), 2-3; 239 - 271
• Logic for exact real arithmetic / F. Wiesnet, H. Schwichtenberg / Logical Methods in Computer Science, 17 (2021), 2
• Display to Labeled Proofs and Back Again for Tense Logics / A. Ciabattoni, T. Lyon, R. Ramanayake et al. / ACM Transactions on Computational Logic, 22 (2021), 3; 1 - 31
• Identification of Token Contracts on Ethereum: Standard Compliance and Beyond / M. Di Angelo, G. Salzer / International Journal of Data Science and Analytics (JDSA), 2021 (2021), online first
• Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning ({R}uleML+{RR} 2018)} / X. Parent et al. / TPLP - Theory and Practice of Logic Programming, 21 (2021), 1; 1 - 3
• An Algorithmic Version of Zariski's Lemma / F. Wiesnet et al. / in: "Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings", 12813; Springer International Publishing, 2021, ISBN: 978-3-030-80049-9, 469 - 482
• Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms / A. Ciabattoni, B. Lellmann / in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 94 - 113
• Explainable Rule Extraction via Semantic Graphs / G. Recski, B. Lellmann, A. Kovacs, A. Hanbury / in: "Proceedings of the Fifth Workshop on Automated Semantic Analysis of Information in Legal Text (ASAIL 2021)", issued by: CEUR Workshop Proceedings; CEUR-WS.org, 2021, 24 - 35
• Fuzzy Logic / P. Cintula, C. Fermüller, C. Noguera / in: "The Stanford Encyclopedia of Philosophy", E. Zalta (ed.); issued by: Metaphysics Research Lab, Stanford University; Stanford University, 2021, (invited)

2020

• Assessing the Similarity of Smart Contracts by Clustering their Interfaces / M. Di Angelo, G. Salzer / Talk: 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guangzhou, China; 2020-12-29 - 2021-01-01; in: "19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)", IEEE, (2020), ISBN: 978-0-7381-4380-4; 1 - 10
• eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts / C. Schneidewind, I. Grishchenko, M. Scherer, M. Maffei / Talk: ACM Conference on Computer and Communications Security (CCS), Orlando; 2020-11-09 - 2020-11-13; in: "CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security", Association for Computing Machinery ACM, (2020), ISBN: 978-1-4503-7089-9; 621 - 640
• Interpreting Propositional Fuzzy Logics via Imperfect Information Games / C. Fermüller, O. Majer / Talk: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki; 2020-11-09 - 2020-11-11; in: "2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)", IEEE Computer Society, (2020), ISBN: 978-1-7281-5406-0; 237 - 242
• The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts / C. Schneidewind, M. Scherer, M. Maffei / Talk: International Symposium on Leveraging Applications of Formal Methods (ISoLA), Rhodes; 2020-10-20 - 2020-10-30; in: "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", Springer, 7609 (2020), ISBN: 978-3-642-34025-3; 1 - 20
• Characteristics of Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Talk: 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, Paris; 2020-09-28 - 2020-09-30; in: "Proc. BRAINS", IEEE, (2020), 8 pages
• Functional Differences of Neo and Ethereum as Smart Contract Platforms / M. Bareis, M. Di Angelo, G. Salzer / Talk: 2nd Int. Congress on Blockchain and Applications (ICBA), Aquila; 2020-09-28 - 2020-09-30; in: "2nd International Congress on Blockchain and Applications", J. Prieto et al. (ed.); Springer, AISC 1238 (2020), ISBN: 978-3-030-52535-4; 13 - 23
• Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Poster: International Conference on Blockchain and Cryptocurrency, Toronto, Canada; 2020-05-02 - 2020-05-06; in: "International Conference on Blockchain and Cryptocurrency", IEEE, (2020), ISBN: 978-1-7281-6680-3; 1 - 2
• Tokens, Types, and Standards: Identification and Utilization in Ethereum / M. Di Angelo, G. Salzer / Talk: International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; 2020-04-13 - 2020-04-16; in: "Proc. IEEE DAPPS 2020", IEEE, (2020), ISBN: 978-1-7281-6978-1; 1 - 10
• Characterizing Types of Smart Contracts in the Ethereum Landscape / M. Di Angelo, G. Salzer / Talk: 4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; 2020-02-14 - 2020-02-16; in: "Financial Cryptography and Data Security (FC 2020) International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers", Springer, LNCS 12063 (2020), 389 - 404
• Par means parallel: multiplicative linear logic proofs as concurrent functional programs" / F. Aschieri, F. Genco / Talk: POPL2020, New Orleans; 2020-01-19 - 2020-01-21
• On the concurrent computational content of intermediate logics / F. Aschieri, A. Ciabattoni, F. Genco / Theoretical Computer Science, 813 (2020), 375 - 409
• Par means parallel: multiplicative linear logic proofs as concurrent functional programs / F. Aschieri, F. Genco / Proceedings of the ACM on Programming Languages, 4 (2020), 1 - 18
• On fuzzification mechanisms for unary quantification / P. Baldi, C. Fermüller, M. Hofer / Fuzzy Sets and Systems, 388 (2020), 90 - 123
• A realistic view on normative conflicts / M. Pascucci, D. Glavanicova / Logic and Logical Philosophy, 29 (2020), 36 - 51
• Time-freeness and clock-freeness and related concepts in {P} systems / R. Freund, A. Alhazov et al. / Theoretical Computer Science, 805 (2020), 127 - 143
• P systems with randomized right-hand sides of rules / R. Freund, A. Alhazov et al. / Theoretical Computer Science, 805 (2020), 805; 144 - 160
• Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms / B. Lellmann, A. Ciabattoni / in: "DEOn 2020/2021", College Publications, 2020, 1 - 18
• From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / C. Fermüller, T Lang, A Pavlova / in: "IPMU 2020: Information Processing and Management of Uncertainty in Knowledge-Based SystemsI", 978-3-030-50146-4; Springer, 2020, 257 - 270
• A typed parallel lambda-calculus via 1-depth intermediate proofs / F. Aschieri, A. Ciabattoni, F. Genco / in: "LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning", 73; L. Kovacs et al. (ed.); EasyChair EPiC Series in Computing, 2020, 22 pages
• How derivation modes and halting conditions may influence the computational power of P systems / R. Freund / Journal of Membrane Computing, 2 (2020), 1; 11 pages
• Schematic Refutations of Formula Schemata / D. Cerna, A. Leitsch, A. Lolic / Journal of Automated Reasoning, online (2020)

2019

• Translating Quantitative Semantic Bounds into Nested Sequents / R. Kuznets, B. Lellmann / Talk: Fifth TICAMORE MEETING, Wien (invited); 2019-11-11 - 2019-11-13
• Bounded sequent calculi via hypersequents / T Lang / Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / K. van Berkel / Talk: Fifth TICAMORE MEETING, Wien, Wolfgang Pauli Institut; 2019-11-11 - 2019-11-13
• Judgment Aggregation From a Many-valued Logic Perspective / C. Fermüller / Keynote Lecture: Nonclassical Logics and Judgment Aggregation, Prag; 2019-11-07 - 2019-11-10
• Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics. / K. van Berkel / Talk: Workshop on Logic & Argumentation, Wien, TU; 2019-11-06
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / T. Lyon, K. van Berkel / Talk: PRIMA 2019, Turin; 2019-10-28 - 2019-10-31; in: "The 22nd International Conference on Principles and Practice of Multi-Agent Systems", 11873 (2019), ISBN: 978-3-030-33791-9; 202 - 218
• Formal analysis of responsibility attribution in a multimodal framework / M. Pascucci, D. Glavanicova / Talk: PRIMA 2019, Turin; 2019-10-28 - 2019-10-31; in: "Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems", 11873 (2019), 36 - 51
• Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / K. van Berkel, A. Ciabattoni et al. / Talk: 7th Conference on Logic, Rationality and Interaction (LORI-VII, 2019), Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science", (2019), ISBN: 978-3-662-60291-1; 355 - 369
• A Neutral Temporal Deontic STIT Logic / K. van Berkel, T. Lyon / Talk: Logic, Rationality, and Interaction - 7th International Workshop, LORI, Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science,", 11813 (2019), ISBN: 978-3-662-60291-1; 340 - 354
• Reversibility and Determinism in P Systems / R. Freund / Talk: Reversibility in Programming, Languages, and Automata (RPLA), Porto; 2019-10-07 - 2019-10-11
• Tissue P Systems with Anti-Cells / R. Freund / Talk: 29. Theorietag Automaten und Formale Sprachen, Bremen; 2019-09-26
• A Game Model for Proofs with Costs / T Lang, C. Olarte, E. Pimentel, C. Fermüller / Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 241 - 258
• Bounded sequent calculi for non-classical logics via hypersequents / A. Ciabattoni, R. Ramanayake, T Lang / Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 94 - 110
• Performance and Scalability of Private Ethereum Blockchains / M. Schäffer, M. Di Angelo, G. Salzer / Talk: Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; 2019-09-01 - 2019-09-06; in: "BPM Blockchain and Central and Eastern Europe Forum, Proceeddings", Springer, Lecture Notes in Business Information Processing 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15
• A Formal Framework for Spiking Neural P Systems / R. Freund, S. Verlan, A. Alhazov et al. / Talk: CMC20, Curtea de Arges, Romania; 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); Editura Bibliostar, Ramniciu Valcea (2019), ISBN: 978-606-8493-76-3; 523 - 536
• Playing with Derivation Modes / R. Freund / Talk: CMC20, Curtea de Arges, Romania (invited); 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); (2019), ISBN: 978-606-8493-76-3; 109 - 123
• P Systems with Anti-Membranes / R. Freund, A. Alhazov, S. Ivanov / Talk: CMC20, Curtea de Arges, Romania; 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); (2019), ISBN: 978-606-8493-76-3; 249 - 256
• Methods to prove non-cohesiveness in canonical models / M. Pascucci / Talk: Goedel's Legacy, Wien; 2019-07-25 - 2019-07-27
• A General Framework for Sequential Grammars with Control Mechanisms / R. Freund / Talk: DCFS 2019, Kosice, Slovakia; 2019-07-17 - 2019-07-19; in: "Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS2019 Proceedings", M. Hospodar et al. (ed.); LNCS 11612 (2019), ISBN: 978-3-030-23246-7; 1 - 34
• Towards a concurrrent lambda calculus: via linear logic / F. Aschieri / Talk: Workshop, Proof, Computation, Complexity, Stockholm; 2019-07-15 - 2019-07-19
• Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time / M. Di Angelo, G. Salzer / Talk: BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; 2019-07-08 - 2019-07-15; in: "Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19)", ACM, (2019), ISBN: 978-1-4503-6785-1; 1 - 10
• Turing machines with activations of transitions / R. Freund, L. Staiger / Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03; in: "Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA", Österreichische Computer Gesellschaft, (2019), ISBN: 978-3-903035-25-6; 79 - 91
• Register machines over groups / R. Freund, A. Alhazov, S. Ivanov / Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03; in: "Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019", Österreichische Computer Gesellschaft, (2019), ISBN: 978-3-903035-25-6; 31 - 46
• Blind and partially blind reister machines over groups / R. Freund, A. Alhazov et al. / Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03
• Collateral Use of Deployment Code for Smart Contracts in Ethereum / M. Di Angelo, G. Salzer / Talk: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; 2019-06-24 - 2019-06-26; in: "2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)", IEEE, (2019), ISBN: 978-1-7281-1542-9; 1 - 5
• Automated reasoning in normative detachment structures with ideal conditions / M. Pascucci, T. Libal / Talk: ICAIL 2019, Montreal; 2019-06-17 - 2019-06-21; in: "Proceedings of the International Conference on Artificial Intelligence and Law (ICAIL)", ACM, (2019), ISBN: 978-1-4503-6754-7; 63 - 72
• "Defining Responsibility / M. Pascucci, D. Glavanicova / Talk: Current Trends in Deontic Logic II, Bratislava; 2019-05-30 - 2019-05-31
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. / K. van Berkel, T. Lyon / Talk: 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA}", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 803 - 819
• Smart Contracts in View of the Civil Code / M. Di Angelo, A. Soare, G. Salzer / Talk: SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; 2019-04-08 - 2019-04-12; in: "SAC '19: Symposium on Applied Computing Proceedings", ACM, (2019), ISBN: 978-1-4503-5933-7; 392 - 399
• Modalities as prices: a game model of intuitionistic linear logic with subexponentials / C. Fermüller / Talk: GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag; 2019-04-06 - 2019-04-07
• A Survey of Tools for Analyzing Ethereum Smart Contracts / M. Di Angelo, G. Salzer / Talk: IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; 2019-04-05 - 2019-04-09; in: "2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings", IEEE, (2019), ISBN: 978-1-7281-1264-0; 69 - 78
• SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course / M. Di Angelo, C. Sack, G. Salzer / Talk: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; 2019-02-22 - 2019-02-26; in: "3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings", Springer, LNCS 11599 (2020), 91 - 105
• Argumentation Based Semantics for Nonclassical Logics / C. Fermüller / Keynote Lecture: A primer of formal argumentation, Milano; 2019-01-29 - 2019-01-31
• Intermediate Logic Proofs as Concurrent Programs / A. Ciabattoni, F. Genco, F. Aschieri / Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25
• Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019, Valencia, Spain, July 2-3, 2019 / R. Freund, M Holzer et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2019, ISBN: 978-3-903035-25-6; 204 pages
• Expansion trees with cut / F. Aschieri, S. Hetzl, D. Weller / Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029
• Minimal Distance of Propositional Models / M. Behrisch, M. Hermann, S. Mengel, G. Salzer / Theory of Computing Systems, 63 (2019), 6; 1131 - 1184
• Extraction of Expansion Trees / A. Lolic, A. Leitsch / Journal of Automated Reasoning, 62 (2019), 3; 393 - 430
• On the Generation of Quantified Lemmas / G. Ebner, S. Hetzl, A. Leitsch, G. Reis, D. Weller / Journal of Automated Reasoning, 63 (2019), 1; 95 - 126
• Duty and sacrifice. A logical analysis of the Mīmāṃsā theory of Vedic injunctions / M. Pascucci, E. Freschi et al. / History and Philosophy of Logic, 40 (2019), 4; 323 - 354
• Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, 23 (2019), 7; 2255 - 2270
• Variants of P systems with activation and blocking of rules / R. Freund, A. Alhazov, S. Ivanov / Natural Computing, 18 (2019), 3; 593 - 608
• Preface / M. Pascucci et al. / Organon F., 26 (2019), 26; 318 - 322
• Expansion trees with cut / F. Aschieri, D. Weller et al. / Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029
• Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors / R. Freund, S. Verlan et al. / International Journal of Foundations of Computer Science, 30 (2019), 6-7; 1005 - 1027
• Playing with Derivation Modes and Halting Conditions / R. Freund / in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., Sevilla, 2019, 978-84-14347-4, 91 - 108
• P Systems: from Anti-Matter to Anti-Rules / R. Freund / in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., sevilla, 2019, 978-84-14347-4, 41 - 58
• (Tissue) P Systems with Anti-Membranes / R. Freund et al. / in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5-8, 2019", Artes Gr a cas Moreno, S.L., Sevilla, 2019, 978-84-14347-4, 29 - 40
• Beyond Generalized Multiplicities: Register Machines over Groups / R. Freund, A. Alhazov, S. Ivanov / in: "Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019", Artes Gr a cas Moreno, S.L., 2019, 978-84-14347-4, 1 - 28
• Tissue P Systems with Point Mutation Rules / R. Freund, A. Alhazov, S. Ivanov, S. Verlan / in: "Membrane Computing. 19th International Conference, CMC 2018", 11399; G. Rozenberg et al. (ed.); Springer International Publishing Switzerland, 2019, ISBN: 978-3-030-12796-1, 33 - 57
• Natural Deduction and Normalization Proofs for the Intersection Type Discipline / F. Aschieri / in: "Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, and Ninth Workshop on Intersection Types and Related Systems", Computing Research Repository (CoRR), abs.1904-10106, 2019, 9 pages
• Schematic Refutations of Formula Schemata / D. Cerna, A. Leitsch, A. Lolic / ArXiv, 1902.08055 (2019), 52 pages
• A note on the issue of cohesiveness in canonical models / M. Pascucci / Journal of Logic, Language and Information, 28 (2019), 28; 18 pages
• Propositional quantifiers in labelled natural deduction for normal modal logic / M. Pascucci / Logic Journal of the IGPL, jzz008 (2019), 31 pages

2018

• Cut-free Calculi and Relational Semantics for temporal STIT logics / K. van Berkel / Talk: FISP Workshop (3rd FISP Meeting), Vienna, TU; 2018-12-07 - 2018-12-08
• Nesting multi-conclusions: the Maehara conundrum / R. Kuznets / Talk: FISP Workshop (3rd FISP Meeting), Vienna (invited); 2018-12-07 - 2018-12-08
• A cost conscious game model for intutionistic linear logic with subexponentials / C. Fermüller / Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08
• Automated reasoning in normative detachment structures with ideal conditions / M. Pascucci / Talk: Cyberspace 2018, Brno; 2018-11-30 - 2018-12-01
• Activation and Blocking of Rules / R. Freund, A. Alhazov, S. Ivanov / Talk: The 5th Annual Rogozhin Lectures on Foundations of Informatics and Unconventional Computing Systems, Chisinau, Moldavien; 2018-11-13 - 2018-11-14
• Notions of Instrumentality in Agency Logic / K. van Berkel, M. Pascucci / Talk: Konferenz PRIMA 2018: Principles and Practice of Mult-Agent Systems,, Tokyo, Japan; 2018-10-31 - 2018-11-02; in: "PRIMA 2018: Principles and Practice of Multi-Agent Systems, Tokio", T. Miller et al. (ed.); Springer, 11224 (2018), ISBN: 978-3-030-03097-1; 403 - 419
• Classical Proofs as Parallel Programs / F. Aschieri, F. Genco, A. Ciabattoni / Talk: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 2018-09-26 - 2018-09-28; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), 43 - 57
• Cohesiveness in canonical models / M. Pascucci / Talk: Colloquium Logicum 2018, Bayreuth; 2018-09-14 - 2018-09-16
• Tissue P Systems with Point Mutation Rules / R. Freund et al. / Talk: CMC19, Dresden; 2018-09-04 - 2018-09-07; in: "Proceedings of the 19th International Conference on Membrane Computing", Friedrich Schiller University Jena, (2018), ISBN: 978-3-96409-030-0; 29 - 50
• Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents / R. Kuznets, B. Lellmann / Talk: Advances in Modal Logic 2018, Bern, Schweiz; 2018-08-27 - 2018-08-31; in: "Advances in Modal Logic, Volume 12", G. Bezhanishvili, G. D´Agostino, G Metcalfe, T. Studer (ed.); College Publications, (2018), ISBN: 978-1-84890-255-8; 473 - 492
• Substructural Calculi and Games of Information Extraction / C. Fermüller / Talk: Forschungsseminar Informatik, Uni Bamberg, Bamberg; 2018-07-09
• Natural Deduction and Normalization Proofs for the Intersection Type Discipline / F. Aschieri / Talk: "Intersection Types and Related Systems" (ITRS 2018), Oxford; 2018-07-08
• On Herbrand constructive Logics III: Intuitionistic logic of constant domains / F. Aschieri / Talk: Classical Logic and Computation" (CL&C 2018), Oxford; 2018-07-07
• Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning / C. Fermüller / Keynote Lecture: Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands; 2018-07-02 - 2018-07-05
• Sequential Grammars with Activation and Blocking of Rules / R. Freund et al. / Talk: MCU (International Conference Machines, Computations and Universality), Fontainebleau (invited); 2018-06-28 - 2018-06-30; in: "Machines, Computations, and Universality", S. Verlan et al. (ed.); Springer, LNCS 10881 (2018), ISBN: 978-3-319-92401-4; 51 - 68
• Control Mechanisms for Array Grammars on Cayley Grids / R. Freund / Talk: MUC 2018, Fontainebleau (invited); 2018-06-28 - 2018-06-30; in: "Machines, Computations, and Universality", S. Verlan et al. (ed.); Springer, LNCS 10881 (2018), ISSN: 0302-9743; 1 - 33
• P Systems with Activation and Blocking of Rules / R. Freund et al. / Talk: UCNC 2018, Fontainebleau; 2018-06-25 - 2018-06-29; in: "Unconventional Computation and Natural Computation", S. Verlan et al. (ed.); LNCS/Springer, LNCS 10867 (2018), ISBN: 978-3-319-92434-2; 1 - 15
• Analytic Calculi for substructural logics: Theory and applications / A. Ciabattoni / Talk: Logic Colloquium 2018, Udine (invited); 2018-06-23 - 2018-06-28
• Exploring Argumentation Based Semantics for Relevance Logic / C. Fermüller / Talk: AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy; 2018-06-11 - 2018-06-13
• Deontic Reasoning: From Ancient Texts to Artificial Intelligence / A. Ciabattoni / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
• Games and analytic proof systems / C. Fermüller / Keynote Lecture: PhDs in Logic X, Prague; 2018-05-01 - 2018-05-04
• Interpretpreting Substructural Logics by Games of Information Extraction / C. Fermüller, T Lang / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
• On the Expressivity of the Propositional Fragment of Independence Friendly Logic / O. Majer, C. Fermüller / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
• Intermediate logics: from hypersequents to parallel computation / A. Ciabattoni / Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28
• A Granularity Approach to Vague Quantification / C. Fermüller / Talk: IUKM 2018, International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, Hanoi; 2018-03-15 - 2018-03-17; in: "IUKM 2018. International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making", V. Hunyh et al. (ed.); International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, LNCS 10758 (2018), ISBN: 978-3-319-75428-4; 3 - 14
• From Lorenzen´s dialogue game to game semantics for substructural logics / C. Fermüller / Talk: Paul Lorenzen: Mathematician and Logician, Konstanz; 2018-03-08 - 2018-03-09
• Logic-Based Concurrent Calculi / F. Aschieri, A. Ciabattoni, F. Genco / Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28
• A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem / A. Leitsch, M. Baaz, A. Lolic / Keynote Lecture: Logical Foundations of Computer Science - International Symposium, LFCS 2018, Florida (invited); 2018-01-08 - 2018-01-11; in: "LNCS 10703", Springer International Publishing AG, 10703 (2018), 55 - 71
• From Display to Labelled Calculi for Tense Logics / T. Lyon, R. Ramanayake, A. Ciabattoni / Talk: Logical Foundations of Computer Science 2018, Deerfield Beach, Florida; 2018-01-07 - 2018-01-12; in: "Proceedings of Logical Foundations of Computer Science", (2018), ISBN: 978-3-319-72055-5; 120 - 139
• Small Universal Reversible Counter Machines / R. Freund, A. Alhazov, S. Verlan / in: "Emergence, Complexity and Computation", 30; A. Adamatzky (ed.); Springer International Publishing, 2018, ISBN: 978-3-319-73216-9, 433 - 446
• Chocolate P Automata / R. Freund, M. Oswald, A. Alhazov et al. / in: "Enjoying Natural Computing - Essays Dedicated to Mario de Jesus Perez-Jimenez on the Occasion of His 70th Birthday", 11270; Gh. Paun et al. (ed.); Springer International Publishing, LNCS, 2018, 1 - 20
• On Semantic Games for Łukasiewicz Logic / C. Fermüller, O. Majer / in: "Jaakko Hintikka on Knowledge and Game-Theoretical Semantics", H. van Ditmarsch, G. Sandu (ed.); Springer, 2018, ISBN: 978-3-319-62863-9, 263 - 278
• Proceedings of the Workshop on Membrane Computing at UCNC 2018. / R. Freund, S. Ivanov / TU Wien, Wien, 2018, 71 pages
• Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, (NCMA) / R. Freund / in series "Books@ocg.at", series editor: G Chroust et al.; OCG (Österreichische Computer Gesellschaft), Wien, 2018, ISBN: 978-3-903035-21-8, 215 pages
• Tenth Workshop on Non-Classical Models of Automata and Applications - Short papers / R. Freund et al. / in series "Workshop on Non-Classical Models of Automata and Applications - Short papers", series editor: R. Freund et al.; TU Wien, Wien, 2018, 53 pages
• A counterexample to the reconstruction of omega-categorical structures from their endomorphism monoids / M. Kompatscher, M. Pinsker et al. / Israel Journal of Mathematics, 224 (2018), 57 - 82
• Extraction of Expansion Trees / A. Lolic, A. Leitsch / Journal of Automated Reasoning, 61 (2018), 1; 1 - 38
• Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop / A. Ciabattoni, F. Genco, R. Ramanayake / ACM SIGLOG News, 5 (2018), 2; 58 - 60
• Hypersequents and Systems of Rules: Embeddings and Applications. / A. Ciabattoni, F. Genco / ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27
• Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach / F. Aschieri, A. Ciabattoni, F. Genco / CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961
• Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report / A. Ciabattoni, B. Lellmann, K. van Berkel / ACM SIGLOG News, 5 (2018), 4; 48 - 51
• Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, (online first) (2018), 1 - 16
• Multicomponent Proof-theoretic Method for Proving Interpolation Property / R. Kuznets / Annals of Pure and Applied Logic, 169 (2018), 12; 1369 - 1418
• Extended spiking neural P systems with white hole rules and their red-green variants / R. Freund, A. Alhazov, S. Ivanov, M. Oswald et al. / Natural Computing, 17 (2018), 2; 297 - 310
• Hierarchical P systems with randomized right-hand sides of rules. / R. Freund, A. Alhazov et al. / in: "Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers", 10725; M. Gheorghe et al. (ed.); Springer International Publishing, 2018, ISBN: 978-3-319-73358-6, 15 - 39
• Introducing the Concept of Activation and Blocking of Rules in the General Framework for Regulated Rewriting in Sequential Grammars. / R. Freund, A. Alhazov, S. Ivanov / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 1 - 22
• Input-Driven Tissue P Automata / R. Freund, M. Oswald, A. Alhazov et al. / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 39 - 58
• One-Membrane P Systems with Activation and Blocking of Rules. / R. Freund, A. Alhazov, S. Ivanov / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 23 - 38
• Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / in: "Proceedings of the Workshop on Membrane Computing at UCNC 2018. Fontainebleau, France June 25th, 2018", TU Wien, 2018, 63 - 71
• Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / in: "Theorietage 2018, Wittenberg, Technical Report 18-1, Universität Halle-Wittenberg", K. Reinhardt (ed.); Universität Halle-Wittenberg, 2018, 87 - 90
• Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach / A. Ciabattoni, F. Gulisano, B. Lellmann / in: "Deontic Logic and Normative Systems DEON 2018", J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (ed.); College Publications, 2018, ISBN: 9781848902787, 91 - 110
• Probabilistic interpretations of argumentative attacks: logical and experimental foundations / N. Pfeifer, C. Fermüller / in: "Proceedings of the 11th Workshop on Uncertainty Processing (WUPES´18) Trebon, Czech Republic", V. Kratochvil, J. Vejnarova (ed.); MatfyzPress, Publishing House of the Faculty of Mathematics and Physics Charles University, Prague, Czech Republic, 2018, ISBN: 978-80-7378-361-7, 141 - 152
• On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains / F. Aschieri / in: "Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018", 281; S. Berardi et al. (ed.); issued by: EPTCS; Open Publishing Association, 2018, ISSN: 2075-2180, 9 pages
• Review of "Fuzzy Logic and Mathematics: A Historical Perspective" / C. Fermüller / Notre Dame Philosophical Reviews (invited), (online) (2018)
• Automated Reasoning in Normative Detachment Structures with Ideal Conditions / M. Pascucci, T. Libal / CoRR - Computing Research Repository, abs/1810.09993 (2018), abs/1810.09993

2017

• Discussion on Quantifier Fuzzyfication Mechanisms. / P. Baldi, M. Hofer / Talk: Workshop on Fuzzy Quantifiers and related topics MOVAQ 2017, Wien; 2017-12-15 - 2017-12-16
• From hypersequents to parallel computation for intermediate logics / A. Ciabattoni / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
• Connecting fuzzy logic and argumentation frames via logical attack principles / C. Fermüller / Talk: ManyVal 2017, Toulouse, Frankreich; 2017-11-14 - 2017-11-17
• Goedel Logic: from Hypersequents to Parallel Computation / A. Ciabattoni / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
• Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / C. Fermüller / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
• Interpreting Sequent Calculi as Client-Server Games / C. Fermüller, T Lang / Talk: TABLEAUX 2017, Brasilia; 2017-09-25 - 2017-09-28; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", R. Schmidt et al. (ed.); Springer, LNCS 10501 (2017), ISBN: 978-3-319-66901-4; 98 - 113
• Temporal irreflexivity in terms of a propositional constant / M. Pascucci / Talk: XXVI AILA (Italian Association for Logic and its Applications) Meeting, Padova; 2017-09-25 - 2017-09-28
• From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games / P. Baldi, C. Fermüller / Talk: EUSFLAT-2017 and IWIFSGN'2017, Warschau; 2017-09-11 - 2017-09-15; in: "Proceedings of: EUSFLAT-2017", 641 (2017), ISBN: 978-3-319-66829-1; 112 - 124
• Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / E Corsi, C. Fermüller / Talk: Logic, Rationality, and Interaction - LORI VI, Sapporo, Japan; 2017-09-11 - 2017-09-14; in: "Logic, Rationality, and Interaction. LORI 2017", A Baltag et al. (ed.); Springer, LNCS 10455 (2017), ISBN: 978-3-662-55664-1; 422 - 437
• (Tissue) {P} Systems with Vesicles of Multisets / R. Freund et al. / Talk: Proceedings 15th International Conference on Automata and Formal Languages, {AFL} 2017, Debrecen, Hungary, Debrecen; 2017-09-04 - 2017-09-06; in: "Proceedings 15th International Conference on Automata and Formal Languages, {AFL} 2017, Debrecen, Hungary", corr, abs-1708-06226 (2017), 11 - 25
• Proof-Theory for Non-Classical Logics: Sequent calculi and beyond / A. Ciabattoni / Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27
• Natural deduction for modal logic with propositional quantifiers / M. Pascucci / Talk: ECAP (European Congress for Analytic Philosophy) 9, München; 2017-08-21 - 2017-08-26
• Modalities between a logical and an empirical account of indeterminism / M. Pascucci / Talk: Modal Metaphysics V, Bratislava (invited); 2017-08-17 - 2017-08-18
• Through an Inference Rule, Darkly / R. Kuznets / Talk: Humboldt Kolleg "​Proof Theory as Mathesis Universalis", Menaggio, Italien (invited); 2017-07-24 - 2017-07-28
• Efficient Proof Systems for Modal Logics / R. Kuznets, L. Strassburger / Talk: 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich; 2017-07-17 - 2017-07-28
• Oligomorphic clones / M. Kompatscher, M. Pinsker / Talk: Tianfu Universal Algebra workshop, South West University of Finance and Economics, Chengdu, China (invited); 2017-07-04 - 2017-07-05
• Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors / R. Freund et al. / Talk: Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Mailand; 2017-07-03 - 2017-07-05; in: "Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}", Springer, 10316 (2017), ISBN: 978-3-319-60252-3; 140 - 151
• Logic-based process calculi: Gödel logic and beyond / A. Ciabattoni / Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29
• Querying with Vague Quantifiers Using Probabilistic Semantics / C. Fermüller, M. Hofer, M. Ortiz de la Fuente / Talk: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, London; 2017-06-21 - 2017-06-22; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017", H. Christiansen et al. (ed.); Springer, (2017), ISBN: 978-3-319-59692-1; 15 - 27
• From semi-abstract argumentation to logical consequence / E Corsi, C. Fermüller / Talk: Argumentation and Inference - 2nd European Conference on Argumentation, Fribourg, Schweiz; 2017-06-20 - 2017-06-23; in: "Argumentation and Inference, Proceedings of the 2 nd European Conference on Argumentation", S. Oswald, D. Mailat (ed.); College Publications, Studies in Logic, Volume 77 (2018), ISBN: 978-1-84890-284-8; 151 - 164
• Gödel Logic: From Natural Deduction to Parallel Computation / A. Ciabattoni, F. Genco et al. / Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik; 2017-06-20 - 2017-06-23; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland", (2017), ISBN: 978-1-5090-3018-7; 1 - 12
• The two dichotomy conjectures for in nite domain CSPs are equivalent / M. Pinsker / Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik (invited); 2017-06-20 - 2017-06-23
• How to Reach Heaven: Different career paths / A. Ciabattoni / Talk: 2nd Logic Mentoring Workshop, Reykjavik (invited); 2017-06-18
• Linearization of certain non-trivial equations in oligomorphic clones / M. Kompatscher / Talk: AAA94+NSAC2017, Novi Sad; 2017-06-15 - 2017-06-18
• Equations in algebras from omega-categorical structures / M. Pinsker / Talk: Seminar an der TU Wien, Wien, 06/2017; 2017-06-06
• From hypersequent calculi to parallel computation / A. Ciabattoni / Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02
• Completing edge-labelled graphs to metric spaces / M. Kompatscher / Talk: Seminar der Arbeitsgruppe Diskrete Mathematik,, Wien; 2017-05-30
• A logical perspective on argumentation / C. Fermüller / Keynote Lecture: Metaphor and Argumentation, Cagliari, Italy (invited); 2017-05-25 - 2017-05-27
• Expansion Trees from Non-Normalized Proofs with CERES / A. Lolic, A. Leitsch / Talk: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 2017-05-25 - 2017-05-27
• Herbrand's Phenomena in Justification Logic / R. Kuznets / Talk: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited, Wien (invited); 2017-05-25 - 2017-05-27
• Hintikka Style Game Rules for Semi-Fuzzy Quantifiers / C. Fermüller, M. Hofer / Talk: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), Novi Sad; 2017-05-22 - 2017-05-24; in: "Proceedings of IEEE International Symposium on Multiple-Valued Logic, Novi Sad, Serbia", J. Pantovic (ed.); (2017), ISBN: 978-1-5090-5496-1; 106 - 111
• Cores of omega-categorical structures / M. Kompatscher / Talk: Algebra Seminar TU Wien, Wien; 2017-05-19
• Modal Calculi from Semantics: a Case Study / R. Kuznets / Talk: Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien; 2017-03-14 - 2017-03-16
• Double-shrinking pseudo-Siggers / M. Pinsker / Talk: LIAFA, Paris (invited); 2017-03-12
• A complexity dichotomy for poset constraint satisfaction / M. Kompatscher, T. Van Pham / Talk: STACS 2017, Hannover; 2017-03-08 - 2017-03-11; in: "Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)", 66 (2017), ISBN: 978-3-95977-028-6; 1 - 12
• Equations in oligomorphic algebras / M. Pinsker / Talk: AAA 93, Bern (invited); 2017-02-10 - 2017-02-12
• A new proof of the existence of cores of omega-categorical structures / M. Kompatscher / Talk: AAA93, Bern; 2017-02-10 - 2017-02-12
• Ninth Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2017, Prague, Czech Republic / R. Freund et al. / in series "Workshop on Non-Classical Models of Automata and Applications", series editor: R. Freund; issued by: österreichische Computer Ges; Österreichische Computer Gesellschaft, 2017, ISBN: 978-3-903035-18-8
• Reconstructing the topology of clones / M. Pinsker et al. / Transactions of the American Mathematical Society, 369 (2017), 3707 - 3740
• The problem of Pi_2-cut-introduction / A. Leitsch, M. Lettmann / Theoretical Computer Science, 706 (2017), 83 - 116
• Anderson's restriction of deontic modalities to contingent propositions / M. Pascucci / Theoria. Swedish Journal of Philosophy, 83 (2017), 4; 440 - 470
• PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION / A. Ciabattoni, M. Baaz, D.M. Gabbay et al. / Journal of Logic and Computation, 27 (2017), 2
• Algebraic proof theory: Hypersequents and hypercompletions / A. Ciabattoni, N. Galatos et al. / Annals of Pure and Applied Logic, 168 (2017), 3; 693 - 737
• Contextual array grammars with matrix control, regular control languages, and tissue P systems control / R. Freund, A. Alhazov, S. Ivanov et al. / Theoretical Computer Science, 682 (2017), 5 - 21
• {CERES} for first-order schemata / A. Leitsch, D. Weller et al. / Journal of Logic and Computation, 27 (2017), 7; 1897 - 1954
• Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors / R. Freund, H. Fernau et al. / Fundamenta Informaticae, 155 (2017), 1-2; 209 - 232
• Watson-Crick {T0L} Systems and Red-Green Register Machines / R. Freund et al. / Fundamenta Informaticae, 155 (2017), 1-2; 111 - 129
• Ceres in intuitionistic logic / A. Leitsch, D. Cerna, G. Reis et al. / Annals of Pure and Applied Logic, 168 (2017), 10; 1783 - 1836
• P Systems Working in Maximal Variants of the Set Derivation Mode / R. Freund, A. Alhazov, S. Verlan et al. / in: "International Conference on Membrane Computing 2016", 10105; G. Rozenberg et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 83 - 102
• Simulating R Systems by P Systems / R. Freund, S. Ivanov, A. Alhazov et al. / in: "International Conference on Membrane Computing 2016", 10105; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 51 - 66
• Purely Catalytic P Systems over Integers and Their Generative Power / R. Freund, A. Alhazov, S. Ivanov et al. / in: "International Conference on Membrane Computing 2016", 10105; G. Rozenberg et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 67 - 82
• P Systems with Random RHS Exchange / R. Freund et al. / in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 27 - 30
• P Systems and the Concept of Fairness / R. Freund, A. Alhazov, S. Ivanov / in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 978‐9975‐4237‐6‐2, 11 - 26
• Sequential Polarized Tissue P Systems with Vesicles of Multisets / R. Freund, A. Alhazov, S. Verlan et al. / in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 978‐9975‐4237‐6‐2, 7 - 10
• Time-freeness and Clock-freeness and Related Concepts in P Systems. / R. Freund, A. Alhazov et al. / in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 43 - 70
• P Systems with Randomized Right-hand Sides of Rules / R. Freund, A. Alhazov, S. Ivanov / in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 13 - 42
• Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 1 - 12
• The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems / M. Kompatscher, M. Pinsker et al. / in: "Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, 2017", IEEE Computer Society Press, 2017, ISBN: 9781509030194, 1 - 12
• Transitional P Systems with Randomized Rule Right-hand Sides. / R. Freund, A. Alhazov, S. Ivanov / in: "Preproceedings of the 18th Conference on Membrane Computing, CMC18, Bradford", M. Gheorghe et al. (ed.); IMCS, Bradford, 2017, 23 - 47
• Bunched Hypersequent Calculi for Distributive Substructural Logics / R. Ramanayake, A. Ciabattoni / in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning", 7180; T. Eiter et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3642287169, 417 - 434
• Standard Completeness for extensions of IMTL / P. Baldi, A. Ciabattoni et al. / in: "Proceedings of : 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017,", G. Acampora et al. (ed.); issued by: IEEE; IEEE Computer Society Press, 2017, ISBN: 978-1-5090-6034-4, 1 pages
• Completing graphs to metric spaces / M. Kompatscher et al. / in: "Electronic Notes in Discrete Mathematics", 61; Elsevier Science Publishers, 2017, 7 pages
• Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school / A. Ciabattoni, F. Genco, E. Freschi / Online Journal of World Philosophies, 2 (2017), 1; 19 pages
• From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction / B. Lellmann, A. Ciabattoni et al. / Electronic Notes in Theoretical Computer Science (ENTCS), 332 (2017), 18 pages
• Justification logic for constructive modal logic / R. Kuznets, S. Marin, L. Strassburger / Report for HAL; Report No. 01614707, 2017; 12 pages

2016

• How I stopped worrying about formulas and learned to interpolate / R. Kuznets / Talk: Logic and Theory Group, Institute of Computer Science, University of Bern, Bern, Schweiz (invited); 2016-12-13
• Syntactic Interpolation: Limits and Challenges / R. Kuznets / Talk: Workshop "Proof Theory and Modal Logic", Turin, Italien (invited); 2016-12-02
• An introduction to Ramsey theory / M. Kompatscher / Talk: Fall school des Algebra department der Karls-Universität Prag, Prag; 2016-11-26
• Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics / R. Kuznets / Keynote Lecture: FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck (invited); 2016-11-15 - 2016-11-17
• Variants of Energy-Controlled P Systems" Autoren / R. Freund et al. / Talk: Workshop "Unconventional Computing Systems" in commemoration of Yuri Rogozhin, Chisinau; 2016-11-11
• Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi / R. Kuznets / Talk: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Larnaka, Zypern; 2016-11-09 - 2016-11-11; in: "Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings", L. Michael, A. Kakas (ed.); Springer LNCS, 10021 (2016), ISBN: 978-3-319-48757-1; 320 - 335
• Variants of Energy-Controlled P Systems / R. Freund / Talk: NIT 2016, Valencia; 2016-10-18 - 2016-10-21
• Red-Green P Automata / R. Freund / Talk: 26.Theorietag Automata und Formale Sprachen, Tannenfelde; 2016-10-04 - 2016-10-07
• CERES in intuitionistic logic completeness / A. Leitsch / Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27
• Giles' Game - Recent Developments and Challenges / C. Fermüller / Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27
• Syntax Meets Semantcs to Prove Interpolation / R. Kuznets / Talk: Syntax Meets Semantics 2016, Barcelona, Spanien; 2016-09-05 - 2016-09-09
• Hypersequents and Systems of Rules: An Embedding / A. Ciabattoni, F. Genco / Talk: Syntax Meets Semantics 2016, Barcelona; 2016-09-05 - 2016-09-09
• Interpreting Sequent Calculi as Client-Server Games / C. Fermüller / Talk: Syntax Meets Semantics 2016, Barcelona (invited); 2016-09-05 - 2016-09-09
• Embedding formalisms: hypersequents and two-level systems of rules / A. Ciabattoni, F. Genco / Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216
• Analytic Calculi for Non-Classical Logics: Theory and Applications / A. Ciabattoni / Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille; 2016-08-29 - 2016-09-01; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)", 62 (2016), ISBN: 978-3-95977-022-4
• Constraint satisfaction problems over the random poset / M. Kompatscher / Talk: Logic Colloquium 2016, Leeds. GB; 2016-08-01 - 2016-08-06
• Simulating R Systems by P Systems / R. Freund et al. / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 13 - 26
• Maximal Variants of the Set Derivation Mode / R. Freund et al. / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 57 - 72
• Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems / R. Freund et al. / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 39 - 56
• Purely Catalytic P Systems over Integers and Their Generative Power / R. Freund et al. / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceccings of 17th International Conference on Membrane Computing (CMC17)", (2016), 27 - 38
• Computations on a Moebius Rope / R. Freund / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29
• P Systems Working in Set Modes / R. Freund / Talk: Unconventional Computation and Natural Computation UCNC 2016, Manchester (invited); 2016-07-11 - 2016-07-15; in: "Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings", LNCS/Springer, 9726 (2016), ISBN: 978-3-319-41312-9; 4 - 15
• Extended Spiking Neural P Systems with States / R. Freund, A. Alhazov, S. Ivanov / Talk: Unconventional Computation and Natural Computation UCNC 2016, Manchester; 2016-07-11 - 2016-07-15; in: "Unconventional Computation and Natural Computation", LNCS/Springer, 9726 (2016), ISBN: 978-3-319-41312-9; 42 - 54
• Contextual Array Grammars with Matrix and Regular Control / R. Freund, H. Fernau et al. / Talk: DCFS 2016, Bucharest; 2016-07-05 - 2016-07-08; in: "Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2 International Conference", (2016), ISBN: 978-3319411132; 98 - 110
• Models of Grammars Inspired by Marcus Contextual Grammars / R. Freund / Talk: DCFS 2016, Bucharest; 2016-07-05 - 2016-07-08
• Schematic Cut Elimination and the Ordered Pigeonhole Principle / A. Leitsch, D. Cerna / Talk: IJCAR 2016, Coimbra; 2016-06-27 - 2016-07-02; in: "Automated Reasoning - 8th International Joint Conference, {IJCAR} 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings", N. Olivetti et al. (ed.); 9706 (2016), ISBN: 978-3-319-40229-1; 241 - 256
• System Description: GAPT 2.0 / S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner / Talk: International Joint Conference on Automated Reasoning, Coimbra, Portugal; 2016-06-27 - 2016-07-02
• L ukasiewicz Public Announcement Logic / L. Cabrer et al. / Talk: International Conference on Information Processing and Management of Uncertainty in Knowledge based Systems, Eindhoven; 2016-06-20 - 2016-06-24; in: "Communications in Computer and Information Science", 611 (2016), ISBN: 978-3-319-40581-0; 108 - 122
• The future of MFL: pure math or seriously interdisciplinary? / C. Fermüller / Talk: The Future of Mathematical Fuzzy Logic, Prague; 2016-06-16 - 2016-06-18
• The Next Whisky Bar / G. Salzer, M. Hermann et al. / Talk: CSR 2016, St.Petersburg; 2016-06-09 - 2016-06-13; in: "Computer Science - Theory and Applications (11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia)", Springer, (2016), 41 - 56
• Complexity classification for the binary branching semilinear-order constraint satisfaction problems / T. Van Pham et al. / Talk: Arbeitstagung Allgemeine Algebra 92, Prag (invited); 2016-05-27 - 2016-05-29
• CSPs over the random partial order / M. Kompatscher / Talk: AAA92 (92. Allgemeine Arbeitstagung Algebra), Prag; 2016-05-27 - 2016-05-29
• Craig and Lyndon Interpolation Via Labelled Sequent Calculi / R. Kuznets / Talk: Modalities, Conditionals, and Values, Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright at the University of Helsinki, Helsinki, Finnland; 2016-05-23 - 2016-05-25
• Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation / C. Fermüller / Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10
• Systematic proof theory for substructural logics and applications / A. Ciabattoni / Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13
• A complexity dichotomy for Poset-SAT / M. Kompatscher / Talk: Algebra Seminar, Wien; 2016-04-08
• As Close as It Gets / G. Salzer, M. Behrisch, M. Hermann / Talk: {WALCOM:} Algorithms and Computation - 10th International Workshop, Kathmandu; 2016-03-29 - 2016-03-31; in: "{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings", M. Kaykobad et al. (ed.); LNCS 9627 (2016), ISBN: 978-3-319-30139-6; 222 - 235
• 2^omega many maximal-closed subgroups of Sym(omega) / M. Kompatscher / Talk: New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr; 2016-02-01 - 2016-02-04
• Interpolation Method for Multicomponent Sequent Calculi / R. Kuznets / Talk: Logical Foundations of Computer Science, International Symposium, LFCS 2016, Deerfield Beach, FL, USA, Deerfield Beach, FL, USA; 2016-01-04 - 2016-01-07; in: "Logical Foundations of Computer Science, International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, Proceedings", S. Artemov, A. Nerode (ed.); LNCS/Springer, 9537 (2016), ISBN: 978-3-319-27683-0; 202 - 218
• Craig Interpolation via Hypersequents / R. Kuznets / in: "Concepts of Proof in Mathematics, Philosophy, and Computer Science", Ontos Mathematical Logic 6; D. Probst, P. Schuster (ed.); Walter de Gruyter GmbH, Berlin/Boston, 2016, ISBN: 978-1-5015-1080-9, 193 - 214
• Game semantics for vague quantification / C. Fermüller / in: "The Logica Yearbook 2015", issued by: Pavel Arazim, Michal Dancak; College Publications, 2016, (invited), ISBN: 978-1-84890-213-8, 71 - 86
• Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016) / R. Freund, H. Bordihn et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2016, ISBN: 978-3-903035-10-2; 300 pages
• The Reducts of the Homogeneous Binary Branching C-relation / T. Van Pham et al. / Journal of Symbolic Logic, 81 (2016), 4; 1255 - 1297
• Weak Arithmetical Interpretations for the Logic of Proofs / R. Kuznets, T. Studer / Logic Journal of the IGPL, 24 (2016), 3; 424 - 440
• Grafting Hypersequents onto Nested Sequents / R. Kuznets, B. Lellmann / Logic Journal of the IGPL, 24 (2016), 3; 375 - 423
• Proof theory of witnesses Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
• Preface / R. Freund et al. / Fundamenta Informaticae, 148 (2016), 3-4
• Natural dualities through product representations: bilattices and beyond / L. Cabrer et al. / Studia Logica, 104 (2016), 3; 567 - 592
• Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces. / L. Cabrer et al. / Discrete And Continuous Dynamical Systems, 36 (2016), 4723 - 4738
• Idempotent Endomorphisms of free MV-algebras and unital $\ell$-groups / L. Cabrer et al. / Journal of Pure and Applied Algebra, 221 (2016), 908 - 934
• MV-algebras, infinite dimensional polyhedra, and natural dualities / L. Cabrer et al. / Archive for Mathematical Logic, 1603.01005 (2016), 1603.01005
• System Description: GAPT 2.0 / G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota / Lecture Notes in Computer Science, 9706 (2016), 293 - 301
• Power and Limits of Structural Display Rules / R. Ramanayake, A. Ciabattoni / ACM Transactions on Computational Logic, 3 (2016), 17
• Distance constraint satisfaction problems / M. Pinsker et al. / Information and Computation, 247 (2016), 87 - 105
• Schematic Cut elimination and the Ordered Pigeonhole Principle / A. Leitsch, D. Cerna / CoRR - Computing Research Repository, abs/1601.06548 (2016), abs/1601.06548
• Going Beyond Turing with {P} Automata: Regular Observer {\(\omega\)}-Languages and Partial Adult Halting / R. Freund, L. Staiger, S. Ivanov / International Journal of Unconventional Computing, 12 (2016), 1; 51 - 69
• On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 26 (2016), 1; 189 - 211
• Representing strategic games and their equilibria in many-valued logics / L. Behounek, P. Cintula, C. Fermüller, T. Kroupa / Logic Journal of the IGPL, 24 (2016), 3; 238 - 267
• Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors / R. Freund, A. Alhazov et al. / Natural Computing, 15 (2016), 1; 51 - 68
• Semantic Games with Backtracking for T-norm Based Fuzzy Logics / C. Fermüller / Journal of Multiple-Valued Logic and Soft Computing, 26 (2016), 1-2; 157 - 173
• Proof theory of witnessed G{"{o}}del logic: {A} negative result / A. Ciabattoni, M. Baaz / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
• Proof search and Co-NP completeness for many-valued logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 296 (2016), 130 - 149
• Constraint Satisfaction Problems for Reducts of Homogeneous Graphs / M. Pinsker et al. / in: "Proceedings of 43rd International Colloquium on Automata, Languages, and Programming, ICALP", 119; Springer, 2016, 1 - 14
• The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems / M. Pinsker et al. / in: "Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}", ACM Press, New York, 2016, ISBN: 978-1-4503-4391-6, 615 - 622
• P Automata: New ideas and results / R. Freund / in: "Proceedings of Eighth Workshop on Non-Classical Models of Automata and Applications", 321; Austrian Computer Society, 2016, ISBN: 978-3-903035-10-2, 13 - 40
• Constraint satisfaction problems for reducts of homogeneous graphs / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1602.05819 (2016), 41 pages
• Chip-firing game and a partial Tutte polynomial for Eulerian digraphs / T. Van Pham et al. / Electronic Journal of Combinatorics, 23 (2016), 1
• Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures / M. Pinsker, M. Kompatscher et al. / CoRR - Computing Research Repository, abs/1612.07551 (2016)
• Canonical Functions: a proof via topological dynamics / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1610.09660 (2016)
• The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1602.04353 (2016)

2015

• Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni / Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18
• Uniform Birkhoff / M. Pinsker / Talk: Technische Universität Dresden, Dresden; 2015-12-09 - 2015-12-14
• Maximal-closed subgroups of Sym(omega) via Henson digraphs / M. Kompatscher / Talk: KAFKA Seminar, Prag, Karls Universität; 2015-12-07
• Uniform Birkhoff / M. Pinsker / Talk: Workshop Duality in Computer Science, Dagstuhl; 2015-11-25 - 2015-11-30
• A counterexample on the reconstruction of oligomorphic clones / M. Kompatscher / Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff, (invited); 2015-11-08 - 2015-11-13
• Conjectures for clones over finitely bounded homogenous structures / M. Pinsker / Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff (invited); 2015-11-08 - 2015-11-13
• On the context-dependence of Many / M. Hofer / Talk: 9th International and Interdisciplinary Conference, CONTEXT 2015 Larnaca, Larnaca; 2015-11-02 - 2015-11-06; in: "Modeling and Using Context", H. Christiansen et al. (ed.); (2015), ISBN: 978-3-319-25590-3; 346 - 358
• Interpolation Method for Multicomponent Sequent Calculi / R. Kuznets / Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29
• Reducts of Henson digraphs / M. Kompatscher / Talk: Wiener Algebra Seminar, Wien; 2015-10-23
• Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification / C. Fermüller / Talk: IUKM 2015, Nha Trang, Vietnam; 2015-10-15 - 2015-10-17; in: "IUKM 2015", V.-N. Huynh, M. Inuiguchi, T. Denoeux (ed.); Springer, LNCS 9376 (2015), ISBN: 978-3-319-25134-9; 19 - 31
• Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic / M. Baaz, C. Fermüller / Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Berlin; 2015-10-07 - 2015-10-10; in: "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)", S. Kreutzer (ed.); LIPIcs 41 (2015), ISBN: 978-3-939897-90-3; 14 pages
• Algebraic methods in constraint satisfaction / M. Kompatscher / Talk: Workshop Matej-Bel-Universität in Banská Bystrica, Slowakei, Banska Bystrica (invited); 2015-10-06
• Realization Theorems for Justification Logics: Full Modularity / A. Borg, R. Kuznets / Talk: 24th International Conference, TABLEAUX 2015, Breslau, Polen; 2015-09-21 - 2015-09-24; in: "Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wrosław, Poland, September 21-24, 2015, Proceedings", H. De Nivelle (ed.); Springer LNCS, 9323 (2015), ISBN: 978-3-319-24311-5; 221 - 236
• Lorenzen-style Dialogues and Substructural Sequent Systems / C. Fermüller / Talk: Workshop on Logica Dialogue Games, Wien; 2015-09-21 - 2015-09-26
• Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis; 2015-09-21 - 2015-09-26
• Justification Logic / R. Kuznets / Talk: Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien (invited); 2015-09-14 - 2015-09-18
• Going Beyond Turing with Extended Spiking Neural P Systems with White Hole Rules / R. Freund, M. Oswald et al. / Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 17 - 32
• Solving SAT with Antimatter in Membrane Computing / R. Freund et al. / Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "CDMTCS Research Report Series Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 48 - 58
• Small Catalytic P Systems / R. Freund et al. / Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 1 - 16
• Going Beyond Turing with P Automata: Partial Adult Halting and Regular Ovserver Languages / R. Freund, L. Staiger et al. / Talk: UCNC 2015, Auckland; 2015-08-30 - 2015-09-03; in: "Unconventional Computation and Natural Computation", C. Calude et al. (ed.); LNCS/Springer, 9252 (2015), ISBN: 978-3-319-21818-2; 169 - 181
• Going Beyond Turing with Watson-Crick T0L Systems / R. Freund et al. / Poster: UCNC 2015, Auckland; 2015-08-30 - 2015-09-03
• Computational Completeness and Universality in Membrane Computing / R. Freund / Keynote Lecture: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
• Variants of P Systems with Toxic Objects / R. Freund et al. / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21; in: "Proceedings of the 16th International Conference on Membrane Computing, {CMC} 2015", J. Sempere et al. (ed.); (2015), 23 - 49
• P Systems with Generalized Multisets Over Totally Ordered Abelian Groups / R. Freund et al. / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21; in: "Membrane Computing - 16th International Conference, {CMC} 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers", J. Sempere et al. (ed.); (2015), 101 - 121
• New Results for Small Universal P Systems Based on the Simulation of Generalized Register Machines and Generalized Counter Automata / R. Freund, A. Alhazov / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
• The Set-Maximally Parallel Derivation Mode / R. Freund, S. Verlan / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
• P Systems with Multiple Catalysts of the Same Name / R. Freund, S. Ivanov / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
• Proof-theoretic Approach to Craig Interpolation / R. Kuznets / Keynote Lecture: Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland (invited); 2015-08-03 - 2015-08-08
• Topological clones / M. Pinsker / Talk: EPSRC Durham Symposium Permutation Groups and Transformation Semigroups, Durham; 2015-07-20 - 2015-07-30
• A Note on the Complexity of Classical and Intuitionistic Proofs / A. Leitsch, M. Baaz, G. Reis / Talk: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Kyoto; 2015-07-06 - 2015-07-10; in: "Logic in Computer Science (LICS)", (2015), ISSN: 1043-6871; 657 - 666
• Connecting Lorenzen style games and Gentzen style calculi / C. Fermüller / Keynote Lecture: CiE 2015 - Evolving Computability, Bucharest (invited); 2015-06-29 - 2015-07-03
• Algebraic proof theory for substructural logics and applications / A. Ciabattoni / Keynote Lecture: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia (invited); 2015-06-21 - 2015-06-26
• Endomorphism monoids of omega-categorical structures / M. Kompatscher / Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26
• Topological clones / M. Pinsker / Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26
• Game Semantics for Vague Quantifiers / C. Fermüller / Talk: Logica 2015, Hejnice; 2015-06-15 - 2015-06-19
• Proof theory meets semantics: the case of substructural logics / A. Ciabattoni / Keynote Lecture: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas (invited); 2015-06-08 - 2015-06-12
• Hintikka-style semantic games for many-valued logics / C. Fermüller / Talk: Seminar of Logic Group at University of Milano, Mailand (invited); 2015-05-28
• Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni / Talk: 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada; 2015-05-18 - 2015-05-20; in: "Proceedings of 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)", (2015), 78 - 83
• Dichotomy results for constraint satisfaction problems / M. Kompatscher / Talk: PhDs in Logic VII Konferenz, Wien; 2015-05-15
• (Algebraic) Proof Theory for Substructural Logics / A. Ciabattoni / Keynote Lecture: Algebra and Coalgebra meet Proof Theory VI, 2015, Delft (invited); 2015-05-06 - 2015-05-08
• Grafted Hypersequents / R. Kuznets / Talk: Graduate Seminar Logic and Information (Münchenwiler Meeting) of Universities of Bern, Neuchâtel, and Fribourg within the framework of the Swiss Joint Master of Science in Computer Science program, Münchenwiler, Schweiz (invited); 2015-03-25
• Why Computer Science Can't Get Enough of Clones / G. Salzer / Keynote Lecture: AAA89, Dresden (invited); 2015-02-27 - 2015-03-01
• How to Go Beyond Turing with P Automata: Time Travels, Regular Observer w-Languages, and Partial Adult Halting / R. Freund, S. Ivanov et al. / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 143 - 158
• On The Semantics of Annihilation Rules in Membrane Computing / R. Freund et al. / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 131 - 142
• Extended Spiking Neural P Systems with White Hole Rules / R. Freund, M. Oswald, A. Alhazov et al. / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 45 - 62
• Variants of P Systems with Toxic Objects / R. Freund, A. Alhazov et al. / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 19 - 44
• Polarizationless P Systems with One Active Membrane / R. Freund, A. Alhazov / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 9 - 18
• Deterministic Non-cooperative P Systems with Strong Context Conditions / R. Freund, A. Alhazov / Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 1 - 8
• SUBRAMANIAN, Regulated Contextual Array Grammars / R. Freund et al. / in: "Annals of the University of Bucharest Informatics Series", 3; Editura Universitatii di Bucuresti, 2015, ISSN: 2067-9009, 63 - 79
• Algebraic Representation of Regular Array Languages on Cayley Graphs / R. Freund, M. Oswald et al. / in: "Discrete Mathematics and Computer Science", Gh. Paun et al. (ed.); Editura Academiei Romane, 2015, 165 - 189
• Epsilon Terms in Intuitionistic Sequent Calculus / B. Woltzenlogel-Paleo, G. Reis / in: "Workshop on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics", Springer International Publishing, 2015, 1 - 4
• On Proof Mining by Cut-Elimination / A. Leitsch et al. / in: "All about Proofs, Proofs for All", 55; B. Woltzenlogel-Paleo et al. (ed.); College Publications, 2015, ISBN: 978-1-84890-166-7, 173 - 200
• Small P Systems Defining Non-semilinear Sets / R. Freund, A. Alhazov / in: "Automata, Universality, Computation", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2015, ISSN: 2194-7287, 183 - 219
• Seventh Workshop on Non-Classical Models of Automata and Applications / R. Freund et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2015, ISBN: 978-3-903035-07-2; 206 pages
• Handbook of Mathematical Fuzzy Logic, Volume 3 / P. Cintula, C. Fermüller, C. Noguera / in series "Mathematical Logic and Foundations", series editor: S. Artemov et al.; College Publications, 2015, ISBN: 978-1-84890-193-3
• All about Proofs, Proofs for All / B. Woltzenlogel-Paleo et al. / in series "Mathematical Logic and Foundations", series editor: B. Woltzenlogel-Paleo et al.; College Publications, 2015, ISBN: 978-1-84890-166-7
• The 42 reducts of the random ordered graph / M. Pinsker et al. / LMS J. Comput.Math., 111 (2015), 3; 591 - 632
• Modal Interpolation via Nested Sequents / R. Kuznets, M. Fitting / Annals of Pure and Applied Logic, 166 (2015), 3; 274 - 305
• The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems / R. Freund, H. Fernau et al. / International Journal of Foundations of Computer Science, 26 (2015), 8; 1167 - 1188
• Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 5 (2015), 05; 1 - 20
• Variants of Small Universal {P} Systems with Catalysts / R. Freund, A. Alhazov / Fundamenta Informaticae, 138 (2015), 1-2; 227 - 250
• Catalytic and Purely Catalytic {P} Systems and {P} Automata: Control Mechanisms for Obtaining Computational Completeness / R. Freund, M. Oswald, Gh. Paun / Fundamenta Informaticae, 136 (2015), 1-2; 59 - 84
• Contextual array grammars and array {P} systems / R. Freund, H. Fernau et al. / Annals of Mathematics and Artificial Intelligence, 75 (2015), 1-2; 5 - 26
• Topological Birkhoff / M. Pinsker et al. / Transactions of the American Mathematical Society, 367 (2015), 2527 - 2549
• Schaefer's Theorem for Graphs / M. Pinsker et al. / Journal of the ACM, 62 (2015), 3; 1 - 52
• Product representation for default bilattices: an application of natural duality theory / L. Cabrer et al. / Journal of Pure and Applied Algebra, 219 (2015), 2962 - 2988
• Severi-Bouligand tangents, Frenet frames, Riesz spaces / L. Cabrer, D. Mundici / Advances in Applied Mathematics, 64 (2015), 1 - 20
• Admissibility via natural dualities. / L. Cabrer, G Metcalfe / Journal of Pure and Applied Algebra, 219 (2015), 4229 - 4253
• Exact unification and admissibility. / L. Cabrer, G Metcalfe / Logical Methods in Computer Science, 11 (2015), 1 - 15
• A general framework for product representations: bilattices and beyond / L. Cabrer et al. / Logic Journal of the IGPL, 23 (2015), 4; 816 - 841
• Uniform proofs of standard completeness for extensions of first-order MTL / P. Baldi, A. Ciabattoni / Theoretical Computer Science, 603 (2015), 43 - 57
• Mimamsa Deontic Logic: Proof Theory and Applications / B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco / in: "Automated Reasoning with Analytic Tableaux and Related Methods", 9323; H. De Nivelle (ed.); Springer LNCS, 2015, ISBN: 978-3-319-24311-5, 21 - 24
• Give me another one! / M. Behrisch, G. Salzer et al. / in: "Proceedings of 26th International Symposium on Algorithms and Computation (ISAAC 2015)", 9472; E. Elbassioni et al. (ed.); Springer LNCS, 2015, 664 - 676
• Equilibrium Semantics for IF Logic and Many-Valued Connectives / C. Fermüller, O. Majer / in: "Logic, Language, and Computation. TbiLLC 2015", H Hansen et al. (ed.); Springer, LNCS 10148, 2015, ISBN: 978-3-662-54331-3, 290 - 312
• A Connection Between Red-Green Turing Machines and Watson-Crick {T0L} Systems / R. Freund et al. / in: "Machines, Computations, and Universality - 7th International Conference", 9288; J. Durand-Lose et al. (ed.); issued by: LNCS; Springer International Publishing, 2015, ISBN: 9783319231105, 31 - 44
• Higher-Order Modal Logics: Automation and Applications / B. Woltzenlogel-Paleo et al. / in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin", 9203; Springer LNCS, 2015, ISBN: 978-3-319-21768-0, 32 - 74
• Interacting with Modal Logics in the Coq Proof Assistant / B. Woltzenlogel-Paleo et al. / in: "Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015", 9139; L. Beklemishev et al. (ed.); Springer LNCS, 2015, ISBN: 978-3319202969, 398 - 411
• Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses / B. Woltzenlogel-Paleo et al. / in: "Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings", 9195; A. Middeldorp et al. (ed.); Springer, LNAI, 2015, ISBN: 978-3-319-21401-6, 356 - 366
• Dialogues for proof search / J. Alama / in: "ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics", 33; C. Benzmüller et al. (ed.); EasyChair, 2015, ISSN: 2040-557x, 65 - 70
• Non-isometric Contextual Array Grammars with Regular Control and Local Selectors / R. Freund et al. / in: "Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings", 9288; J. Durand-Lose et al. (ed.); Springer LNCS, 2015, ISBN: 3319231103, 61 - 78
• Permutations on the Random Permutation / M. Pinsker et al. / Electronic Journal of Combinatorics, 22 (2015), 2
• Permutations on the Random Permutation / M. Pinsker et al. / Electronic Journal of Combinatorics, 22 (2015), 2; 2 pages
• Analysis of Clause set Schema Aided by Automated Theorem Proving: {A} Case Study [Extended Paper] / A. Leitsch, D. Cerna / Computing Research Repository (CoRR), abs/1503.08551 (2015), 15 pages
• Minimal Distance of Propositional Models / G. Salzer, M. Behrisch, M. Hermann et al. / CoRR - Computing Research Repository, 1502.06761 (2015), abs/1502.06761; 28 pages
• Classifying orbits of the affine group over the integers / L. Cabrer et al. / Ergodic Theory and Dynamical Systems, 37 (2015), 1 pages
• Grafting Hypersequents onto Nested Sequents / R. Kuznets, B. Lellmann / Report for arXiv; Report No. 1502.00814, 2015; 41 pages

2014

• Vagueness and logical dialogue games / C. Fermüller / Talk: Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien; 2014-12-17 - 2014-12-20
• New views into dialogue games for classical and intuitionistic logic / J. Alama / Talk: Seminar Faculty of Information Systems and Applied Computer Science @ University of Bamberg, Bamberg, Germany (invited); 2014-12-16
• From truth-functional to substructural logics via semantic games / C. Fermüller / Talk: AsubL take 5, Mrlbourne, Australien; 2014-12-13 - 2014-12-15
• A proof theoretic approach to Standard completeness / A. Ciabattoni / Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05
• Constraint Satisfaction on infinite domains (tutorial) / M. Pinsker / Talk: Workshop of Banff International Research Station- Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff (invited); 2014-11-24
• New results on Hilbert's 24th problem / J. Alama / Talk: Algebra and Logic Seminar, Center for Mathematics and its Applications, New University of Lisbon, Caparica, Portugal (invited); 2014-11-19
• Algebraic and model theoretic methods in constraint satisfaction / M. Pinsker / Talk: CUNY Logic Workshop, New York (invited); 2014-11-14
• Projective clone homomorphisms / M. Pinsker / Talk: STRUCO Meeting, Charles University Prague,Prag (invited); 2014-10-28
• Reverse-engineering mathematics / J. Alama / Talk: Seminar Young India Fellows @ Ashoka University, Sonipat, Indien (invited); 2014-10-27
• Algebraic and model theoretic methods in constraint satisfaction / M. Pinsker / Talk: Doc-Course Prag, Charles University Prague,Prag (invited); 2014-10-23
• Integer Sequences, Recursive Lemma Elimination and Combinatorics / D. Cerna / Talk: DIMACS Conference on Challenges of Identifying Integer Sequences, New York; 2014-10-09 - 2014-10-10
• "Weak Arithmetical Interpretations for the Logic of Proofs / R. Kuznets, T. Studer / Talk: ISRALOG´14: Israeli Workshop on Non-Classical Logics and Their Applications, Haifa, Israel; 2014-09-29 - 2014-10-01
• n Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: ISRALOG 2014, Haifa, Israel; 2014-09-29 - 2014-10-01
• Tools for the Investigation of Substructural and Paraconsistent Logics / A. Ciabattoni, L. Spendier / Talk: 14th European Conference, JELIA, Funchal, Madeira (invited); 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proce", LNCS/Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 18 - 32
• P Systems with Anti-Matter / R. Freund, A. Alhazov et al. / Talk: Theorietag Automaten und Formale Sprachen, Caputh; 2014-09-23 - 2014-09-25; in: "24.Theorietag "Automaten und Formale Sprachen"", H. Bordihn et al. (ed.); Universität Potsdam, (2014), ISSN: 0946-7580; 19 - 23
• Red-Green P Automata / R. Freund et al. / Talk: CMC-14, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISSN: 0302-9743; 139 - 157
• Promoters and Inhibitors in Purely Catalytic {P} Systems / R. Freund, S. Verlan, A. Alhazov / Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 126 - 138
• P Systems with Toxic Objects / R. Freund, A. Alhazov / Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 99 - 125
• Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems / R. Freund, A. Alhazov / Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 86 - 98
• P Systems with Anti-Matter / R. Freund, A. Alhazov et al. / Talk: CMC 14, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe, G. Rozenberg et al. (ed.); (2014), ISBN: 978-3-319-14370-5; 66 - 85
• Automating Gödel´s Ontological Proof of God´s Existence with Higher-order Automated Theorem Provers / B. Woltzenlogel-Paleo, C. Benzmüller / Talk: ECAI 2014, Prag; 2014-08-18 - 2014-08-22; in: "Proceeding to ECAI 2014 - 21st European Conference on Artificial Intelligence", T. Schaub et al. (ed.); IOS Press, (2014), ISBN: 978-1-61499-418-3; 93 - 98
• Dialogues for proof search / J. Alama / Talk: Automated Reasoning in Quantified Non-Classical Logics (VSL 2014), Wien; 2014-07-23
• Separating Truth and Proof in the Logic of Proofs / R. Kuznets / Keynote Lecture: VSL-GetFun Workshop, Wien (invited); 2014-07-22 - 2014-07-23
• Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property / M. Fitting, R. Kuznets / Talk: VSL - Nonclassical Proofs Workshop, Wien; 2014-07-20
• Quati: An Automated Tool for Proving Permutation Lemmas / G. Reis et al. / Talk: IJCAR, Wien; 2014-07-19 - 2014-07-22; in: "Automated Reasoning - 7th International Joint Conference", D. Kapur et al. (ed.); LNCS/Springer, 8562 (2014), ISBN: 978-3-319-08587-6; 255 - 261
• Embeddings into BiFL-algebras and conservativity / N. Galatos / Talk: VSL - LADT Workshop, Wien; 2014-07-16 - 2014-07-19
• Five Nodes Are Sufficient for Hybrid Networks of Evolutionary Processors to Be Computationally Complete / R. Freund, A. Alhazov, Y. Rogozhin / Talk: UCNC, London; 2014-07-14 - 2014-07-18; in: "Unconventional Computation and Natural Computation - 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proc", O.H. Ibarra et al. (ed.); LNCS/Springer, 8553 (2014), ISBN: 978-3-319-08122-9; 1 - 13
• Mathematical Proof Analysis / A. Leitsch / Keynote Lecture: VSL 2014, Wien; 2014-07-12 - 2014-07-26
• Clones on Ramsey Structures / M. Pinsker / Talk: Konferenz Algebra and Clones Fest, Prag; 2014-06-30 - 2014-07-03
• Variants of P Automata / R. Freund / Keynote Lecture: Tenth Conference on Computability in Europe, CiE 2014 New Computing Paradigms - Workshop, Budapest; 2014-06-23 - 2014-06-27; in: "New Computing Paradigms - Workshop", (2014), ISBN: 978-3-319-08019-2; 7 pages
• P Systems with Matter and Anti-Matter / R. Freund, Gh. Paun, A. Alhazov et al. / Talk: Tenth Conference on Computability in Europe, CiE 2014 New Computing Paradigms - Workshop, Budapest; 2014-06-23 - 2014-06-27; in: "Tenth Conference on Computability in Europe, CiE 2014 Language, Life, Limits", A. Beckmann et al. (ed.); (2014), 1 pages
• Without E / J. Alama / accepted as talk for: Logica 2014, Hejnice, Tschechien; 2014-06-17 - 2014-06-20
• Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes / R. Freund, H. Fernau, M Holzer / Talk: 14th International Conference on Automata and Formal Languages, AFL 2014, Hungary, May 27-29, 2014., Szeged; 2014-05-27 - 2014-05-29; in: "Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014.", Z. Esik et al. (ed.); EPTCS, 151 (2014), ISSN: 2075-2180; 246 - 260
• Semantic Games with Backtracking for Fuzzy Logics / C. Fermüller / Talk: ISMVL 2014, Bremen; 2014-05-19 - 2014-05-21; in: "Proceedings of 44th International Symposium on Multiple-Valued Logic, {ISMVL}", (2014), 38 - 43
• Reconstructing structures from their abstract clones / M. Pinsker / Talk: ASL North American Annual Meeting (Special Session on Universal Algebra and CSPs, Boulder (invited); 2014-05-19 - 2014-05-22
• Formalization and Automated Verification of Gödel´s Proof of God´s Existence / B. Woltzenlogel-Paleo, C. Benzmüller / Talk: 4th World Congress on the Square of Opposition, Vatikan; 2014-05-05 - 2014-05-09
• Introduction to Constraint Satisfaction over infinite structures / M. Pinsker / Talk: Logic Seminar of the University of Colorado, Boulder (invited); 2014-04-28
• Decomposing function clones on infinite sets / M. Pinsker / Talk: Algebra Seminar at University of Colorado, Boulder (invited); 2014-04-28
• Tools for the investigation of substructural and paraconsistent logics / A. Ciabattoni / Keynote Lecture: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa (invited); 2014-04-14 - 2014-04-17
• Proof theory for lattice-ordered groups / N. Galatos / Talk: Brazilian Logic Conference, Petropolis; 2014-04-07 - 2014-04-11
• A survey of residuated frames with connections to semirings and to display logic / N. Galatos / Talk: Prague seminar of substructural logics, Prag; 2014-03-28 - 2014-03-29
• Non classical proofs: Theory, applications and tools / A. Ciabattoni / Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29
• Hintikka-Style Semantic Games for Fuzzy Logics / C. Fermüller / Talk: 8th International Symposium, FoIKS 2014, Bordeaux, Frankreich; 2014-03-03 - 2014-03-07; in: "Foundations of Information and Knowledge Systems-- 8th International Symposium, FoIKS 2014, Bordeaux", C. Beierle et al. (ed.); LNCS/Springer, Heidelberg (2014), ISBN: 978-3-319-04939-7; 193 - 210
• Standard completeness: proof-theoretical and algebraic approaches / P. Baldi, A. Ciabattoni, K. Terui et al. / Talk: 35th Linz Seminar of Fuzzy Set Theory, Linz; 2014-02-18 - 2014-02-22
• (Algebraic) Proof Theory for Substructural Logics and Applications / A. Ciabattoni / Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09
• The topology of algebras, or: Polish clones / M. Pinsker / Talk: Arbeitstagung Allgemeine Algebra, Linz; 2014-02-06 - 2014-02-09
• P Systems with Anti-Matter / R. Freund, Gh. Paun / Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 169 - 183
• Red-Green P Automata / R. Freund, E. Csuhaj-Varjú et al. / Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 73 - 79
• Length P Systems with a Lone Traveler / R. Freund, A. Alhazov et al. / Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 37 - 49
• Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems / R. Freund, A. Alhazov / Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 27 - 37
• Matter and Anti-Matter in Membrane Systems / R. Freund et al. / Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 1 - 27
• Parallel Dialogue Games and Hypersequents / C. Fermüller / Talk: Workshop on Proofs as Processes, Kanazawa, Japan; 2014-01-20 - 2014-01-21
• Topological Birkhoff and Constraint Satisfaction / M. Pinsker / Talk: LIAFA, Automates et Applications Seminar, Paris (invited); 2014-01-15
• Small P Systems Defining Non-semilinear Sets / R. Freund, A. Alhazov / in: "Automata, Computation, Universality", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2014, ISBN: 978-3-319-09039-9, 183 - 217
• Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic / C. Fermüller, Ch Roschger / in: "Petr Hajek on Mathematical Fuzzy Logic", F. Montagna (ed.); Springer, Heidelberg, 2014, ISBN: 978-3-319-06232-7, 91 - 116
• Generating and accepting P systems with minimal left and right insertion and deletion / R. Freund, Y. Rogozhin, S. Verlan / in: "Natural Computing - An international Journal", J. Ferrandez et al. (ed.); Springer, 2014, ISSN: 1567-7818, 257 - 268
• GSB 2014 Electronic Proceedings / R. Kuznets, G Metcalfe / Workshop "Gentzen Systems and Beyond, 2014
• Reducts of the random partial order. / M. Pinsker et al. / Advances in Mathematics, 267 (2014), 94 - 120
• Cut-Elimination: Syntax and Semantics / M. Baaz, A. Leitsch / Studia Logica, 102 (2014), 6; 1217 - 1244
• Logical omniscience as infeasibility / S. Artemov, R. Kuznets / Annals of Pure and Applied Logic, 165 (2014), 1; 6 - 25
• Realizing public announcements by justifications / S. Bucheli, R. Kuznets, T. Studer / Journal of Computer and System Sciences, 80 (2014), 6; 1046 - 1066
• Randomized game semantics for semi-fuzzy quantifiers / C. Fermüller, Ch Roschger / Logic Journal of the IGPL, 22 (2014), 3; 413 - 439
• Algorithmic introduction of quantified cuts / S. Hetzl, A. Leitsch, G. Reis, D. Weller / Theoretical Computer Science, 549 (2014), 1 - 16
• Taming Paraconsistent (and Other) Logics: An Algorithmic Approach / A. Ciabattoni, L. Spendier et al. / Journal of the ACM, 16 (2014), 1
• Hypersequent and Display Calculi - a Unified Perspective / A. Ciabattoni, R. Ramanayake / Studia Logica, 102 (2014), 6; 1245 - 1294
• Tarski geometry axioms / Bill Richter, A. Grabowski, J. Alama / Formalized Mathematics, 22 (2014), 2; 167 - 176
• Premise selection for mathematics by corpus analysis and kernel methods / J. Alama, T. Heskes, D. Kühlwein, E. Tsivtsivadze, J. Urban / Journal of Automated Reasoning, 52 (2014), 2; 191 - 213
• A curious dialogical logic and its composition problem / S. Uckelman, J. Alama, A. Knoks / Journal of Philosophical Logic, 43 (2014), 6; 1065 - 1100
• The simplest axiom system for plane hyperbolic geometry revisited, again / J. Alama / Studia Logica, 102 (2014), 3; 609 - 615
• From Games to Truth Functions: A Generalization of Giles's Game / C. Fermüller, Ch Roschger / Studia Logica, 102 (2014), 2; 389 - 410
• Array Grammars and Automata on Cayley Grids / R. Freund, M. Oswald / Journal of Automata, Languages and Combinatorics, 19 (2014), 1-4; 67 - 80
• Antimatter as a Frontier of Tractability in Membrane Computing / R. Freund, A. Alhazov et al. / Fundamenta Informaticae, 134 (2014), 1-2; 83 - 96
• Length P Systems / R. Freund, A. Alhazov et al. / Fundamenta Informaticae, 134 (2014), 1-2; 17 - 37
• Report on UCNC 2014 / R. Freund, T. Hava et al. / Bulletin of the EATCS, 114 (2014)
• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187
• Introducing Quantified Cuts in Logic with Equality / S. Hetzl, A. Leitsch, G. Reis, J. Tapolczai, D. Weller / in: "Automated Reasoning - 7th International Joint Conference", issued by: IJCAR; LNCS 8562, Springer, 2014, 240 - 254
• Skeptik: A Proof Compression System / B. Woltzenlogel-Paleo et al. / in: "Automated Reasoning - 7th International Joint Conference, IJCAR 2014", Springer LNCS, 2014, ISBN: 978-3-319-08586-9, 374 - 380
• On the use of Hesitant Fuzzy Linguistic Term Set in FLINTSTONES. / R. Rodriguez et al. / in: "Fuzzy Systems (FUZZ-IEEE)", issued by: IEEE; IEEE Computer Society Press, 2014, ISBN: 978-1-4799-2073-0, 784 - 791
• The universal homogeneous binary tree / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1409.2170 (2014), 25 pages
• Preface / A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller / Journal of Logic and Computation, 1 (2014)
• Algorithmic Introduction of Quantified Cuts / S. Hetzl, G. Reis, D. Weller / CoRR - Computing Research Repository, abs/1401.4330 (2014), 38 pages
• Projective clone homomorphisms / M. Pinsker et al. / CoRR - Computing Research Repository, arXiv:1409.4601 (2014), 12 pages
• Introducing Quantified Cuts in Logic with Equality / A. Leitsch, S. Hetzl, G. Reis, D. Weller et al. / CoRR - Computing Research Repository, abs/1402.2474 (2014), abs/1402.2474; 16 pages

2013

• Reconstructing omega-categorical structures from their clones / M. Pinsker / Talk: Oberseminar mathematische Logik, Universitaet Bonn, Bonn; 2013-12-17
• Game Based Interpretations of Mathematical Fuzzy Logics / C. Fermüller / Talk: 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag; 2013-11-29
• Topological Birkhoff and reconstructing the random graph / M. Pinsker / Talk: Hausdorff Research Institute for Mathematics, Bonn; 2013-11-24
• Power andl limits of structural rules / A. Ciabattoni / Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07
• Reconstructing the topology of clones, Workshop on Homogeneous Structures / M. Pinsker / Talk: Workshop on Homogeneous Structures, Hausdorff Research Institute for Mathematics, Bonn; 2013-10-28
• Methods of Cut-Elimination / A. Leitsch / Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04
• Eine natürliche Membranhierachie / R. Freund, H. Fernau et al. / Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 49 - 52
• Array insertion and deletion P systems / R. Freund, H. Fernau, M. Oswald et al. / Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 46 - 49
• Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Talk: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, Tbilisi, Georgia (invited); 2013-09-23 - 2013-09-27
• Hypersequent and Labelled Calculi for Intermediate Logics / A. Ciabattoni, P. Maffezioli, L. Spendier / Keynote Lecture: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Tableaux 2013", D. Galmiche, D. Larchey-Wendling (ed.); LNCS 8123 (2013), 81 - 96
• Compression of Propositional Resolution Proofs by Lowering Subproofs / B. Woltzenlogel-Paleo, J. Boudou / Talk: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013", D. Galmiche et al. (ed.); Heidelberg (2013), ISBN: 978-3-642-40536-5; 59 - 73
• Cut-Introduction: GAPT System Demonstration / G. Reis / Talk: 3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013), Nancy; 2013-09-16
• The Fourth Answer Set Programming Competition: Preliminary Report / M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53
• VCWC: A Versioning Competition Workflow Compiler / G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238
• Many Values in Semantic Games / C. Fermüller / Talk: Logica, Hejnice, Czech Republic; 2013-09-13
• How to Obtain Computational Completeness in P Systems with One Catalyst / R. Freund, Gh. Paun / Talk: MCU 2013, Zürich; 2013-09-09 - 2013-09-12; in: "Proceedings Machines, Computations and Universality 2013, MCU 2013, Zuerich, Switzerland, September 9-11, 2013", T. Neary et al. (ed.); (2013), 15
• Checking Proof Transformations with ASP / G. Reis / Talk: ICLP 2013, Istanbul; 2013-08-24 - 2013-08-29
• Flattening in (tissue) P systems / R. Freund, S. Verlan et al. / Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "Membrane Computing. 14th international conference, CMC 2013", A. Alhazov (ed.); LNCS/Springer, 8340 (2014), ISBN: 978-3-642-54239-8; 173 - 188
• Computational Completeness withe Generationg and Accepting P Systems Using Minimal Left and Right Insertion and Deletion / R. Freund, S. Verlan et al. / Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-3-642-40536-5; 321 - 325
• Control Mechnisms for Obtaining Comutational Completeness / R. Freund, M. Oswald, Gh. Paun / Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "Proceedings of The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", Chisinau (2013), ISBN: 978-9975-4237-2-4; 317 - 321
• Undecidability and Computational Completeness for P Systems with One- and Two- dimensional Array Insertion and Deletion Rules / R. Freund, H. Fernau, M. Oswald et al. / Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-9975-4237-2-4; 309 - 313
• Two Catalysts Can Be Sufficent for Computational Completeness / R. Freund / Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-9975-4237-2-4; 153 - 167
• Structural extensions of display calculi: A general recipe / A. Ciabattoni, R. Ramanayake / Talk: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013, Darmstadt. Germany; 2013-08-20 - 2013-08-24; in: "Proceedings 20th International Workshop, WoLLIC 2013", Springer Lecture Notes in Computer Science, 8071 (2013), ISBN: 978-3-642-39991-6; 81 - 95
• Catalytic and purely catalytic P automata: control mechanisms for obtaining computational completeness / R. Freund, M. Oswald / Talk: 5th Workshop on Non-Classical Models of Automata and Applications (NCMA), Umea; 2013-08-13 - 2013-08-14; in: "Proceedings of the 5th Workshop on Non-Classical Models of Automata and Applications (NCMA)", S. Bensch, R. Freund et al. (ed.); Wien (2013), ISBN: 978-3-85403-294-6; 133 - 150
• Prooftool: a GUI for the GAPT Framework / A. Leitsch, T. Libal, M. Riener, D. Weller, B. Woltzenlogel-Paleo, T. Dunchev / Talk: 10th International Workshop On User Interfaces for Theorem Provers, Bremen; 2013-07-11; in: "Proceedings 10th International Workshop on User Interfaces for Thorem Provers,", C. Kaliszyk et al. (ed.); (2013), ISSN: 2075-2180; 1 - 14
• Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216
• A method of algorithmic cut-introduction / A. Leitsch / Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29
• Towards CERES in intuitionistic logic / G. Reis / Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29
• Informatik - Knifflige Rätsel und andere Spielereien / L. Spendier / Talk: Yo!Tech 2013, Wien; 2013-05-20
• How to get featured in TIME magazine as a logician / L. Spendier / Talk: Sofia Science Festival 2013, Sofia; 2013-05-09 - 2013-05-12
• Finitary aspects of reducts of homogeneous structures / M. Pinsker / Talk: Eötvös University, Budapest; 2013-05-07
• Semantic games and hypersequents - a case study in many valued reasoning / C. Fermüller / Talk: Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland; 2013-05-02
• Array Insertion and Deletion P Systems / R. Freund, H. Fernau et al. / Talk: Unconventional Computation & Natural Computation 2013, Mailand; 2013-05-01 - 2013-05-05; in: "12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings", G. Mauri, A. Dennunzio et al. (ed.); Heidelberg (2013), ISBN: 978-3-642-39073-9; 67 - 78
• Automated Support for the Investigation of Paraconsistent and Other Logics / L. Spendier / Keynote Lecture: 4th World Congress on Universal Logic, Rio de Janeiro; 2013-04-03 - 2013-04-07
• Towards Powerful and Decidable Formalizations Through Schematic Representation / D. Cerna / Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04
• A framework for specifying and reasoning in sequent calculus systems / G. Reis / Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04
• Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Keynote Lecture: UniLog 2013, Rio de Janeiro (invited); 2013-03-29 - 2013-04-07
• Games semantics for deterministic and nondeterministic many-valued logics / C. Fermüller / Talk: UniLog 2013, Rio de Janeiro; 2013-03-29 - 2013-04-07
• Universal P Systems: One Catalyst Can Be Sufficient / R. Freund, Gh. Paun / Keynote Lecture: Brainstorming Week on Membrane Computing, Sevilla; 2013-02-04 - 2013-02-08; in: "Proceedings of Eleventh Brainstorming Week on Membrane Computing", Gh. Paun, L. Valencia-Cabrera et al. (ed.); Fenix Editora, Sevilla (2013), ISBN: 978-84-940691-9-2; 81 - 97
• Automated Support for the Investigation of Paraconsistent and Other Logics / A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky / Keynote Lecture: Symposium on Logical Foundations of Computer Science (LFCS), San Diego; 2013-01-06 - 2013-01-08; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov, A. Nerode (ed.); LNCS 7734 (2013), 119 - 133
• Vermittlung informatischer Kompetenzen und Medienkompetenzen in allen Lehramtstudien aller Ausbildungsinstitute Österreichs / A. Bachinger, G. Brandhofer, K Fuchs, G. Futschek, R. Freund, S. Gabriel, R. Goebl, W. Grossmann, P. Micheuz, E. Neuwirth, C. Nosko, M. Schedler, P. Traxler, D. Wohlhart / in: "Digitale Schule Österreich", issued by: Peter Micheuz, Anton Reiter, Gerhard Brandhofer, Martin Ebner, Barbara Sabitzer; books@ocg.at, Österreichische Computer Gesellschaft, 2013, ISBN: 9783854032977, 67 - 70
• MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123 / A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds / IOS Press, 2013, ISSN: 0169-2968
• LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. / A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller / in series "EasyChair Proceedings in Computing", series editor: A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller; EasyChair, 2013, ISSN: 2040-557x, 63 pages
• Herbrand-Confluence / S. Hetzl, L. Strassburger / Logical Methods in Computer Science, 9 (2013), 4; 1 - 25
• Expansion Trees with Cut / D. Weller, S. Hetzl / CoRR - Computing Research Repository, abs/1308.0428 (2013), abs/1308.0428; 1 - 25
• Reconstructing the topology of clones / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1312.7699 (2013), abs/1312.7699; 1 - 29
• Universality of the lattice of transformation monoids. / M. Pinsker et al. / Proceedings of the American Mathematical Society, 141 (2013), 9; 3005 - 3011
• Finite-valued Semantics for Canonical Labelled Calculi / A. Zamansky, M. Baaz et al. / Journal of Automated Reasoning, 51 (2013), 4; 401 - 430
• On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 1 (2013), 1 - 23
• A new operation on partially ordered sets / M. Pinsker et al. / Journal of Combinatorial Theory Series A, 120 (2013), 7; 1450 - 1462
• A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone / M. Pinsker, M. Goldstern / International Journal of Algebra and Computation, 23 (2013), 5; 1115 - 1126
• A dissimilarity-based framework for generating inconsistency-tolerant logics / A. Zamansky et al. / Annals of Mathematics and Artificial Intelligence, 69 (2013), 1; #
• Formalization, Mechanization and Automation of Gödel's Proof of God's Existence / B. Woltzenlogel-Paleo, C. Benzmüller / CoRR - Computing Research Repository, 1 (2013), abs/1308.4526; 1 - 2
• Checking Proof Transformations with ASP / G. Reis, V. Nigam et al. / Theory and Practice of Logic Programming, 13 (2013), 4-5; 1 - 12
• A formalization of membrane szstems with dynamically evolving structures / R. Freund, S. Verlan et al. / International Journal of Computer Mathematics, 90 (2013), 4; 801 - 815
• Ceres for First-Order Schemata / A. Leitsch, T. Dunchev, D. Weller, M. Rukhaia / CoRR - Computing Research Repository, arXiv:1303.4257 (2013), 1 - 40
• Proof theory for locally finite many-valued logics: Semi-projective logics / A. Ciabattoni, F. Montagna / Theoretical Computer Science, 480 (2013), 26 - 42
• Formal approaches to rule-based systems in medicine: The case of CADIAG-2 / A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey / International Journal of Approximate Reasoning, 54 (2013), 1; 132 - 148
• Proof theory of witnessed Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 23 (2013), 5; 1 - 14
• Contextual Natural Deduction / B. Woltzenlogel-Paleo / in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-35721-3, 372 - 386
• Asynchronous and maximally parallel deterministic controlled non-cooperative P systems characterize NFIN and coNFIN / R. Freund, A. Alhazov / in: "Membrane computing. 13th international conference, CMC 2012, Budapest, Hungary, August 28--31, 2012", M. Gheorghe et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-36750-2, 101 - 111
• Sequential P systems with regular control / R. Freund, M. Oswald, A. Alhazov et al. / in: "Membrane computing. 13th international conference, CMC 2012, Budapest, Hungary, August 28--31, 2012.", M. Gheorghe et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-36750-2, 112 - 127

2012

• Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330
• From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics / C. Fermüller / Talk: OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK; 2012-11-23
• CERES for First-Order Schemata / A. Leitsch / Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16
• Automated support for the investigation of paraconsistent and other logics / L. Spendier / Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16
• On Matrices, Nmatrices, and Games / C. Fermüller / Talk: Logic: Between Semantics and Proof Theory, Tel-Aviv (invited); 2012-11-01 - 2012-11-02
• Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification / C. Fermüller, Ch Roschger / Talk: Konference on Logic, Algebra and Truth Degrees 2012, Kanazawa, Ishikawa, Japan; 2012-09-10 - 2012-09-14; in: "Logic, Algebra and Truth Degrees 2012 - Book of Abstracts", N Preining, K. Terui (ed.); Jaist, (2012), 71 - 75
• Proof theory for non-classical logics: negative results / M. Baaz, A. Ciabattoni / Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14
• Standard completeness for extensions of MTL: an automated approach / P. Baldi, A. Ciabattoni, L. Spendier / Talk: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 2012-09-03 - 2012-09-06; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), 154 - 167
• (Tissue) P Systems with Decaying Objects / R. Freund / Keynote Lecture: CMC'2012, Budapest; 2012-08-28 - 2012-08-31; in: "Proceedings of 13th Int.Conference of Membrane Computing", E. Csuhaj-Varjú et al. (ed.); LNCS 7762 (2012), ISBN: 978-3-642-36750-2; 1 - 26
• Language Operators for Multiset languages and Modal Logic / R. Freund, M. Kudlek, N. Flick / Talk: NCMA, Fribourg, Schweiz; 2012-08-23 - 2012-08-24
• Randomized Game Semantics for Semi-fuzzy Quantifiers / C. Fermüller, Ch Roschger / Talk: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy; 2012-07-09 - 2012-07-13; in: "Advances in Computational Intelligence. Part IV", Springer, 300 (2012), ISBN: 978-3-642-31714-9; 632 - 641
• Rechnen mit Molekülen / R. Freund, M. Freund / Talk: Institutskolloquium des Instituts für Informatik, Halle an der Saale; 2012-07-06
• Systematic proof theory for Many-valued logics / A. Ciabattoni / Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07
• System feature description: importing refutations into the GAPT framework / C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel-Paleo / Talk: Proof Exchange for Theorem Proving, Second International Workshop, Manchester, UK; 2012-06-30; in: "Proceeding of Proof Exchange for Theorem Proving | Second International Workshop, PxTP 2012", D. Pichardie, T. Weber (ed.); (2012), ISSN: 1613-0073; 51 - 57
• Proof theory for non-classical logics: a negative result / A. Ciabattoni, M. Baaz / Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15
• On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems / K. Gmeiner, B. Gramlich, F. Schernhammer / Talk: 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan., Nagoya, Japan; 2012-05-28 - 2012-06-02; in: "Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12)", LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012), ISBN: 978-3-939897-38-5; 193 - 208
• On Modularity of Termination Properties of Rewriting under Strategies / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Nagoya, Japan; 2012-05-28
• Randomizing Giles´s Game for Fuzzy Quantification / C. Fermüller / Talk: Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia; 2012-05-18 - 2012-05-20
• Realizing Monads in Interaction Nets via Generic Typed Rules / E. Jiresch, B. Gramlich / Talk: TAMC 2012, Peking; 2012-05-16 - 2012-05-21; in: "Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)", M. Agrawal et al. (ed.); Springer, LNCS 7287 (2012), ISBN: 978-3-642-29951-3; 509 - 524
• On Modularity of Termination Properties of Rewriting under Strategies / B. Gramlich, K. Györgyfalvay / Talk: 12th International Workshop on Termination (WST 2012), Obergurgl; 2012-02-19 - 2012-02-23; in: "Proc. 12th International Workshop on Termination", G. Moser (ed.); (2012), 59 - 63
• Nonclassical proofs: theory, applications, and tools / A. Ciabattoni / Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03
• Membrane Systems With Membrane Labels Changing in Time / R. Freund, A. Alhazov et al. / Talk: 10th Brainstoming Week on Membrane Computing, Sevilla; 2012-01-30 - 2012-02-03
• Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. / B. Gramlich, D. Miller, U. Sattler / in series "Lecture Notes in Artifical Intelligence (Subseries of: Lecture Notes in Computer Science)", series editor: R. Goebel, Y. Tanaka, W. Wahlster; issued by: Springer; Springer-Verlag, Berlin Heidelberg, 2012, ISBN: 978-3-642-31364-6, 568 pages
• Modularity in term rewriting revisited / B. Gramlich / Theoretical Computer Science, 464 (2012), 3 - 19
• The Church-Fitch knowability paradox in the light of structural proof theory / P. Maffezioli, A. Naibo, S. Negri / Synthese, xx (2012), 1 - 40
• Note on deduction theorems in contraction-free logics / K. Chvalovský, P. Cintula / Mathematical Logic Quarterly, 58 (2012), 3; 236 - 243
• Editorial / P. Cintula, E. Klement, L. Stout / Fuzzy Sets and Systems, 197 (2012), 1 - 2
• Algebraic proof theory for substructural logics: Cut elimination and completions / A. Ciabattoni, N. Galatos, K. Terui / Annals of Pure and Applied Logic, 163 (2012), 266 - 290
• Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability / A. Ciabattoni, M. Baaz, C. Fermüller / Logical Methods in Computer Science, 8 (2012), 1; 1 - 20
• Sequential and maximally parallel multiset rewriting: reversiblility and determinism / R. Freund, A. Alhazov, K. Morita / Natural Computing, 11 (2012), 1; 95 - 106
• Towards Algorithmic Cut-Introduction / A. Leitsch, S. Hetzl, D. Weller / in: "Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18", N. Bjorner, A. Voronkov (ed.); Springer LNCS, 2012, ISBN: 978-3-642-28716-9, 228 - 242
• Towards CERes in intuitionistic logic / A. Leitsch, G. Reis, B. Woltzenlogel-Paleo / in: "Computer Science Logic (CSL'12) - 26th International Workshop/21st", P. Cegielski et al. (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012, ISBN: 978-3-939897-42-2, 485 - 499
• P Systems with Minimal Left and Right Insertion and Deletion / R. Freund, Y. Rogozhin, S. Verlan / in: "11th Int. Conference on Unconventional Computation and Natural Computation", J. Durand-Lose et al. (ed.); Springer LNCS, Heidelberg, 2012, ISBN: 978-3-642-32893-0, 82 - 93
• P Systems with Minimal Left and Right Insertion and Deletion / R. Freund, S. Verlan et al. / in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 123 - 136
• A formal framework for P systems with Dynamic Structure / R. Freund, S. Verlan et al. / in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 199 - 210
• Time-varying sequential P systems / R. Freund, M. Oswald, S. Verlan et al. / in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 99 - 114
• Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN / R. Freund, A. Alhazov / in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 87 - 98
• Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN / R. Freund, A. Alhazov / in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez, Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 25 - 34
• A formal framework for P systems with Dynamic Structure / R. Freund, S. Verlan et al. / in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 111 - 122
• Self-Stabilization in Membrane Systems / R. Freund et al. / in: "Tenth Brainstorming Week on Membrane Computing", Gh. Paun, A. Paun et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 1 - 10
• On the Algorithmic Complexity of Vague Descriptions / C. Fermüller / in: "Int. Proceedings of Computer Science and Information Technology", F. Hong (ed.); IACSIT Press, Singapore, 2012, ISBN: 978-981-07-1883-1, 39 - 44
• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
• A Note on Minimal Counterexamples to Modularity of Termination / B. Gramlich, K. Györgyfalvay / Report No. E1852-2012-02, 2012; 9 pages
• On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems / K. Gmeiner, B. Gramlich, F. Schernhammer / Report No. E1852-2012-01, 2012; 21 pages

2011

• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Logikseminar des Instituts für Mathematik, Bern, Schweiz (invited); 2011-11-26
• CERES for Propositional Proof Schemata / M. Rukhaia / Talk: 2nd Workshop of the Joint Project, Innsbruck; 2011-10-26 - 2011-10-28
• Nonclassical Proofs: theory, applications, and tools / A. Ciabattoni / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
• Towards algorithmic cut-introduction / A. Leitsch / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
• Compression of Propositional Resolution Proofs / B. Woltzenlogel-Paleo / Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29
• A Deep Natural Deduction Calculus / B. Woltzenlogel-Paleo / Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29
• Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393
• Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Final Conference, Berlin, Germany (invited); 2011-09-15 - 2011-09-18
• A Game Based Approach to Quantification in Lukasiewicz Logic / C. Fermüller / Talk: NCMPL 2011, Guangzhou; 2011-09-05 - 2011-09-09; in: "Non-classical Modal and Predicate Logics 2011", P. Cintula, S. Ju et al. (ed.); F-Solutions, Prag (2011), 58 - 63
• Quantifier Inference Rules for SMT Proofs / B. Woltzenlogel-Paleo, P. Fontaine, D. Deharbe / Talk: Proof Exchange for Theorem Proving (PxTP), Wroclaw, Poland; 2011-07-31 - 2011-08-01
• Basic contructive connectives, determinism and matric-based semanticst / A. Ciabattoni, A. Zamansky / Talk: TABLEAUX 2011, Bern, Switzerland; 2011-07-04 - 2011-07-08
• Extending the Interaction Nets Calculus by Generic Rules / E. Jiresch / Talk: Central European Functional programming School (CEFP) - PhD Workshop, Budapest; 2011-06-18 - 2011-06-23; in: "Central European Functional Programming School - PhD Workshop", (2011), 3 pages
• How to justify your favorite logical system? - A case study / C. Fermüller / Talk: Workshop STRUCTURAL, Paris, France (invited); 2011-06-15 - 2011-06-17
• On (Un)Soundness of Unraveling Deterministic Conditional Rewrite Systems / B. Gramlich / Talk: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (2011), Novi Sad, Serbia; 2011-06-02
• Vague and Uncertain Entailment - Some Conceptual Clarifications / C. Fermüller / Talk: Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany (invited); 2011-05-19 - 2011-05-22
• A General Framework for Regulated Rewriting Based on the Applicability of Rules / R. Freund, M. Kogler, M. Oswald / Talk: Workshop on Computation, Cooperation, and Life, Otava, Teschechien; 2011-04-26 - 2011-04-27
• Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: Truth, Proof and Consequence. Perspectives on Logic, Pisa, Italien; 2011-02-28
• Evaluation Games under Vagueness / Ch Roschger / Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland; 2011-02-25 - 2011-02-27
• Parallel dialogue games and hypersequents / C. Fermüller / Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland (invited); 2011-02-25 - 2011-02-27
• Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics / A. Ciabattoni / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
• Logic and Vagueness. Report from an Interdisciplinary Battle Ground / C. Fermüller / Talk: LogICCC Meets India, New Dehli (invited); 2011-01-07 - 2011-01-08
• Methods of cut-elimination / M. Baaz, A. Leitsch / Springer Verlag, 2011, ISBN: 978-94-007-0319-3; 287 pages
• Comparing Context Updates in Delineation and Scale Based Models of Vagueness / Ch Roschger / in: "Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives", College Publications, 2011, 231 - 249
• Bildung 2.0 / R. Freund, R. Taschner / in: "Best Spirit: Best Practice", Braumüller, Wien, 2011, (invited), ISBN: 978-3-7003-1805-7, 109 - 113
• Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland / C. Fermüller / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 199 - 202
• A Conversation About Fuzzy Logic and Vagueness / C. Fermüller, P. Hajek / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 405 - 416
• Comments on Vagueness: A Mathematicians's Perspective by Thomas Vetterlein / C. Fermüller / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 87 - 90
• Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011 / R. Freund, M Holzer et al. / Austrian Computer Society, 2011, ISBN: 978-3-85403-282-3
• Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives / P. Cintula, C. Fermüller, L. Godo, P. Hajek / College Publications, London, 2011, ISBN: 978-1-84890-037-0
• International Journal of Foundations of Comuter Science / R. Freund, M. Gheorghe et al. / in series "Special Issue: Natural Computing: Theory and Applications", series editor: O. Ibarra; World Scientific Publishing Co. Pte. Ltd., New Jersey, 2011
• MacNeille Comletions of FL-algebras / A. Ciabattoni, N. Galatos, K. Terui / Algebra Universalis, 66 (2011), 405 - 420
• (Tissue) P systems working in the k - restricted minimally or maximally parallel transition mode / R. Freund, S. Verlan / Natural Computing, 10 (2011), 2; 821 - 833
• Preface / R. Freund, M. Gheorghe et al. / International Journal of Foundations of Computer Science, 22 (2011), 1; 1 - 6
• First-order satisfiability in Gödel logics: an NP-complete fragment / A. Ciabattoni, M. Baaz, N Preining / Theoretical Computer Science, 414 (2011), 6612 - 6623
• Physics and Proof Theory / B. Woltzenlogel-Paleo / Applied Mathematics and Computation, 0096-3003 (2011)
• Ceres in higher-order logic / S. Hetzl, A. Leitsch, D. Weller / Annals of Pure and Applied Logic, 162 (2011), 12; 1001 - 1034
• On the non-confluence of cut-elimination / M. Baaz, S. Hetzl / Journal of Symbolic Logic, 76 (2011), 1; 313 - 340
• Towards a GPU-based Implementation of Interaction Nets / E. Jiresch / in: "The 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011) - Draft Proceedings", A. Gill (ed.); issued by: The University of Kansas; The University of Kansas, 2011, 1 - 6
• Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms / F. Schernhammer, J. Meseguer / in: "Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2011), July 20-22, 2011, Odense, Denmark", P. Schneider-Kamp, M. Hanus (ed.); issued by: Peter Schneider-Kamp and Michael Hanus; ACM Press, 2011, ISBN: 978-1-4503-0776-5, 5 - 16
• A General Framework for Regulated Rewriting Based on the Applicability of Rules / R. Freund, M. Kogler, M. Oswald / in: "Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday", J Kelemen, A. Kelemenova (ed.); Springer LNCS, 2011, ISBN: 978-3-642-19999-8, 35 - 53
• A General Framework for Regulated Rewriting / R. Freund / in: "21.Theorietag - Automaten und Formale Sprachen", J. Dassow, B. Truthe (ed.); Otto von Guericke Universität Magdeburg, Fakultät für Informatik, 2011, 37 - 41
• Basic constructive connectives, determinism and matrix-based semantics / A. Ciabattoni, O. Lahav, A. Zamansky / in: "LNAI 6793, Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings", Springer Verlag, 6793, 2011, ISBN: 978-3-642-22118-7, 119 - 134
• Exploiting Symmetry in SMT Problems / B. Woltzenlogel-Paleo, P. Fontaine, S. Merz, D. Deharbe / in: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings", Springer LNCS, LNCS/6803, 2011, ISBN: 978-3-642-22437-9, 222 - 236
• Compression of Propositional Resolution Proofs via Partial Regularization / B. Woltzenlogel-Paleo, P. Fontaine, S. Merz / in: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings", Springer, 2011, ISBN: 978-3-642-22437-9, 237 - 251
• Realizing Monads in Interaction Nets via Generic Typed Rules / E. Jiresch, B. Gramlich / Report No. E1852-2011-0, 2011; 27 pages

2010

• Is there a role for fuzzy logic in linguistics? / C. Fermüller / Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin (invited); 2010-12-08 - 2010-12-09
• Contextual models of vagueness and vague quantifiers / Ch Roschger / Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin; 2010-12-08 - 2010-12-09
• On the complexity of proof deskolemization / M. Baaz, S. Hetzl, D. Weller / Talk: Collegium Locicum 2010: Proofs and Structures, Paris; 2010-11-08 - 2010-11-10
• CERES in higher-order-logic / A. Leitsch / Talk: Collegium Locicum 2010: Proofs and Structures, Paris (invited); 2010-11-08 - 2010-11-10
• Formal Rationality Principles in Logical Dialogue Games / C. Fermüller / Talk: Logic, Reasoning and Rationality - LRR10, Gent, Belgien; 2010-10-20 - 2010-10-22
• On Dialogue Games for Multi-Valued Logics / C. Fermüller / Talk: Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik; 2010-09-07 - 2010-09-11
• CERES in higher-order-logic / S. Hetzl, A. Leitsch, D. Weller / Talk: Workshop on Classical Logic and Computation (CL&C'10), Brünn; 2010-08-22
• Recent Developments in Conditional via Unconditional Rewriting / B. Gramlich / Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl (invited); 2010-08-01 - 2010-08-07
• Generalizing Context-Sensitivity in Term Rewriting / F. Schernhammer / Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl; 2010-08-01 - 2010-08-07
• Outermost Termination via Contextual Dependency Pairs / B. Gramlich, F. Schernhammer / Talk: 11th International Workshop on Termination (WST 2010), Edinburgh; 2010-07-14 - 2010-07-15; in: "Proc. 11th International Workshop on Termination (WST 2010)", P. Schneider-Kamp (ed.); (2010), 13 - 17
• Relations between Medieval and Modern Logical Dialogue Games / C. Fermüller / Talk: International Medieval Congress 2010, Leeds, UK (invited); 2010-07-12 - 2010-07-15
• On (Un)Soundness of Unravelings / K. Gmeiner, B. Gramlich, F. Schernhammer / Talk: 21st International Conference on Rewriting Techniques and Applications, Edinburgh; 2010-07-11 - 2010-07-13; in: "Proceedings of the 21st International Conference on Rewriting Techniques and Applications", Chris Lynch (ed.); LIPIcs - Leibniz International Proceedings in Informatics / Dagstuhl Publishing, Volume 6, Dagstuhl (2010), ISBN: 978-3-939897-18-7; 119 - 134
• Conditional via Unconditional Rewriting - Some Recent Developments / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Edinburgh; 2010-07-10
• Termination of Rewriting with and Automated Synthesis of Forbidden Patterns / B. Gramlich, F. Schernhammer / Talk: 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), Edinburgh; 2010-07-09; in: "Prelim. Proc. 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)", H. Kirchner, C. Munoz (ed.); (2010), 13 - 17
• Making it More Explicit: Brandom's Inferentialist Pragmatism and Logical Dialogue Games / F. Slivovsky / Talk: Logica 2010, Hejnice, Tschechien; 2010-06-22 - 2010-06-25
• Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19
• A Generalization of Giles's Game / C. Fermüller / Talk: Algebra and Substructural Logics - AsubL4, Kanazawa, Japan; 2010-06-08 - 2010-06-10
• From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic / Ch Roschger, C. Fermüller / Talk: ManyVal 2010, Varese, Italien (invited); 2010-05-03 - 2010-05-05
• Extensions for Interaction Nets / E. Jiresch, B. Gramlich / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 295 - 296
• Transformations of Conditional Term Rewrite Systems / K. Gmeiner, B. Gramlich / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 155 - 156
• Bridges Between Fuzzy Logic and Linguistic Models of Vagueness / Ch Roschger / Talk: Advances in Knowledge-Based Technologies, Hagenberg (invited); 2010-02-02
• Catalytic P Systems / R. Freund, A. Paun et al. / in: "The Oxford Handbook of Membrane Computing", Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Oxford University Press, 2010, ISBN: 978-0-19-955667-0, 83 - 118
• Fast Cut-Elimination by CERES / A. Leitsch, M. Baaz / in: "Proofs, Categories and Computations", S. Feferman, W. Sieg (ed.); College Publications, London, 2010, ISBN: 978-1-84890-012-7, 31 - 49
• Fast cut-elimination by CERES / M. Baaz, A. Leitsch / in: "Proofs, Categories and Computations, Essays in Honor of Grigori Mints", S. Feferman, W. Sieg (ed.); College Publications (Kings College), 2010, ISBN: 978-1-84890-012-7, 31 - 48
• Some Critical Remarks on Incompatibility Semantics / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2010, ISBN: 978-1-848900097, 81 - 96
• On Giles style dialoques games and hypersequent systems / C. Fermüller / in: "Probability, Uncertainty and Rationality", H. Hosni, F. Montagna (ed.); issued by: Fondazione Monte dei paschi di Siena; Editioni Della Normale, Pisa, 2010, ISBN: 978-88-7642-347-5, 169 - 197
• Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17 / C. Fermüller, A. Voronkov / in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages
• Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010) / H. Bordihn, R. Freund et al. / in series "Books@ocg.at", series editor: G Chroust, G. Kotis et al.; Österreichische Computer Gesellschaft, 2010, ISBN: 978-3-85403-263-2
• Realizing Impure Functions in Interaction Nets / E. Jiresch / Electronic Communications of the EASST, 38 (2010), 1 - 17
• Termination of Rewriting with and Automated Synthesis of Forbidden Patterns / B. Gramlich, F. Schernhammer / Electronic Proceedings in Theoretical Computer Science, 44 (2010), 35 - 50
• Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / Electronic Proceedings in Theoretical Computer Science, 15 (2010), 56 - 68
• Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems / F. Schernhammer, B. Gramlich / Journal of Logic and Algebraic Programming, 79 (2010), 7; 659 - 688
• On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy / M. Alpuente, S. Escobar, B. Gramlich, S. Lucas / Theoretical Computer Science, 411 (2010), 2; 504 - 541
• Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions / A. Ciabattoni, G Metcalfe, F. Montagna / Fuzzy Sets and Systems, 161 (3) (2010), 369 - 389
• Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
• Review: Vagueness and Degrees of Truth / C. Fermüller / Australasian Journal of Logic, 9 (2010), 1 - 9
• The Helly Property and Satisfiability of Boolean Formulas Defined on Set Families / V. Chepoi, N. Creignou, M. Hermann, G. Salzer / European Journal of Combinatorics, 31 (2010), 2; 502 - 516
• Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough / R. Freund, M. Kogler / in: "11th International Conference, CMC2010 - Membrane Computing", M. Gheorghe, Gh. Paun et al. (ed.); issued by: LNCS; Springer LNCS, Heidelberg, 2010, ISBN: 3-642-18122-8, 198 - 208
• Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough / R. Freund, M. Kogler / in: "Proceedings of the Eleventh International Conference on Membrane Computing", Pro Business GmbH, 2010, ISBN: 978-3-86805-721-8, 193 - 205
• System Description: The Proof Transformation System CERES / A. Leitsch, T. Dunchev, D. Weller, B. Woltzenlogel-Paleo, T. Libal / in: "IJCAR 2010", J. Giesl, R. Hähnle (ed.); Springer, LNAI, Heidelberg, 2010, ISBN: 978-3-642-14202-4, 427 - 433
• A resolution mechanism for Prenex Gödel logic / M. Baaz, C. Fermüller / in: "Computer Science Logic (LNCS 6247/2010)", A. Dawar, H. Veith (ed.); Springer, 2010, 67 - 79
• On (Un)Soundness of Unravelings / K. Gmeiner, B. Gramlich, F. Schernhammer / Report No. Technical Report E1852-2010-01, 2010; 23 pages

2009

• Consistency and minimality of UML class specifications / T. Sisel / Talk: LIX, Ecole Polytechnique, Palaiseau/Paris (invited); 2009-11-13
• Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller / Keynote Lecture: Probability, Uncertainty and Rationality, Pontignano, Italy; 2009-11-01 - 2009-11-03
• Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306
• Vagueness at the interface between logic, philosophy, and linguistics / C. Fermüller / Talk: Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic (invited); 2009-09-14 - 2009-09-17
• P Automata with controlled use of minimal Communication rules / R. Freund, M. Kogler, S. Verlan / Talk: NCMA, Wroclaw; 2009-08-31 - 2009-09-01; in: "Workshop on Non-Classical Models for Automata and Applications", H. Bordihn, R. Freund, M Holzer et al. (ed.); Österreichische Computer Ges., Wien (2009), ISBN: 978-3-85403-256-4; 107 - 121
• VMTL - A Modular Termination Laboratory / F. Schernhammer, B. Gramlich / Talk: 20th International Conference on Rewriting Techniques and Applications (RTA 2009), Brasilia, Brazil; 2009-06-29 - 2009-07-02; in: "Proc. 20th International Conference on Rewriting Techniques and Applications (RTA 2009)", R. Treinen (ed.); Springer, LNCS 5595 (2009), ISBN: 978-3-642-02347-7; 285 - 294
• Description Problems over Finite Totally-Ordered Domains / G. Salzer / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
• Fast Cut-Elimination by CERES / A. Leitsch / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
• Linguistics, Logic, and Vagueness / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Vienna; 2009-06-29 - 2009-07-02
• An Implementation of Nested Pattern Matching in Interaction Nets / A. Hassan, E. Jiresch, S. Sato / Talk: 10nth International Workshop on Rule-Based Programming (RULE'09), Brasilia (Brazil); 2009-06-28; in: "Prelim. Proc. 10nth International Workshop on Rule-Based Programming (RULE'09)", (2009), 14 - 25
• Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / Talk: 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), Brasilia (Brazil); 2009-06-28; in: "Prelim. Proc. 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), Brasilia, Brazil, June 28, 2009", M. Fernandez (ed.); (2009), 25 - 29
• Conditional Rewriting (IV) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
• Conditional Rewriting (III) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
• Conditional Rewriting (II) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
• Conditional Rewriting (I) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
• Some Critical Remarks on Incompatibility Semantics / C. Fermüller / Talk: Logica 2009, Hejnice, Czech Republic; 2009-06-22 - 2009-06-26
• Evaluation Games for Shapiro's Logic of Vagueness in Context / Ch Roschger / Talk: Logica, Hejnice, Czech Republic; 2009-06-21 - 2009-06-25; in: "The Logica Yearbook 2010", College Publications, (2010)
• On Some Implementation Aspects of VMTL / F. Schernhammer, B. Gramlich / Talk: 10th International Workshop on Termination (WST 2009), Leipzig; 2009-06-03 - 2009-06-05; in: "Proc. 10th International Workshop on Termination (WST 2009)", A. Geser, J. Waldmann (ed.); (2009), 72 - 75
• Constraint Satisfaction Problems & Many-Valued Logics / G. Salzer / Talk: Collegium Logicum 2009 (CL2009), Wien (invited); 2009-05-27 - 2009-05-28
• Simulating the behaviour of cellular automata by extended spiking neural P systems. / A. Binder, R. Freund, M. Oswald / Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Japan; 2009-02-05 - 2009-02-07; in: "14th International Symposium on Artificial Life and Robotics", M. Sugisaka, H. Tanaka (ed.); (2009), ISBN: 978-4-9902880-3-7; 293 - 296
• Dialogue games and the proof theory of fuzzy logics - a review and outlook / C. Fermüller / Talk: Linz 2009, Linz; 2009-02-03 - 2009-02-07; in: "The Legacy of 30 Seminars - Where do we stand and where do we go?", U. De Baets, U Bodenhofer et al. (ed.); (2009), 42 - 45
• A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / Talk: Symposium on Logical Foundations of Computer Science (LFCS 2009), Deerfield Beach, FL, USA; 2009-01-03 - 2009-01-06; in: "Logical Foundations of Computer Science", A. Nerode, S. Artemov (ed.); Springer, LNCS, 5407 (2009), ISBN: 3-540-92686-0; 214 - 229
• Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? / C. Fermüller / in: "Witnessed Years. Esseays in Honour of Petr Hajek", P. Cintula, Z. Hanikova, V. Svejdar (ed.); College Publications, 2009, ISBN: 978-1-904987-63-5, 373 - 386
• A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "Lecture Notes in Computer Science, 5407", E. Artemov, A. Nerode (ed.); Springer LNCS, Heidelberg, 2009, ISBN: 3-540-92686-0, 214 - 229
• Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation / C. Fermüller / in: "Games: Unifying Logic, Language, and Philosophy", O. Majer, T. Tulenheimo, A. Pietarinen (ed.); Springer Science, 2009, ISBN: 978-1-4020-9373-9, 209 - 227
• Dialogue Games as Foundation of Fuzzy Logics / C. Fermüller / in: "Studies in Fuzziness and Soft Computing, Vol 243", R. Seising, J. Kacprzyk (ed.); Springer, 2009, ISBN: 978-3-540-93801-9, 229 - 247
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2009, ISBN: 978-1-904987-46-8, 43 - 57
• On the Power of P and DP Automata / R. Freund, M. Kogler et al. / Analele Univeritatii Bucuresti, LVIII (2009), ISSN: 1224-7170; 5 - 22
• Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. / A. Alhazov, R. Freund, M. Oswald, S. Verlan / Fundamenta Informaticae, 91 (2009), 1; 17 - 34
• Membrane computing and brain modelling. / M. Oswald / Artificial Life and Robotics (invited), 13 (2009), 2; 390 - 393
• Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller, G Metcalfe / Studia Logica, 92 (2009), 27 - 81
• A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301
• Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic / C. Fermüller, Ch Roschger / in: "Proceedings of the 8th Workshop on Uncertainty Processing", T. Kroupa, J. Vejnarova (ed.); issued by: European Science Foundation; Universtiy of Economics, Prague, 2009, ISBN: 978-80-245-1543-4, 71 - 79
• Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems / F. Schernhammer, B. Gramlich / Report No. E1852-2009-01, 2009; 51 pages
• Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / Report No. E1852-2009-02, 2009; 22 pages

2008

• Transforming and Analyzing Proofs in the CERES-system / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / Talk: The LPAR 2008 Workshops: KEAPPA and IWIL 2008, Doha, Qatar; 2008-11-22; in: "Proceedings of the LPAR 2008 Workshops", P. Rudnicki, G. Sutcliffe et al. (ed.); CEUR-WS.org, Vol 418 (2008), ISSN: 1613-0073; 77 - 91
• Brandom's 'incompatibilty semantics' / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2008-11-20
• On Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / Talk: 20th Nordic Workshop on Programming Theory (NWPT 2008), Tallinn, Estonia; 2008-11-19 - 2008-11-21; in: "Proc. 20th Nordic Workshop on Programming Theory - NWPT 2008 (Extended Abstracts)", Institute of Cybernetics, Tallinn University of Technology, Tallinn, Estonia (2008), ISBN: 978-9949-430-24-6; 84 - 86
• LoMoReVI -- Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Launch Conference of the European Science Foundation, Prag (invited); 2008-10
• (Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode / R. Freund, S. Verlan / Talk: Theorietag Automaten und Formale Sprachen, Wettenberg-Launsbach; 2008-09-30 - 2008-10-02; in: "18.Theorietag - Automaten und Formale Sprachen", M Holzer, M. Kutrib, A. Malcher (ed.); Justus-Liebig Verlag, (2008), ISBN: 978-3-00-025920-3; 49 - 55
• Cut-elimination / M. Baaz, S. Hetzl / Talk: Third Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia (invited); 2008-09-24 - 2008-09-28
• On the interpretation of t-norm based fuzzy logics / C. Fermüller / Keynote Lecture: LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena; 2008-09
• (Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode / R. Freund, S. Verlan / Talk: Internationaler Workshop on Computing with Biomolecules, Wien; 2008-08-27; in: "International Workshop on Computing with Biomolecules", R. Freund, M. Oswald, E. Csuhaj-Varjú, K. Salomaa (ed.); Oesterreichische Computer Gesellschaft, 244 (2008), ISBN: 978-3-85403-244-1; 43 - 53
• (Tissue) P systems using non-cooperative rules without halting conditions / M. Beyreder, R. Freund / Talk: Workshop on Membrane Computing, WMC, Edinburgh; 2008-07-28 - 2008-07-31; in: "Proceedings of the Ninth Workshop on Membrane Computing", P. Frisco, D. W. Corne, Gh. Paun (ed.); (2008), 85 - 94
• Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages
• Bio-Inspired Computing: DNA Computing and Membrane Computing / R. Freund / Keynote Lecture: BIRD'08 2nd International Conference on Bioinformatics Research and Development, Wien (invited); 2008-07-07 - 2008-07-09
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam; 2008-07
• Membrane Systems / R. Freund / Keynote Lecture: The 12th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2008, Orlando, Florida (invited); 2008-06-29 - 2008-07-02
• Algorithms for Herbrand Sequent Extraction / B. Woltzenlogel-Paleo / Talk: Deep Inference, its Algebra, Geometry and Syntax, Nancy, Frankreich; 2008-06-18
• Variants of Halting in P Systems / M. Oswald / Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17
• P Systems Working in the 1-restricted Minimally Parallel Derivation Mode / R. Freund / Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17
• Transformations of Conditional Rewrite Systems Revisited / K. Gmeiner, B. Gramlich / Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Recent Trends in Algebraic Development Techniques (WADT 2008) - Revised Selected Papers", A. Corradini, U. Montanari (ed.); Springer, LNCS 5486 (2009), ISBN: 978-3-642-03428-2; 166 - 186
• Transformations of Conditional Rewrite Systems Revisited / K. Gmeiner, B. Gramlich / Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)", (2008), 64 - 66
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: Logica 2008, Hejnice; 2008-06
• Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics / G. Salzer, V. Chepoi, N. Creignou, M. Hermann / Talk: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic), Dallas,Texas,USA; 2008-05-16 - 2008-05-19; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic", G. Dueck (ed.); IEEE Computer Society, Washington D.C., USA (2008), ISBN: 978-0-7695-3155-7; 100 - 105
• An Integrating View on DNA Computing and Membrane Computing / R. Freund / Keynote Lecture: 10th WSEAS Int. Conf. on MATHEMATICAL METHODS AND COMPUTATIONAL TECHNIQUES IN ELECTRICAL ENGINEERING (MMACTEE '08), Sofia, Bulgaria (invited); 2008-05-02 - 2008-05-04
• CERES: Analysis of the fifth Proof of the Infinity of Primes / A. Leitsch / Talk: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04-24 - 2008-04-26
• Dialogue games as foundations of non-classical logics / C. Fermüller / Keynote Lecture: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04
• Membrane Computing and Brain Modelling / M. Oswald / Keynote Lecture: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Japan (invited); 2008-01-31 - 2008-02-02
• Extended Spiking neural P systems - variants for modeling the brain / A. Binder, R. Freund, M. Oswald / Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, Japan; 2008-01-31 - 2008-02-02; in: "Proc.13th International Symposium on Artificial Life and Robotics AROB13th 2008", M. Sugisaka, H. Tanaka (ed.); (2008), ISBN: 978-4-9902880-2-0; 520 - 524
• International Workshop on Computing with Biomolecules / E. Csuhaj-Varjú, R. Freund, M. Oswald, K. Salomaa / Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-244-1; 101 pages
• Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / C. Calude, J.F. Costa, R. Freund, M. Oswald, G. Rozenberg / Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-85193-6; 259 pages
• A way to interpret Lukasiewicz Logic and Basic Logic / T Vetterlein / Studia Logica, 90 (2008), 407 - 423
• Regular left-continuous t-norms / T Vetterlein / Semigroup Forum, 77 (2008), 339 - 379
• How to Acknowledge Hypercomputation / A. Leitsch, G. Schachner, K. Svozil / Complex Systems, 18 (2008), 131 - 143
• Dialoque Games for Many-Valued Logics - an Overwiew / C. Fermüller / Studia Logica, 90 (2008), 43 - 68
• CD Grammar Systems with Regular Start Conditions / R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 19 (2008), 4; 767 - 779
• Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking / R. Freund, M. Oswald, M. Ionescu / International Journal of Foundations of Computer Science, 19 (2008), 5; 1223 - 1234
• CERES: An analysis of Fürstenberg's proof of the infinity of primes / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Theoretical Computer Science, 403 (2008), 2-3; 160 - 175
• Efficient Algorithms For Description Problems Over Finite Totally Ordered Domains / G. Salzer, M. Hermann, A Gil, B Zanuttini / SIAM JOURNAL ON COMPUTING, 38 (2008), 3; 922 - 945
• Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / Electronic Notes in Theoretical Computer Science (ENTCS), 204 (2008), 35 - 51
• Towards an algorithmic construction of cut-elimination procedures / A. Ciabattoni, A. Leitsch / Mathematical Structures In Computer Science, 18 (2008), 1; 81 - 105
• Regular ω-Languages defined by Extended Spiking Neural P Systems / R. Freund, M. Oswald / Fundamenta Informaticae (invited), 83 (2008), 1-2; 65 - 73
• Weak effect algebras / T Vetterlein / Algebra Universalis, 58 (2008), 129 - 143
• Analytic calculi for logics of ordinal multiples of standard t-norms / T Vetterlein / Journal of Logic and Computation, 18 (2008), 35 - 57
• Fuzzy logic as a logic of the expressive strength of information / T Vetterlein / Soft Computing, 12 (2008), 479 - 485
• Boolean algebras with an automorphism group: a framework for Łukasiewicz logic / T Vetterlein / Journal of Multiple-Valued Logic and Soft Computing, 14 (2008), 51 - 67
• Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras / T Vetterlein / Mathematical Logic Quarterly, 54 (2008), 325 - 342
• Complexity of Clausal Constraints Over Chains / N. Creignou, M. Hermann, A. Krokhin, G. Salzer / Theory of Computing Systems, 42 (2008), 2; 239 - 255
• Herbrand Sequent Extraction / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "AISC/Calculemus/MKM 2008", S. Autexier et al. (ed.); Springer, Heidelberg, 2008, ISBN: 9783540851097, 462 - 477
• Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "Proceedings of the CICIM Workshops on ESARM-08", G. Sutcliffe, S. Colton, S. Schulz (ed.); issued by: Ceur Workshop Proceedings; CEUR-WS.org, 2008, ISSN: 1613-0073, 23 - 41
• Cut elimination for first order Gödel logic by hyperclause resolution / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 2008, ISBN: 3-540-89438-1, 451 - 466

2007

• Some Remarks on Imprecise Truth Values / C. Fermüller / Talk: "Two and beyond", KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain (invited); 2007-11
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: LPAR 2007, Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", N Dershowitz, A. Voronkov (ed.); Springer, LNCS 4790 (2007), ISBN: 978-3-540-75558-6; 77 - 91
• Monadic fragments of Gödel logics: decidability and undecability results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Eriwan, Armenia; 2007-10-15 - 2007-10-19
• Interpreting interval based fuzzy logics / C. Fermüller / Talk: Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia (invited); 2007-10
• Modelling Logical Gates with ESNPA Systems / A. Binder, R. Freund, M. Oswald, L. Vock / Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 28 - 32
• Symport/Antiport Systems with Partial Halting / R. Freund, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 50 - 54
• Extended spiking neural P systems with spikes of limited lifetime / R. Freund, M. Ionescu, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 45 - 49
• Fuzzy Logic and Theories of Vagueness / C. Fermüller / Keynote Lecture: 5th EUSFLAT Conference, Ostrava, Czech Republic (invited); 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", (2007), ISBN: 978-80-7368-386-3; 17
• Fuzzy Logic as a Theory of Vagueness / J Bradley / Talk: 5th EUSFLAT Conference, Ostrava, Czech Republic; 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", M Stepnicka, V Novak, U Bodenhofer (ed.); 1 (2007), ISBN: 978-80-7368-386-3; 417 - 424
• Exploring Dialogue Games as Foundation of Fuzzy Logic / C. Fermüller / Talk: 5th EUSFLAT Conference, Ostrava, Czech Republic; 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", M Stepnicka, V Novak, U Bodenhofer (ed.); 1 (2007), ISBN: 978-80-7368-386-3; 437 - 444
• Partial Halting in P Systems Using Membrane Rules with Permitting Contexts / A. Alhazov, R. Freund, M. Oswald, S. Verlan / Talk: MCU (International Conference Machines, Computations and Universality), Orleans; 2007-09-10 - 2007-09-13; in: "Machines, Computations, and Universality", J. Durand-Lose, M. Margenstern (ed.); LNCS, Springer, 4664 (2007), ISSN: 0302-9743; 110 - 121
• Fuzzy Logic and Theories of Vagueness / C. Fermüller / Talk: Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic (invited); 2007-09
• Games in logic and logic in games / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-09
• Extended spiking neural P systems with decaying spikes and/or total spiking / R. Freund, M. Ionescu, M. Oswald / Talk: International Workshop Automata for Cellular and Molecular Computing, Budapest; 2007-08-31; in: "Proceedings of the International Workshop Automata for Cellular and Molecular Computing", Gy. Vaszil (ed.); MTA Sztaki, (2007), 64 - 75
• Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / R. Freund, Gh. Paun, M. Pérez-Jiménez / Talk: UC2007, Kingston; 2007-08-13 - 2007-08-17; in: "Unconventional Computation", S. Akl, C. Calude et al. (ed.); LNCS, Springer, 4618 (2007), ISBN: 3-540-73553-4; 62 - 76
• CD Grammar Systems with Regular Start Conditions / R. Freund, M. Oswald / Talk: International Workshop on Descriptional Complexity of Formal Systems, High Tatras; 2007-07-20 - 2007-07-22; in: "Descriptional Complexity of Formal Systems", V. Geffert, G. Pighizzini (ed.); (2007), ISBN: 978-80-7097-688-3; 69 - 80
• CERES: An analysis of Fürstenberg's proof of the infinity of primes / A. Leitsch / Keynote Lecture: Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07-02 - 2007-07-03
• Dialogue games as foundations of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07
• On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / Talk: 9th International Workshop on Termination (WST 2007), Paris, France; 2007-06-29; in: "Proc. 9th International Workshop on Termination", D. Hofbauer, A. Serebrenik (ed.); (2007), 82 - 85
• A formal framework for P systems / R. Freund, S. Verlan / Talk: Workshop on Membrane Computing, Thessaloniki; 2007-06-25 - 2007-06-28; in: "Eighth Workshop on Membane Computing (WMC8)", G. Eleftherakis, P. Kefalas, Gh. Paun (ed.); South-East European Research Centre, (2007), ISBN: 978-960-89629-2-7; 317 - 330
• Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / Talk: 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris; 2007-06-25; in: "Proc. 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)", J. Giesl (ed.); (2007), 28 - 42
• Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints / G. Salzer, I. Feinerer / Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420
• Logische Dialogspiele als formale Semantik / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-04
• Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic / C. Fermüller / Talk: Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz (invited); 2007-02
• Spiking neural P systems with inhibitory axons / R. Freund, M. Oswald / Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu; 2007-01-25 - 2007-01-27; in: "Proceedings of the 12th Interantional Symbosium on Artificial Life and Robotics", M. Sugisaka, H. Tamaka (ed.); ISAROB 2007, (2007), ISBN: 978-4-9902880-1-3; 509 - 512
• Proof Transformations and Structural Invariance / A. Leitsch, S. Hetzl / in: "LNAI 4460: Algebraic and Proof-theoretic Aspects", S. Aguzzoli et al. (ed.); Springer, LNAI 4460, 2007, 201 - 230
• Refining the Nonterminal Complexity of Graph-controlled, Programmed and Matrix Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / Journal of Automata, Languages and Combinatorics, 12 (2007), 1/2; 117 - 138
• Monadic fragments of Gödel logics: decidability and undecidability / M. Baaz, A. Ciabattoni, C. Fermüller / Lecture Notes in Computer Science, 4790 (2007), 77 - 91
• A Framework for Timed Concurrent Constraint Programming with External Functions / M. Alpuente, B. Gramlich, A. Villanueva / Electronic Notes in Theoretical Computer Science (ENTCS), 188 (2007), 143 - 155
• Cellular Automata and Parallel Array Systems / R. Freund, F. Tafill / Fundamenta Informaticae, 78 (2007), 3; 311 - 327
• Tissue P Systems and (MEM) Brane Systems with Mate and Drip Operations Working on Strings / R. Freund, M. Oswald / Electronic Notes in Theoretical Computer Science (ENTCS), 171 (2007), 105 - 115
• Multiset random context grammars, checkers, and transducers / M. Cavaliere, R. Freund, M. Oswald, D. Sburlan / Theoretical Computer Science, 372 (2007), 136 - 151
• Partial Halting in P Systems / R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 18 (2007), 6; 1215 - 1225
• Independent agents in a globalized world modelled by tissue P systems / M. Oswald / Artificial Life and Robotics, 11 (2007), 2; 171 - 174
• Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode / R. Freund, M. Oswald / Fundamenta Informaticae, 76 (2007), 3; 305 - 323
• Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
• On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / 2007; 14 pages
• Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / Report No. E1852-2007-01, 2007; 31 pages

2006

• Automated Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages
• Combining Supervaluation and Degree Based Reasoning Under Vagueness / C. Fermüller, R Kosik / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia; 2006-11-13 - 2006-11-17; in: "Logic for Programming, Artificial Intelligence, and Reasoning", Springer, LNAI 4246 (2006), ISBN: 978-3-540-48281-9; 212 - 226
• (Tissue) P Systems with Mate and Drip Operations and Cut and Paste Operations / R. Freund, M. Oswald / Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20
• Special Variants of P Automata / M. Oswald / Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20
• Theorien der Vagheit und Fuzzy Logic / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2006-10-12
• Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth / C. Fermüller / Talk: Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic; 2006-09-30
• Modelling Distributed Systems by P Systems / A. Binder, R. Freund, G. Lojka, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 22 - 27
• (Mem)Brane Systems and Tissue P Systems with Mate and Drip Operations / R. Freund, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 51 - 56
• P Systems for Modelling Biological Processes in Living Cells / R. Freund, T. Gschwandtner / Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 46 - 50
• Membrane Systems with Attributes for Modelling Business Transactions / R. Freund, M. Oswald, T. Schirk / Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 57 - 62
• Extended Spiking Neural P Systems as Generating Devices for Strings and Vectors of Non-Negative Integers / A. Alhazov, R. Freund, M. Oswald, M. Slavkovik / Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 17 - 21
• Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio / C. Fermüller / Talk: Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV', Turun, Poland; 2006-09-26
• How a membrane agent buys goods in a membrane store / R. Freund, M. Oswald, T. Schirk / Talk: BIC-TA 2006, Wuhan, China; 2006-09-18 - 2006-09-22; in: "Pre-proc. of Int. Conf. on Bio-Inspired Computing - Theory and Applications, BIC-TA 2006, Membrane Computing Section", L. Pan, Gh. Paun (ed.); (2006), 93 - 102
• Applications of membrane systems in distributed systems / A. Binder, R. Freund, G. Lojka, M. Oswald / Talk: BIC-TA 2006, Wuhan, China; 2006-09-18 - 2006-09-22; in: "Pre-proc. of Int. Conf. on Bio-Inspired Computing - Theory and Applications, BIC-TA 2006, Membrane Computing Section", L. Pan, Gh. Paun (ed.); (2006), 37 - 50
• Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Logics in Artificial Intelligence (LNAI)", Springer-Verlag, LNAI 4160 (2006), ISBN: 3-540-39625-x; 164 - 176
• Comparing Mathematical Proofs / S. Hetzl / Talk: Studia Logica International Conference; Towards Mathematical Philosophy; Trends in Logic IV, Torun, Poland; 2006-09-01 - 2006-09-04
• System Description: The Cut-Elimination System CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Talk: FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), Seattle, USA; 2006-08-21; in: "ESCoR 2006 Empirically Successful Computerized Reasoning", G. Sutcliffe, R. Schmidt, S. Schulz (ed.); CEUR Workshop Proceedings, 192 (2006), ISSN: 1613-0073; Paper ID 11, 9 pages
• Generalizing Newman's Lemma for Left-Linear Rewrite Systems / B. Gramlich, S. Lucas / Talk: 17th International Conference on Rewriting Techniques and Applications (RTA 2006), Seattle, USA; 2006-08-12 - 2006-08-14; in: "Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, Washington, USA, August 12-14, 2006, Proceedings, LNCS 4098", F. Pfenning (ed.); Springer, LNCS 4098 (2006), ISBN: 3-540-36834-5; 66 - 80
• Modeling the Dynamical Parallelism of Bio-Systems / E. Csuhaj-Varjú, R. Freund, D. Sburlan / Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 290 - 310
• Tissue P Systems with Communication Modes / F. Bernardini, R. Freund / Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 132 - 144
• Extended Spiking Neural P Systems Generating Strings and Vectors of Non-Negative Integers / A. Alhazov, R. Freund, M. Oswald, M. Slavkovik / Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 88 - 101
• Tissue P systems with mate and drip operations / R. Freund, M. Oswald / Talk: MeCBIC2006 Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy; 2006-07-09; in: "MeCBIC2006 Workshop on Membrane Computing and Biologically Inspired Process Calculi", N. Busi, C. Zandron (ed.); (2006), 1 - 12
• A Similarity Criterion for Proofs (abstract) / S. Hetzl / Talk: Computability in Europe 2006, Logical Approaches to Computational Barriers, Swansea, Wales; 2006-06-30 - 2006-07-05; in: "Logical Approaches to Computational Barriers", A. Beckmann, U. Berger, B. Löwe, J. Tucker (ed.); University of Wales Swansea Report Series, CSR 7-2006 (2006), ISBN: 0-86076-189-4; - 295
• Special variants of P systems with one catalyst in one membrane / R. Freund / Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23
• A small universal antiport P system with forbidden context / R. Freund, M. Oswald / Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23
• Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents / C. Fermüller / Talk: Universita degli Studi di Siena, Siena, Italy (invited); 2006-05-31
• Algebraic representation of regular array languages / R. Freund / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
• Syntactical pattern recognition with 2-dimensional array grammars and array automata / R. Freund / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
• 2-dimensional k-level Parallel Array Grammars / M. Oswald / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
• Automatically Proving Confluence of Non-Terminating Rewrite Systems via a Generalized Newman-Style Approach / B. Gramlich / Talk: Seminari del Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy; 2006-04-11
• CERES: Cut-Elimination by Resolution / A. Leitsch / Talk: MANYVAL 06, Gargnano; 2006-03-20 - 2006-03-22
• Independant Agents in a Globalized World Modelled by Tissue P Systems / M. Oswald / Talk: International Symposium on Artificial Life and Robotics (AROB 11th '06), Beppu, Japan; 2006-01-25 - 2006-01-27
• Contextual Array Grammars / R. Freund, Gh. Paun, G. Rozenberg / in: "Formal Models, Languages and Applications", K. Subramanian et al. (ed.); World Scientific, Singapore, 2006, ISBN: 981-256-889-1, 112 - 136
• Proceedings 16.Theorietag Automaten und Formale Sprachen / R. Freund, M. Oswald / TU Wien, Wien, 2006
• Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa / Springer LNCS 3850, Berlin, 2006, ISBN: 978-3-540-30948-2; 371 pages
• Proof transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Lecture Notes in Computer Science, 4108 (2006), 82 - 93
• Tree Tuple Languages from the Logic Programming Point of View / G. Salzer, S Limet / Journal of Automated Reasoning, 37 (2006), 4; 323 - 349
• Basic Rewriting via Logic Programming, with an Application to the Reachability Problem / G. Salzer, S Limet / Journal of Automata, Languages and Combinatorics, 11 (2006), 1; 107 - 142
• P colonies and prescribed teams / R. Freund, M. Oswald / International Journal of Computer Mathematics, 83 (2006), 7; 569 - 592
• Membrane division, restricted membrane creation and object complexity in P systems / A. Alhazov, R. Freund, A. Riscos-Núñez / International Journal of Computer Mathematics, 83 (2006), 7; 529 - 548
• Routes and Products of Monoids / A. Mateescu, R. Freund / Fundamenta Informaticae, 73 (2006), 1-2; 205 - 211
• Cell/symbol complexity of tissue P systems with symport/antiport rules / A. Alhazov, R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 17 (2006), 1; 3 - 25
• (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes / A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron / Fundamenta Informaticae, 74 (2006), 4; 391 - 408
• Towards a clausal analysis of cut-elimination / M. Baaz, A. Leitsch / Journal of Symbolic Computation, 41 (2006), 381 - 410
• Small Universal Antiport P Systems and Universal Multiset Grammars / R. Freund, M. Oswald / in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II", C. Graciani-Díaz, Gh. Paun, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Fénix Editora, Sevilla, 2006, 51 - 64
• Particular Results for Variants of P Systems with One Catalyst in One Membrane / R. Freund / in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II", C. Graciani-Díaz, Gh. Paun, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Fénix Editora, Sevilla, 2006, 41 - 50
• On String Languages Generated by Spiking Neural P Systems / H. Chen, R. Freund, M. Ionescu, Gh. Paun, M. Pérez-Jiménez / in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 169 - 194
• Multiset Random Context Grammars, Checkers, and Transducers / M. Cavaliere, R. Freund, M. Oswald, D. Sburlan / in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 113 - 132
• Two Universality Results for (Mem)Brane Systems / D. Besozzi, N. Busi, G. Franco, R. Freund, Gh. Paun / in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 49 - 62
• Computational Power of Symport/Antiport: History, Advances, and Open Problems / A. Alhazov, R. Freund, Y. Rogozhin / in: "Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers", R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer LNCS 3850, Berlin, 2006, (invited), ISBN: 978-3-540-30948-2, 1 - 31
• Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules / A. Alhazov, R. Freund, M. Oswald / in: "Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers", R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer LNCS 3850, Berlin, 2006, ISBN: 978-3-540-30948-2, 97 - 114
• Proof Transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / in: "MKM 2006", J.M. Borwein, W.M. Farmer (ed.); Springer, Berlin Heidelberg, 2006, 82 - 93
• Timed Concurrent Constraint Programming with Instantaneous Computations / M. Alpuente, B. Gramlich, A. Villanueva / in: "Proc. 6th Spanish Conference on Programming and Computer Languages (PROLE 2006)", P. Lucio (ed.); The University of the Basque Country, 2006, 221 - 230
• Timed Concurrent Constraint Programming with External Functions / M. Alpuente, B. Gramlich, A. Villanueva / Report No. DSIC-II//13/06, 2006; 16 pages

2005

• Abstracting from the Propositional Structure of First-Order Proofs / S. Hetzl, A. Leitsch / Talk: Paris-Vienna Workshop 2005, Paris; 2005-12-19
• From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic; 2005-12-05
• Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz; 2005-11-02 - 2005-11-05
• CERES in many-valued logics / A. Leitsch / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz, Italien; 2005-11-02 - 2005-11-05
• From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2005-11-02 - 2005-11-05
• The Enigma of Quantifying Vague Information / C. Fermüller / Talk: The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic; 2005-10-05 - 2005-10-07
• Optimal Nonterminal Complexity of Graph-controlled Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / Talk: Theorietag Automaten und Formale Sprachen, Lauterbad bei Freudenstadt; 2005-09-28 - 2005-09-29; in: "15. Theorietag der GI Fachgruppe 0.1.5 Automaten und Formale Sprachen", H. Fernau (ed.); (2005), ISSN: 0946-3852; 13 - 17
• Membrane Systems as a Model for Distributed Computing / A. Binder, R. Freund, G. Lojka, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Lauterbad bei Freudenstadt; 2005-09-28 - 2005-09-29; in: "15. Theorietag der GI Fachgruppe 0.1.5 Automaten und Formale Sprachen", H. Fernau (ed.); (2005), ISSN: 0946-3852; 1 - 5
• One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems / A. Alhazov, R. Freund, A. Riscos-Núñez / Talk: International Workshop on Theory and Application of P Systems (TAPS), Timisoara, Romania; 2005-09-26 - 2005-09-27; in: "Proceedings of the 1st International Workshop on Theory and Application of P Systems", G. Ciobanu, Gh. Paun (ed.); ???, (2005), 9 - 18
• P Colonies Working in the Maximally Parallel and in the Sequential Mode / R. Freund, M. Oswald / Talk: International Workshop on Theory and Application of P Systems (TAPS), Timisoara, Romania; 2005-09-26 - 2005-09-27; in: "Proceedings of the 1st International Workshop on Theory and Application of P Systems", G. Ciobanu, Gh. Paun (ed.); (2005), 49 - 56
• Analytic Systems and Dialogue Games / C. Fermüller / Talk: TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, Germany (invited); 2005-09-14 - 2005-09-17; in: "TABLEAUX 2005, Position Papers and Tutorial Descriptions", B Beckert (ed.); Fachberichte Informatik, Universität Koblenz-Landau (2005), ISSN: 1860-4471; 43 - 52
• Computational Analysis of Proofs / A. Leitsch / Talk: European Summer School in Logic Language and Information 2005, Edinburgh, U.K.; 2005-08-13 - 2005-08-20
• Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423
• Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules / A. Alhazov, R. Freund, M. Oswald / Talk: Workshop on Membrane Computing, Wien; 2005-07-18 - 2005-07-21; in: "Preproceedings of the 6th International Workshop on Membrane Computing WMC6", F. Freund, G. Lojka, M. Oswald, Gh. Paun (ed.); (2005), 123 - 146
• Computational Power of Symport/Antiport: History, Advances and Open Problems / A. Alhazov, R. Freund, Y. Rogozhin / Talk: Workshop on Membrane Computing, Wien (invited); 2005-07-18 - 2005-07-21; in: "Preproceedings of the 6th International Workshop on Membrane Computing WMC6", R. Freund, G. Lojka, M. Oswald, Gh. Paun (ed.); (2005), 44 - 78
• Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells / A. Alhazov, R. Freund, M. Oswald / Talk: International Conference on Developments in Language Theory (DLT), Palermo, Italy; 2005-07-04 - 2005-07-08; in: "Developments in Language Theory. 9th International Conference, DLT 2005", C. De Felice, A. Restivo (ed.); Springer, LNCS 3572 (2005), ISBN: 3-540-26546-5; 100 - 111
• Refining the Nonterminal Complexity of Graph-controlled Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / Talk: International Workshop on Descriptional Complexity of Formal Systems, Como, Italy; 2005-06-30 - 2005-07-02; in: "Seventh International Workshop on Descriptional Complexity of Formal Systems, Proceedings", C. Mereghetti, B. Palano, G. Pighizzini, D. Wotschke (ed.); (2005), 110 - 121
• Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510
• Decision Procedure and Model Building Based on Hypersequent Calculi / C. Fermüller / Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13
• Membrane Computing / R. Freund / Keynote Lecture: 4th WSEAS International Conference on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATABASES (AIKED `05), Salzburg (invited); 2005-02-13 - 2005-02-15
• The Resolution Principle / A. Leitsch, C. Fermüller / in: "Handbook of Philosophical Logic, 2nd ed., Volume 12", D.M. Gabbay, F. Guenthner (ed.); Springer, Dordrecht, Netherlands, 2005, 87 - 173
• Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, Septemebr 2005, Proceedings, LNAI 3717 / B. Gramlich / Springer-Verlag, Berlin Heidelberg New York, 2005, ISBN: 3-540-29051-6; 321 pages
• Reduction Strategies in Rewriting and Programming, Special Issue of Journal of Symbolic Computation, Volume 40, 2005, pp. 745-903 / B. Gramlich, S. Lucas / Elsevier, Elsevier, 2005, ISSN: 0747-7171; 169 pages
• Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): Editorial / B. Gramlich, S. Lucas / Journal of Symbolic Computation, 40 (2005), 1; 745 - 747
• P systems with active membranes and without polarizations / R. Freund, A. Paun / Soft Computing, 9 (2005), 9; 657 - 663
• Representations of Recursively Enumerable Array Languages by Contextual Array Grammars / H. Fernau, R. Freund, M Holzer / Fundamenta Informaticae, 64 (2005), 1-4; 159 - 170
• Tissue P Systems with Channel States / R. Freund, Gh. Paun, M. Pérez-Jiménez / Theoretical Computer Science, 330 (2005), 101 - 116
• Modelling Artificial Life by Attributed Eco-array Grammars / A. Binder, R. Freund, M. Oswald / Artificial Life and Robotics, 9 (2005), 1; 63 - 66
• P Systems Working in the Sequential Mode on Arrays and Strings / R. Freund / International Journal of Foundations of Computer Science, 16 (2005), 4; 663 - 682
• Strategic Issues, Problems and Challenges in Inductive Theorem Proving / B. Gramlich / Electronic Notes in Theoretical Computer Science (ENTCS) (invited), 125 (2005), 2; 5 - 43
• Optimal Results for the Computational Completeness of Gemmating (Tissue) P Systems / R. Freund, M. Oswald, A. Paun / International Journal of Foundations of Computer Science, 16 (2005), 5; 929 - 942
• Computationally Universal P Systems without Priorities: Two Catalysts are Sufficient / R. Freund, L. Kari, M. Oswald, P. Sosik / Theoretical Computer Science, 330 (2005), 251 - 266
• An unexpected separation result in linearly bounded arithmetic / A. Beckmann, J Johannsen / Mathematical Logic Quarterly, 51 (2005), 2; 191 - 200
• Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / in: "LOgic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, ISBN: 3-540-25236-3, 481 - 495
• The τ model, fomalizing topic maps / G. Salzer, R. Barta / in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42
• A Graph-Theoretic Approach to Steganography / S. Hetzl, P. Mutzel / in: "9th IFIP Conference on Communications and Multimedia Security (CMS 2005)", J. Dittmann, S. Katzenbeisser, A. Uhl (ed.); issued by: International Federation for Information Processing; Springer, LNCS 3677, 2005, ISBN: 3-540-28791-4, 119 - 128
• Computational Completeness of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 82 - 92
• Tissue P Systems with Symport/Antiport Rules of One Symbol are Computationally Universal / R. Freund, M. Oswald / in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 187 - 200
• Some Optimal Results on Symport/Antiport P Systems with Minimal Cooperation / A. Alhazov, R. Freund, Y. Rogozhin / in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 23 - 36
• Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells / A. Alhazov, R. Freund, M. Oswald / in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 7 - 22
• Matrix Languages, Register Machines, Vector Addition Systems / R. Freund, O.H. Ibarra, Gh. Paun, H.-C. Yen / in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 155 - 168
• Event-related Outputs of Computations in P Systems / M. Cavaliere, R. Freund, A. Leitsch, Gh. Paun / in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 107 - 122
• P Systems with One Membrane and Symport/Antiport Rules of Five Symbols are Coputationally Complete / A. Alhazov, R. Freund / in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 19 - 28
• CERES in many-valued logics / M. Baaz, A. Leitsch / in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452)", F. Baader, A. Voronkov (ed.); Springer, 2005, ISBN: 3-540-25236-3, 1 - 20
• P Systems Generating Trees / R. Freund, M. Oswald, A. Paun / in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25080-8, 309 - 319
• On the Efficiency of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund / in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25080-8, 146 - 160
• Asynchronous P Systems and P Systems Working in the Sequential Mode / R. Freund / in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, (invited), ISBN: 3-540-25080-8, 36 - 62
• Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 200 - 210
• Resolution Theorem Proving: a logical point of view / A. Leitsch / in: "Logic Colloquium '01", issued by: Matthias Baaz, Sy-David Friedman, Jan Krajicek; Association of Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, (invited), ISBN: 1-56881-247-7, 3 - 42
• CERES in Many-Valued Logics / A. Leitsch, M. Baaz / in: "Logic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, (invited), ISBN: 3-540-25236-3, 1 - 20

2004

• CERES: Cut-elimination by Resolution / A. Leitsch / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14
• Fuzzy Logics from First Principles / C. Fermüller / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14
• Viewing proofs in bounded arithmetic as programs / A. Beckmann / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris; 2004-12-13 - 2004-12-14
• Asynchronous P Systems on Arrays and Strings / R. Freund / Talk: International Conference on Developments in Language Theory (DLT), Auckland, New Zealand; 2004-12-13 - 2004-12-17
• Cellular Automata and Parallel Array Systems / R. Freund, F. Tafill / Talk: Workshop on Tilings and Cellular Automata (WTCA), Auckland, New Zealand; 2004-12-12; in: "Proceedings of the International Workshop on Tilings and Cellular Automata, 2004", M. Margenstern (ed.); CDMTCS Research Report Series, 253 (2004), 1 - 14
• Tissue P Systems Simulating Grammar Systems / R. Freund, M. Oswald / Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26
• P Systems Working in the Asynchronous and the Sequential Mode / R. Freund / Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26
• Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics / C. Fermüller / Talk: Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic; 2004-09-28 - 2004-10-01
• Implementierung von katalytischen P-Systemen / A. Binder, R. Freund, G. Lojka, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004.", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 49 - 53
• Modellierung von Grammatiksystemen durch P-Systeme / R. Freund, M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004.", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 63 - 67
• P-Systeme im sequentiellen Modus / R. Freund / Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 57 - 61
• Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26
• Computational Completeness of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26
• CERES: Cut-Elimination by Resolution / A. Leitsch / Talk: Eingeladener Vortrag an Universitaet, Universitaet Utrecht, Niederlande; 2004-09-10
• Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules / M. Oswald / Talk: WSEAS International Conference on Mathematical Biology and Ecology, Corfu, Greece; 2004-08-17 - 2004-08-19
• Extended Gemmating P Systems are Computationally Complete with Four Membranes / R. Freund, M. Oswald, A. Paun / Talk: DCFS (Descriptional Complexity of Formal Systems), London, Ontario, Canada; 2004-07-26 - 2004-07-28; in: "Pre-proceedings DCFS 2004, Western University, London, Ontario, Canada, 2004", L. Ilie, D. Wotschke (ed.); (2004), 24 - 33
• Implementation of Catalytic P Systems / A. Binder, R. Freund, G. Lojka, M. Oswald / Talk: CIAA (Conference on Implementation and Application of Automata), Kingston, Ontario, Canada; 2004-07-22 - 2004-07-24; in: "Pre-proceedings CIAA 2004, Queen's University, Kingston, Ontario, Canada, 2004", M. Domaratzky, A. Okhotin, K. Salomaa, S. Yu (ed.); (2004), 24 - 33
• Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents / C. Fermüller / Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17
• On a connection between Gdel logics and linearly ordered Kripke frames / A. Beckmann / Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17
• Modelling Grammar Systems by Tissue P Systems / R. Freund, M. Oswald / Talk: Grammar Systems Week, International Workshop, Budapest; 2004-07-05 - 2004-07-09; in: "Prel. Proc. of Grammar Systems Week 2004, MTA Sztaki, Budapest 2004", E. Csuhaj-Varjú, Gy. Vaszil (ed.); (2004), 162 - 179
• On Strategies for Inductive Theorem Proving / B. Gramlich / Talk: 5th International Workshop on Strategies in Automated Deduction (STRATEGIES 2004), Cork, Ireland (invited); 2004-07-04; in: "Proc. 5th International Workshop on Strategies in Automated Deduction (STRATEGIES 2004), held in conjunction with IJCAR 2004 (2nd International Joint Conference on Automated Reasoning), Cork, Ireland, July 4, 2004", Eigenverlag, (2004), 62 - 63
• Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains / A Gil, M. Hermann, G. Salzer, B Zanuttini / Talk: Second International Joint Conference, IJCAR 2004, Cork; 2004-07-04 - 2004-07-08
• Strategien in Computationaler Logik / B. Gramlich / Talk: Eingeladener Vortrag an Universitaet, Kaiserslautern (Technische Universität) (invited); 2004-06-16
• P Systems Generating Trees / R. Freund, M. Oswald, A. Paun / Talk: Workshop on Membrane Computing, Milano, Italy; 2004-06-14 - 2004-06-16; in: "Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 221 - 232
• On the Efficiency of P Systems with Active Membranes and Two Polarizations. / A. Alhazov, R. Freund / Talk: Workshop on Membrane Computing, Milano, Italy; 2004-06-14 - 2004-06-16; in: " Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 81 - 94
• Asynchronous P Systems / R. Freund / Talk: Workshop on Membrane Computing, Milano, Italy (invited); 2004-06-14 - 2004-06-16; in: " Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 12 - 28
• Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05
• Modularity of Termination of Left-Linear Rewrite Systems Revisited / B. Gramlich / Talk: 7th International Workshop on Termination (WST 2004), Aachen, Germany; 2004-06-01 - 2004-06-02; in: "Proc. 7th International Workshop on Termination - Extended Abstracts (WST 2004), part of RDP 2004 (2nd Federated Conference on Rewriting, Deduction, and Programming), Aachen, Germany, June 1-2, 2004", Technische Universität Aachen, (2004), ISSN: 0935-3232; 22 - 25
• Countable orderings and continuous embeddability / N. Preining / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01
• Abstract measures for low level complexity / A. Beckmann / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow (invited); 2004-05-31 - 2004-06-01
• Dialogue games as foundation of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01
• Modular Context-Sensitive Algebraic Specifications / B. Gramlich, S. Lucas / Talk: 17th International Workshop on Algebraic Development Techniques (WADT 2004), Barcelona, Spain; 2004-03-27 - 2004-03-30; in: "Proc. 17th International Workshop on Algebraic Development Techniques - Extended Abstracts (WADT 2004), Barcelona, Spain, March 27-30, 2004", (2004), 20 - 22
• P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / Talk: WSEAS Internation Conference on Evolutionary Computation, Udine, Italy; 2004-03-25 - 2004-03-27
• Modelling Artificial Life by Attributed Eco-array Systems / A. Binder, R. Freund, M. Oswald / Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, JAPAN; 2004-01-28 - 2004-01-30; in: "Proceedings of the ninth International Symposium on Artificial Life and Robotics (AROB 9th '04)", M. Sugisaka, H. Tanaka (ed.); (2004), ISBN: 4-9900462-4-2; 45 - 48
• Cut-Elimination by Resolution / A. Leitsch / Talk: First Vienna-Florence Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-31
• An Overview on Countable Gödel Logics / N. Preining / Talk: First Florence-Vienna Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-30
• A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller / Talk: First Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2004-01-27 - 2004-01-30
• Automated Model Building / R. Caferra, A. Leitsch, N. Peltier / Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004, ISBN: 1-4020-2652-8; 341 pages
• Bounded Arithmetic and Resolution-Based Proof Systems / A. Beckmann, J Johannsen / Kurt Gödel Society, Wien, 2004, ISBN: 3-901546-02-2; 130 pages
• Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems / F. Freund, R. Freund, M. Oswald / in: "Aspects of Molecular Computing. Essays Dedicated to Tom Head on the Occasion of His 70th Birthday", N. Jonoska, Gh. Paun, G. Rozenberg (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20781-3, 139 - 151
• P Systems with Conditional Communication Rules Assigned to Membranes / R. Freund, M. Oswald / Journal of Automata, Languages and Combinatorics, 9 (2004), 4; 387 - 397
• Preservation theorems and restricted consistency statements in bounded arithmetic / A. Beckmann / Annals of Pure and Applied Logic, 126 (2004), 255 - 280
• Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules / M. Oswald / WSEAS Transactions on Biology and Biomedicine, 2 (2004), 1; 280 - 286
• P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / WSEAS Transactions on Systems, 2 (2004), 3; 866 - 873
• P Automata with Membrane Channels / R. Freund, M. Oswald / Artificial Life and Robotics, 8 (2004), 2; 186 - 189
• P Systems with Local Graph Productions / R. Freund, M. Oswald / New Generation Computing, 22 (2004), 365 - 375
• From Regulated Rewriting to Computing with Membranes: collapsing Hierarchies / R. Freund, C. Martin-Vide, Gh. Paun / Theoretical Computer Science, 312 (2004), 143 - 188
• P Systems Working in the Sequential Mode on Arrays and Strings / R. Freund / in: "Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings", C. Calude, E. Calude, M. Dinneen (ed.); Springer LNCS 3340, Heidelberg, 2004, ISBN: 3-540-24014-4, 188 - 199
• P Systems with Active Membranes and without Polarizations / R. Freund, A. Paun / in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 193 - 205
• Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / in: "Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004", V van Oostrom (ed.); Springer, LNCS 3091, 2004, ISBN: 3-540-22153-0, 170 - 184
• Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains (Extended Abstract) / A Gil, M Herman, G. Salzer, B Zanuttini / in: "Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004", D Basin, M Rusinowitch (ed.); Springer, LNCS 3097, 2004, ISBN: 3-540-22345-2, 244 - 258
• Tissue-like P Systems with Channel-States / R. Freund, Gh. Paun, M. Pérez-Jiménez / in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 206 - 223
• P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 183 - 192
• Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 168 - 182
• P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 20 - 37
• P Systems with Cutting/Recombination Rules Assigned to Membranes / F. Freund, R. Freund, M. Oswald, M. Margenstern, Y. Rogozhin, S. Verlan / in: "Membrane Computing. International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003", C. Martin-Vide, G. Mauri, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20895-x, 191 - 202
• ω-P automata with Communication Rules / R. Freund, M. Oswald, L. Staiger / in: "Membrane Computing. International Workshop WMC 2003, Tarragona, Spain, July 17-22, 2003 ", C. Martin-Vide, G. Mauri, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20895-x, 203 - 217
• Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode / R. Freund, M. Oswald / in: "Proceedings of Grammar Systems Week 2004, Budapest, Hungary, July 5-9, 2004", E. Csuhaj-Varjú, Gy. Vaszil (ed.); MTA Sztaki, 2004, 179 - 199

2003

• A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller, N Preining / Talk: InTech`03, Fourth International Conference on Intelligent Technologies, Chiang Mai, Thailand; 2003-12-17 - 2003-12-19; in: "InTech`03", (2003), ISBN: 974-658-151-1; 8 pages
• On Modularity in Context-Sensitive Rewriting / B. Gramlich / Talk: LORIA/INRIA, Nancy, France, Nancy, France (invited); 2003-12-03
• Complexity of P Automata with Catalysts / R. Freund, M. Oswald / Talk: Annual Meeting of Project MolCoNet, Vienna, Austria; 2003-11-27 - 2003-11-29
• P Automaten und ω-P Automaten / R. Freund, M. Oswald, L. Staiger / Talk: Theorietag Automaten und Formale Sprachen, Herrsching bei München, Deutschland; 2003-09-29 - 2003-10-02; in: "Proc. 13. Theorietag "Automaten und Formale Sprachen" ", (2003), 35 - 47
• MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17
• A translation characterizing the constructive content of classical theories / M. Baaz, C. Fermüller / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Almaty, Kazakhstan; 2003-09-22 - 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning", Springer, LNAI 2850 (2003), ISBN: 3-540-20101-7; 107 - 121
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, Rome, Italy; 2003-09-09 - 2003-09-12; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNAI 2796 (2003), ISBN: 3-540-40787-1; 48 - 64
• ω-P automata with Communication Rules / R. Freund, M. Oswald, L. Staiger / Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 252 - 265
• P systems with cutting/recombination rules assigned to membranes / F. Freund, R. Freund, M. Margenstern, M. Oswald / Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-23; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 241 - 251
• P systems with Conditional Communication Rules Assigned to Membranes / R. Freund, M. Oswald / Talk: Workshop on Membrane Computing, Tarragona; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 231 - 240
• Reducing the Number of Catalysts Needed in Computationally Universal Systems without Priorities / R. Freund, M. Oswald, P. Sosik / Talk: International Workshop on Descriptional Complexity of Formal Systems, Budapest, Hungary; 2003-07-12 - 2003-07-14; in: "5th International Workshop on Descriptional Complexity of Formal Systems", (2003), 102 - 113
• On Three Classes Automata-like P Systems / R. Freund, C. Martin-Vide, A. Obtulowicz, Gh. Paun / Talk: International Conference on Developments in Language Theory (DLT), Szeged, Hungary; 2003-07-07 - 2003-07-11; in: "Developments in Language Theory", Springer, LNCS 2710 (2003), ISBN: 3-540-40434-1; 292 - 303
• On Interreduction of Semi-Complete Term Rewrite Systems / B. Gramlich / Talk: DSIC Seminars, UPV, Valencia, Spain (invited); 2003-06-19
• Manipulating Tree Tuple Languages by Transforming Logic Programs / G. Salzer, S Limet / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "First-Order Theorem Proving (FTP'03)", Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science (2003), 15 pages
• Dialogue Games for Modelling Proof Search in Nonclassical Logic / C. Fermüller / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "FTP'2003", Universidad de Politecnica de Valencia, (2003), DISC-II/10/03; 187 - 190
• Progress Report on Term Rewriting / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Valencia, Spain (invited); 2003-06-12
• Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics / M. Baaz, N. Preining, R Zach / Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokyo, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, the 33rd Intl. Symposi um on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-19-18-0; 175 - 180
• From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games / C. Fermüller, A. Ciabattoni / Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokio, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, 33rd IEEE International Symposium on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-1918-0; 188 - 195
• P Systems with Elementary Graph Productions / R. Freund, M. Oswald / Talk: EMCC Spring Meeting, Turku, Finland; 2003-05-15 - 2003-05-17
• Clause Evaluation over Herbrand Interpretations / A. Leitsch / Talk: Seminar on Deduction and Infinite-state Model Checking, Dagstuhl, Germany (invited); 2003-04-21 - 2003-04-25
• P Automata with Membrane Channels / M. Oswald, R. Freund / Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, Japan; 2003-01-24 - 2003-01-26; in: "Proc of the Eigth Intl. Symp. on Artificial Life and Robotics (AROB 8th '03)", (2003), ISBN: 4-9900462-3-4; 275 - 278
• Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Beyond Two: Theory and Applications of Multiple-Valued Logics", M. Fitting, E. Orlowska (ed.); Physica-Verlag, 2003, ISBN: 3-7908-1541-1, 157 - 180
• 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings / B. Gramlich, S. Lucas / Elsevier Science Publishers, 2003, ISSN: 1571-0661
• Reduction Strategies in Rewriting and Programming, Proceedings of WRS'03 / B. Gramlich, S. Lucas / Universidad Politecnica de Valencia, 2003, ISBN: 84-96221-03-2
• A Note on Emergence in Multi-Agent String Processing Systems / R. Freund, J Kelemen, Gh. Paun / Computing and Informatics, 22 (2003), 623 - 637
• Ordinal Notations and Well-Orderings in Bounded Arithmetic / A. Beckmann, S Buss, C Pollett / Annals of Pure and Applied Logic, 120 (2003), 197 - 222
• Dynamic ordinal analysis / A. Beckmann / Archive for Mathematical Logic, 42 (2003), 303 - 334
• Hypersequent Calculi for Gödel Logics - a Survey / M. Baaz, A. Ciabattoni, C. Fermüller / Journal of Logic and Computation, 13 (2003), 6; 835 - 861
• Hybrid Modes in Cooperating Distributed Grammar Systems: Combining the t-mode with the Modes <=k and =k / H. Fernau, M Holzer, R. Freund / Theoretical Computer Science, 299 (2003), 633 - 662
• Theories of Vagueness Versus Fuzzy Logic: Can Logicians Learn from Philosophers? / C. Fermüller / Neural Network World (invited), 13 (2003), 5; 455 - 466
• P Systems Without Priorities are Computationally Universal / P. Sosik, R. Freund / in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", R. Freund (ed.); Springer, 2003, ISBN: 3-540-00611-7, 400 - 409
• Membrane Systems with Symport/Antiport: Universality Results / R. Freund, Gh. Paun / in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); Springer, 2003, ISBN: 3-540-00611-7, 270 - 287
• P Systems with Activated/Prohibited Membrane Channels / R. Freund, M. Oswald / in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); Springer, 2003, ISBN: 3-540-00611-7, 261 - 268
• Energy-controlled P systems / R. Freund / in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); issued by: Workshop on Membrane Computing; Springer, LNCS 2597, 2003, ISBN: 3-540-00611-7, 247 - 260
• From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games / C. Fermüller, A. Ciabattoni / in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic", IEEE Press, Washington, 2003, ISSN: 0195-623x, 188 - 193
• A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth / C. Fermüller, N. Preining / in: "Proceedings of the International Conference on Intelligent Technologies 2003", Institute for Science and Technology Research and Development, Chiang Mai University, Thailand, 2003, ISBN: 974-658-151-1, 142 - 151
• MUltlog and MUltseq reanimated and married / M. Baaz, C. Fermüller, A. Gil, G. Salzer, N. Preining / in: "Proceedings of the 4th Workshop on the Implementation of Logics", B. Konev, R. Schmidt (ed.); University of Liverpool, 2003, 5 pages
• Characterization of Gödel logics with countable truth value sets / N. Preining / Talk: LOGSOFCOM'03, Siena, Italy; 2003

2002

• P automata on finite and infinite words / R. Freund / Talk: Annual Meeting of Project MolCoNet, Budapest; 2002-11-29 - 2002-11-30
• Parallel Dialogue Games for Gödel Logic / C. Fermüller / Talk: Amadee-Meeting, Universite Paris VII, Paris, France; 2002-11-20
• Excursions of a computer scientist into the realm of logic / G. Salzer / Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29
• Parallel Dialogue Games for Intermediate Logics / C. Fermüller / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Tblilisi, Georgia (invited); 2002-10-14 - 2002-10-18
• Verallgemeinerte P-Systeme mit verbotenem Kontext / M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: "Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 40 - 41
• P-Systeme mit Energiekontrolle / R. Freund / Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: " Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 27 - 28
• Energy-controlled P systems / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23; in: "Workshop on Membrane Computing", MolCoNet, (2002), 221 - 236
• P systems with activated/prohibited membrane channels / M. Oswald / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
• Some comments on P systems with communication / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
• P systems versus register machines: two universality proofs / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
• On Modularity in Context-Sensitive Rewriting / B. Gramlich / Talk: 4th Annual Meeting of the IFIP Working Group 1.6 - Term Rewriting, Copenhagen, Denmark; 2002-07-28
• Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations / B. Gramlich, R. Pichler / Talk: International Conference on Automated Deduction (CADE), Copenhagen, Denmark; 2002-07-27 - 2002-07-30; in: "Proc. 18th Int. Conf. on Automated Deduction (CADE 2002)", Springer, LNAI 2392 (2002), ISBN: 3-540-43931-5; 241 - 259
• On Modular Aspects of Context-Sensitive Rewriting / B. Gramlich / Talk: Accion Integrada Project Meeting, Wien (invited); 2002-06-20
• Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics / C. Fermüller / Talk: Accion Integrada Meeting, Bellaterra, Spain; 2002-05-20
• A Natural Deduction System for Intuitionistic Fuzzy Logic / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Moscow; 2002-04-28
• 2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) - Final Proceedings / B. Gramlich, S. Lucas / Elsevier Science Publishers, 2002, ISBN: 0444513132
• Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02) / U. Egly, C. Fermüller / Springer, 2002, ISBN: 3-540-43929-3; 340 pages
• A Short Note on Analysing P Systems with Antiport Rules / R. Freund, M. Oswald / EATCS Bulletin, 78 (2002), 231 - 236
• GP Systems with Forbidding Context / R. Freund, M. Oswald / Fundamenta Informaticae, 49 (2002), 1-3; 81 - 102
• On some operations on strings suggested by gene assembly in ciliates / R. Freund, C. Martin-Vide, V. Mitrana et al. / New Generation Computing, 20 (2002), 279 - 293
• String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosik, R. Freund / in: "Developments in Language Theory", issued by: Werner Kuich, Grzegorz Rozenberg, Arto Salomaa; Springer, 2002, ISBN: 3-540-43453-4, 379 - 388
• Improving On-demand Strategy Annotations / M. Alpuente, S. Escobar, B. Gramlich, S. Lucas / in: "Proc. 9th LPAR 2002", issued by: Matthias Baaz, Andrei Voronkov; Springer, 2002, ISBN: 3-540-00010-0, 1 - 18
• Modular Termination of Context-Sensitive Rewriting / B. Gramlich, S. Lucas / in: "Proc. 4th International Conference on Principles and Practice of Declarative Programming (PPDP 2002)", C. Kirchner (ed.); ACM Press, 2002, ISBN: 1-58113-528-9, 50 - 61
• Simple Termination of Context-Sensitive Rewriting / B. Gramlich, S. Lucas / in: "Proc. 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)", Springer, 2002, ISBN: 1-58113-606-4, 29 - 41
• Simplifying Termination Proofs by Program Transformation / B. Gramlich / Talk: DISC Seminars, Valencia, Spain; 2002

2021

• A comprehensive Survey of the Actual Causality Literature / Master Thesis by K. Kueffner / Supervisor: A. Ciabattoni; Logic and Computation, 2021; final examination: 2021-11-15
• Refining Labelled Systems for Modal and Constructive Logics with Applications / Doctoral Thesis by T. Lyon / Supervisor, Reviewer: A. Ciabattoni, R. Ramanayake; Logic and Computation, 2021; oral examination: 2021-07-29
• A fuzzy extension of the unruptured intracranial aneurysm treatment score / Master Thesis by B. Schiehl / Supervisor: A. Ciabattoni; Logic and Computation, 2021
• Feedback on Oral Exams -- a new Approach Supported by Speech Recognition / Master Thesis by D. Sommer / Supervisor: A. Ciabattoni; Logic and Computation, 2021
• The GUHA-Method and its applications / Master Thesis by P. Geisler / Supervisor: A. Ciabattoni; Logic and Computation, 2021

2020

• Erhebung und Evaluierung von möglichen Potentialen der elektronischen Patientenakte in Österreich aus Sicht der Senioren und Seniorinnen / Master Thesis by M. Schein / Supervisor: R. Freund; 192-05, 2020
• Requirements Engineering and Case Studies of Campus Management Systems for Midsize Private Universities / Master Thesis by A. Fida / Supervisor: R. Freund; 192-05, 2020
• Analyse, Entwurf und Evaluierung eines Vorschlags für einen internationalen Standard in der Telemedizin für elektronische Gesundheitsakten, im Speziellen für das Anwendungsszenario der ELGA / Master Thesis by N. Tanjga / Supervisor: R. Freund; 192-05, 2020; final examination: 2020

2019

• Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
• Concept of a Web-based Application for Cooperative Teamwork in the Field of Teaching of Software Techniques / Master Thesis by E. Meszarosne Csuta / Supervisor: R. Freund; 192-05, 2019

2018

• Algorithmic Introduction of ∏2-Cut / Doctoral Thesis by M. Lettmann / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30
• Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules / Master Thesis by S. Pavlovic / Supervisor: A. Ciabattoni; Institut für Logic and Computation, 2018; final examination: 2018-10-15
• Connecting Formal Logics and Argumentation Systems / Master Thesis by A. Rapberger / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-07-13
• Formal Reasoning about Fuzzy Evaluation Games / Master Thesis by S. Ivanov / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-06-05
• Puzzling Ignorance: A Modal Epistemic Tour / Master Thesis by A. Da Costa Oliveira / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-09
• Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen / Master Thesis by C. Okulmus / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04
• Applications of Higher-Order Cut-Elimination / Doctoral Thesis by M. Riener / Supervisor, Reviewer: A. Leitsch, C. Benzmüller; Institut für Computersprachen, 2018
• Analyse, Design und Implementierung von Serious Gaming zur Förderung eines gesunden Lebensstils / Master Thesis by L. Dobler / Supervisor: R. Freund; 192/5, 2018
• Analyse, Design und prototypische Umsetzung einer mobilen Applikation zur Gesundheitsförderung unterstützt durch Wearables / Master Thesis by S. Schlossarek / Supervisor: R. Freund; 192/5, 2018
• Fine-Grained Access Control in an Animal Health Record / Master Thesis by A. Romar / Supervisor: R. Freund; 192/5, 2018

2017

• Entwurf und Entwicklung eines webbasierten Workflow-Systems zur Abbildung von Prozessen der Bildungsmobilität / Master Thesis by M. Özdemir / Supervisor: R. Freund; 185/2, 2017
• Konzeption und Entwicklung einer prototypischen Software-Applikation zur Unterstützung der Qualitätssicherung von patientenbezogener Strahlenbelastung bei digitalen Röntgenaufnahmen / Master Thesis by B. Steyrer / Supervisor: R. Freund; 185/2, 2017
• Rendering Knowledge in Information Security Tangible - State of the Art and Trends in Education / Master Thesis by T. Ackermann / Supervisor: R. Freund; 185/2, 2017

2016

• Ceres in aussagenlogischen Beweisschemata / Master Thesis by A. Condoluci / Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-10-07
• Cut-Elimination in Functional Higher-Order Logic / Master Thesis by N. Pona / Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-09-21
• Design and Evaluation of a Natural Language Processing Based Methodology for Classification and Profiling of Artifacts in Software Evolution / Doctoral Thesis by A. Mauczka / Supervisor, Reviewer: T. Grechenig, R. Freund; 183-1, 2016
• Evaluierung von Open-Source-Lösungen zur Umsetzung eines Softwaresystems für eine elektronische Registrierkasse / Master Thesis by M. Schmitt / Supervisor: R. Freund; 185-2, 2016
• Design-Empfehlungen für die sichere Übermittlung von Nachrichten auf mobilen Plattformen / Master Thesis by F. Jungwirth / Supervisor: R. Freund; 185-2, 2016
• Sicherheit, Usability und Vertrauen: Der Raum der Nutzerpräferenzen und Entscheidungskriterien bei der Auswahl von mobilen Messaging-Apps / Master Thesis by C. Wöss / Supervisor: R. Freund; 185-2, 2016
• Entwurf eines Infrarot-3D-Scannersystems zur dreidimensionalen bildgebenden Diagnostik / Master Thesis by S. Blumberger / Supervisor: R. Freund; 185-2, 2016
• A Cryptographic Concept for the Secure Storage and Transmission of Medical Images on iOS Devices / Master Thesis by M. Niszl / Supervisor: R. Freund; 185-2, 2016

2015

• Standard completeness: Proof-theoretic and algebraic methods / Doctoral Thesis by P. Baldi / Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12
• Tools for the investigation of non-classical logics / Doctoral Thesis by L. Spendier / Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18
• Advances in Schematic Cut Elimination / Doctoral Thesis by D. Cerna / Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14
• Simulation in Metabolic Networks / Doctoral Thesis by C. Siehs / Supervisor, Reviewer: R. Freund, B. Mayer; 185-2, 2015
• Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts / Master Thesis by R. Alani / Supervisor: R. Freund; 185-2, 2015
• Konzeption eines KIS für ein Iranisches Krankenhaus / Master Thesis by D. Nasseri / Supervisor: R. Freund; 185-2, 2015
• Entwicklung einer E-Partizipations-Plattform für Jugendliche innerhalb des sozialen Netzwerk Facebook / Master Thesis by D. Oberhumer / Supervisor: R. Freund; 185-2, 2015
• Development of a M-Health Strategy for the Field of Mechanically Ventilated Patients / Master Thesis by T. Guttenberger / Supervisor: R. Freund; 185-2, 2015
• Analysis and Framework for the Civil Register of an Emergent North-African Country / Master Thesis by S. El Kebir / Supervisor: R. Freund; 185-2, 2015
• Identification and Handling of Typical Implementation Problems of Hospital Information Systems in Large-Scale Hospitals / Master Thesis by T. Wunderer / Supervisor: R. Freund; 185-2, 2015
• "Gehirnmonopole" als Risiko des Wissensmanagements bei wissensgestützten Unternehmen / Master Thesis by M. Banke / Supervisor: R. Freund; 185-2, 2015
• Engineering eines Cockpits für die dynamische und interaktive Visualisierung des Betriebes eines landesweiten NFC-Bezahlsystems / Master Thesis by A. Hengl / Supervisor: R. Freund; 185-2, 2015
• Analyse, Design und prototypische Entwicklung eines Serious Game zur Motivationssteigerung und Erhöhung der körperlichen Aktivität / Master Thesis by D. Binder / Supervisor: R. Freund; 185-2, 2015
• Erarbeitung eines strukturierten Vorgehensmodells zur organischen Evolution von IT Startups / Master Thesis by S. Grabher / Supervisor: R. Freund; 185-2, 2015
• Konzipierung und prototypische Implementierung eines Continuous Integration Systems zur Steigerung der Softwarequalität im heterogenen Umfeld der Herstellung von mikroprozessorgesteuerten Prothesen / Master Thesis by L. Lechner / Supervisor: R. Freund; E185/2, 2015
• Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts / Master Thesis by A. Komarek / Supervisor: R. Freund, R. Vallon; E185/2, 2015

2014

• Analyzing fuzzy and contextual approaches to vagueness by semantic games / Doctoral Thesis by Ch Roschger / Supervisor, Reviewer: C. Fermüller, O. Majer; Institut für Computersprachen, 2014; oral examination: 2014-11-27
• Preuves par induction dans le calcul de superposition / Doctoral Thesis by A. Kersani / Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30
• Cut-elimination by resolution in intuitionistic logic / Doctoral Thesis by G. Reis / Supervisor, Reviewer: A. Leitsch, R. Iemhoff; Institut für Computersprachen, 2014; oral examination: 2014-07-16
• Evaluierung und Optimierung eines Studiensystems zur objektiven Bewertung von Hautrötungen im Umfeld klinischer Studien am Beispiel einer Medikamentenstudie im Bereich der Brustkrebstherapie / Master Thesis by M. Ratzinger / Supervisor: R. Freund; 185-2, 2014
• Analyse der Navigation und Steuerung von 3D-Bewegungen via Brain-Computer-Interface / Master Thesis by C. Lachner / Supervisor: R. Freund; 185-2, 2014
• Analyse, Evaluierung und prototypische Entwicklung einer Online-Plattform für den normierten Leistungsvergleich im Laufsport / Master Thesis by R. Nourzad / Supervisor: R. Freund; 185-2, 2014
• Measuring Personality Types in Software Project Teams / Master Thesis by A. Aigner / Supervisor: R. Freund; 185-2, 2014
• Analyse, Konzeption und prototypische Entwicklung eines mobilen Serious Game zur Unterstützung des Rehabilitationsprozesses bei Handgelenkverletzungen / Master Thesis by F. Reisecker / Supervisor: R. Freund; 185-2, 2014
• Visualization of Quality of Life on a Digital Urban Map / Master Thesis by P. Benkö / Supervisor: R. Freund; 185-2, 2014
• Prototypical Implementation of an Animal Health Record (AHR) for Livestock Management / Master Thesis by C. Aigner / Supervisor: R. Freund; 185-2, 2014

2013

• Numeric Methods for Configuration Management / Doctoral Thesis by T. Sisel / Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19
• Using Mobile Technology for Monitoring Behavior of Self-Injurious Patients: Requirements and Concept System Design / Master Thesis by N. Lederer / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29
• Entwurf und Entwicklung eines mehrdimensionalen vorschlagsbasierten Suchsystems für konsumorientierte E-Markets / Master Thesis by M. Lux / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29
• Der Prozess des Engineerings der Migration von Web2(Native)App / Master Thesis by G. Sabau / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-05-08
• Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs / Doctoral Thesis by C. Schanes / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-05-06
• Entwurf und Implementierung eines Protokolls für Einsatz- und Notfalldaten / Master Thesis by C. Preier / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-03-21
• Unification in Higher-order Resolution / Doctoral Thesis by T. Libal / Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22
• owards Differential-Based Continuous Code Reviews / Doctoral Thesis by M. Bernhart / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-01-23

2012

• CERES in Proof Schemata / Doctoral Thesis by M. Rukhaia / Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17
• Automation of cut-elimination in proof schemata / Doctoral Thesis by T. Dunchev / Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17
• Description Logic Based Reasoning on Programming / Master Thesis by R. de Haan / Supervisor: B. Gramlich; Fakultät für Informatik der Technischen Universität Wien, 2012; final examination: 2012-09-28
• Computergesteuerte Hilfe für deutschsprachige Aphasiker und Aphasikerinnen / Doctoral Thesis by J Bradley / Supervisor, Reviewer: W.L. Zagler, W. Winiwarter; Institut für Gestaltungs- und Wirkungsforschung, 2012; oral examination: 2012-06-20
• Strukturen und Optionen des Mediums Mobile Phone im sekundären Bildungsbereich / Doctoral Thesis by G. Schmiedl / Supervisor, Reviewer: T. Grechenig, R. Freund; 183/1, 2012; oral examination: 2012-01-12
• Konzept und Implementierung einer mobilen Applikation zum Zwecke der Wundidentifikation und Wunddokumentation / Master Thesis by D. Kontner / Supervisor: R. Freund; E185/2, 2012
• Entwurf und Entwicklung eines mobilen Patientendatenerfassungssystems im Rettungsdienst / Master Thesis by M. Schacherl / Supervisor: R. Freund; E185/2, 2012
• Entwurf und Implementierung einer Domain Specific Language zur effektiven Modellierung von Formulardaten im Bereich der medizinischen Dokumentation / Master Thesis by T. Lemmé / Supervisor: R. Freund; E185/2, 2012
• Analyse, Systemdesign und Architekturentwurf einer elektronischen Gesundheitsakte für Nutztiere / Master Thesis by A. Füresz / Supervisor: R. Freund; E185/2, 2012
• Analyse, Optimierung und Training eines Testprozesses innerhalb einer e-Health Produktlinie / Master Thesis by A. Mündler / Supervisor: R. Freund; 185/2, 2012

2011

• Extending VMTL by a More Flexible Control and New Methods / Master Thesis by S. Graczoll / Supervisor: B. Gramlich; Institut fuer Computersprachen, 2011; final examination: 2011-11-22
• Integrating Theories into Inference Systems / Master Thesis by M. Riener / Supervisor: A. Leitsch; Institut für Computersprachen, 2011; final examination: 2011-03-23
• Applications and Generalizations of Context-Sensitive Term Rewriting / Doctoral Thesis by F. Schernhammer / Supervisor, Reviewer: B. Gramlich, S. Lucas; Institut fuer Computersprachen, 2011; oral examination: 2011-01-31
• Konzept, Entwicklung und Schulungsmaßnahmen einer Echtzeitansteuerung von Software durch mobile Geräte / Master Thesis by C. Hammer / Supervisor: R. Freund; 185/2, 2011
• Education of emergency personnel for the adoption of an electronic triage tag framework / Master Thesis by E. Srndic / Supervisor: R. Freund; 185/2, 2011
• Requirementsanalyse und Prototyp einer klinischen Plattform zur aktiven Patientenpartizipation / Master Thesis by M. Eder / Supervisor: R. Freund; 185/2, 2011
• Methoden zur Akzeptanzsteigerung eines Informationssystems im Gesundheitswesen durch Evaluierung und Umsetzung von Usability- und Medienkonzepten anhand eines Fallbeispiels / Master Thesis by B. Lindenbauer / Supervisor: R. Freund; 185/2, 2011
• Erhebung und Analyse der Anforderungen an einen Animal Health Record (AHR) für Kleintiere / Master Thesis by V. Willner / Supervisor: R. Freund; 185/2, 2011
• Methoden zur Integration eines Software Fehlerbogens in ein Testerteam / Master Thesis by C. Eggbauer / Supervisor: R. Freund; 185/2, 2011

2010

• Schulung und Untersuchung der Benutzerakzeptanz eines webbasierten Workflow-Management-Systems / Master Thesis by A. Reitter / Supervisor: R. Freund; 185/2, 2010
• Diskrepanz zwischen Ballungszentren und ländlicher Bevölkerung im Hinblick auf den praktischen Einsatz einer elektronischen Gesundheitsakte / Master Thesis by S. Schinkinger / Supervisor: R. Freund; 185/2, 2010
• Proving Termination of Rewriting with the Dependency Pair Framework / Master Thesis by M. Hutagalung / Supervisor: B. Gramlich; Computersprachen (E185) / AB Theoretische Informatik und Logik (E185/2), 2010
• A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell / Master Thesis by S. Craß / Supervisor: E. Kühn, G. Salzer; 185/1, 2010; final examination: 2010

2009

• Infinitary Rewriting - Theory and Applications / Master Thesis by P. Bahr / Supervisor: B. Gramlich; Computersprachen, 2009; final examination: 2009-09-24
• Simplification of Herbrand Sequents / Master Thesis by T. Dunchev / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09
• CERES and Fast Cut-Elimination / Master Thesis by M. Rukhaia / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09
• A GeneralAnalysis of Cut-Elimination by CERES / Doctoral Thesis by B. Woltzenlogel-Paleo / Supervisor, Reviewer: A. Leitsch; Institut für Computersprachen E185/2, 2009; oral examination: 2009-08-28
• Der Einsatz von Virtualisierungstechnologien zur Bereitstellung fachdidaktischer Anwendungen für Betriebssysteme / Master Thesis by D. Steffen / Supervisor: R. Freund; 185/2, 2009
• Didaktik in Schulungen / Master Thesis by D. Pollak / Supervisor: R. Freund, M. Weissenböck; Institut für Computersprachen u. E184-1, 2009

2008

• Dialogue Games for Fuzzy Logics / Master Thesis by Ch Roschger / Supervisor: C. Fermüller; Institut für Computersprachen, 2008; final examination: 2008-10-21
• A Term Rewriting Laboratory with Systematic and Random Generation and Heuristic Test Facilities / Master Thesis by E. Jiresch / Supervisor: B. Gramlich; Universität Wien (Lehramtsstudium UF Informatik und Informatikmanagement / Psychologie und Philosophie, A-190-884-299), 2008; final examination: 2008-07
• Grundlagen und Anwendungsfallanalyse einer patientengeführten elektronischen Gesundheitsakte / Master Thesis by C. Pruckermayr / Supervisor: R. Freund; 185/2, 2008
• Cut-Elimination in Inductive Proofs of Weakly Quantified Theorems / Master Thesis by T. Libal / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2008

2007

• Characteristic Clause Sets and Proof Transformations / Doctoral Thesis by S. Hetzl / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14
• Termination of Rewriting with Non-Monotonic Orderings / Doctoral Thesis by M.L. Fernandez Venero / Supervisor, Reviewer: A. Rubio, G. Godoy, B. Gramlich, J.-P. Jouannaud, S. Lucas et al.; LSI, Universitat Politècnica de Catalunya, Barcelona, 2007; oral examination: 2007-05-23
• Ontology-Driven Information Extraction / Doctoral Thesis by B. Yildiz / Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24
• A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / Doctoral Thesis by I. Feinerer / Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23
• Transformation of Conditional Term Rewriting Systems / Master Thesis by K. Gmeiner / Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-03-13
• On Context-Sensitive Term Rewriting / Master Thesis by F. Schernhammer / Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-02-08

2006

• Proof Transformations by Resolution / Doctoral Thesis by Clemens Richter / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen 185-2, 2006; oral examination: 2006-07-04
• Wege der Kommunikationsoptimierung. Anwendung von NLP im Bereich der Künstlichen Intelligenz. Verbesserung von zielgerichtetem Sprechverhalten durch adäquate Vokabularauswahl - Repräsentationssysteme und deren Anwendung auf Gesprächssimulation / Master Thesis by G. Kellner / Supervisor: P. Rössler, R. Freund; Universität Wien, 2006
• Log File Processing by Machine Learning and Information Extraction / Master Thesis by P. Robinson / Supervisor: G. Salzer; Institut für Computersprachen E185/2, 2006

2005

• Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations / Master Thesis by I. Feinerer / Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03
• Symbolic Evaluation of Imperative Programming Languages / Doctoral Thesis by B. Burgstaller / Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005

2003

• Terminaison de la réécriture sous stratégies / Doctoral Thesis by O. Fissore / Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03
• P Automata / Doctoral Thesis by M. Oswald / Supervisor, Reviewer: R. Freund; Institut für Computersprachen, 185, 2003
• Steganographische und kryptographische Grundlagen digitaler Wasserzeichen / Master Thesis by M Schuster / Supervisor: G. Salzer; Institut für Computersprachen 185, 2003

2002

• Propriétés Uniformes de Familles de Systèmes de Réécriture de Mots Paramétrées par des Entiers / Doctoral Thesis by B. Monate / Supervisor, Reviewer: H. Comon, B. Gramlich; LRI, Orsay, France, 2002; oral examination: 2002-01-07
• eContracting: Foundations and Applications / Master Thesis by C. Ploninger / Supervisor: G. Salzer; Institut für Computersprachen, 2002

2001

• Approche Incrémentale des Preuves Automatiques de Terminaison / Doctoral Thesis by X. Urbain / Supervisor, Reviewer: B. Gramlich, M Rusinowitch; LRI, Orsay, France, 2001; oral examination: 2001-10-01

• Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
  2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
• Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
  2016 / Austria / Website
• Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung
  2011 / START-Programm / Austria

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Theory and Logic’s research profile in TISS .