2019W

• Anatomy and Histology / VO / 185.330
• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Describing Courses with Learning Outcomes / SE / 192.095
• Formal Language Theory / VU / 185.A42
• Fundamentals of Computer Engineering / VU / 183.579
• Introducrtion to Clinics / VO / 185.329
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Introduction to Programming 1 / VU / 185.A91
• Logic and Computability / VU / 185.A45
• Membrane Computing / VU / 185.A70
• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Presentation and Moderation / VU / 185.A62
• Programming for female first-year students / VU / 185.A82
• Programming for first-year students / VU / 185.A86
• Project in Computational Logic / PR / 185.302
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Project in Medical Informatics / PR / 185.A30
• Project in Software Engineering & Internet Computing / PR / 185.A38
• Propädeutikum für Informatik / VU / 180.771
• Research Seminar for Master and PhD students / SE / 185.A39
• Research Seminar LogiCS / SE / 184.767
• Seminar for Diplomands in Informatikdidaktik 2 / SE / 192.096
• Seminar for Master Students in Medical Informatics / SE / 180.776
• Theoretical Computer Science and Logics / VU / 185.278
• ways of thinking in informatics / VU / 187.B12

2020S

• Algorithms and Complexity of Constraint Satisfaction Problems / VU / 199.091
• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Basics of physiology and pathology / VO / 185.A47
• Clinics / VO / 185.334
• Describing Modules with Learning Outcomes / SE / 192.101
• Formal Modelling / VU / 185.A06
• Fundamentals of Computer Engineering for Business Informatics / VU / 185.A74
• Fundamentals of programming and algorithms / VU / 192.097
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Introduction to Programming 1 / VU / 185.A91
• Introduction to Programming 2 / VU / 185.A92
• Introduction to the Coq proof assistant / VU / 192.098
• Introduction to Theoretical Computer Science and Logics / VU / 192.071
• Legal Basics of Medical Health Care / VO / 185.A57
• Machine Learning for Health Informatics / VU / 185.A83
• Molecular Computing / VU / 185.326
• Non-classical Logics / VU / 192.085
• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Privatissimum aus Fachdidaktik Informatik / PV / 185.341
• Privatissimum on Didactics of Informatics / SE / 192.100
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Project in Medical Informatics / PR / 185.A30
• Research Seminar for Master and PhD students / SE / 185.A39
• Research Seminar LogiCS / SE / 184.767
• Scientific Research and Writing / SE / 193.052
• Seminar for Master Students in Medical Informatics / SE / 180.776
• Seminar in Artificial Intelligence / SE / 192.086
• Seminar in Distributed Systems (Cryptocurrencies) / SE / 185.A94
• Seminar in Logic / SE / 185.316
• Seminar on security (crypto currencies) / SE / 183.671
• Smart Contracts / VU / 192.078

• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
• Norm-based reasoning: from legal and moral traditions to AI systems
  2019 – 2020 / Volkswagen Stiftung
• On the Computational Interpretation of Intermediate Logics
  2019 – 2021 / Austrian Science Fund (FWF)
• 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 – 2021 / 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)
• Proof-theoretic Analysis of Modal Logics
  2015 – 2017 / European Commission
• Nested Sequents for Interpolation and Realization
  2015 – 2017 / FWF
• Modeling vague quantifiers in mathematical fuzzy logic
  2015 – 2018 / Austrian Science Fund (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)

2020

• 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
• 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; 10 pages
• 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: "Proc. 4th Workshop on Trusted Smart Contracts, Financial Cryptography 20", Springer, LNCS (2020), Paper ID 14, 15 pages

2019

• 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
• 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
• Modularisation of Sequent Calculi for Normal and Non-normal Modalities / B. Lellmann, E. Pimentel / ACM Transactions on Computational Logic, 20 (2019), 2; 7:1 - 7:46
• 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
• Nested Sequents for the Logic of Conditional Belief / M. Girlando, B. Lellmann, N. Olivetti / in: "JELIA 2019", Springer, 2019, ISBN: 978-3-030-19569-4, 709 - 725
• 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
• 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
• 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", (2019), ISBN: 978-1-7281-1264-0; 10 pages
• 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", (2019), 15 pages
• 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)", (2019), ISBN: 978-1-7281-1542-9; 5 pages
• 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
• 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", (2019), ISBN: 978-1-4503-5933-7; 392 - 399
• 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
• 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, 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15
• 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)", (2019), ISBN: 978-1-4503-6785-1; 1 - 10
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents / R. Goré, B. Lellmann / 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", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 185 - 202
• Sequentialising Nested Systems / E. Pimentel, R. Ramanayake, B. Lellmann / 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", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 147 - 165
• Combining monotone and normal modal logic in nested sequents -- with countermodels / B. Lellmann / Talk: TABLEAUX 2019, London; 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", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 203 - 220

2018

• 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
• Extraction of Expansion Trees / A. Lolic, A. Leitsch / Journal of Automated Reasoning, 61 (2018), 1; 1 - 38
• Inducing syntactic cut-elimination for indexed nested sequents. / R. Ramanayake / Logical Methods in Computer Science, 14 (2018), 1 - 25
• Hypersequents and Systems of Rules: Embeddings and Applications. / A. Ciabattoni, F. Genco / ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

2017

• The problem of Pi_2-cut-introduction / A. Leitsch, M. Lettmann / Theoretical Computer Science, 706 (2017), 83 - 116
• Reconstructing the topology of clones / M. Pinsker et al. / Transactions of the American Mathematical Society, 369 (2017), 3707 - 3740
• The Basics of Display Calculi / T. Lyon et al. / KRITERION - Journal of Philosophy, 31 (2017), 2; 57 - 101
• 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
• VINTE: An implementation of internal calculi for Lewis´ logics of counterfactual reasoning / B. Lellmann et al. / in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017. Springer / Lecture Notes in Computer Science", 10501; Springer LNCS, 2017, ISBN: 978-3-319-66901-4, 149 - 159
• A uniform framework for substructural logics with modalities / B. Lellmann et al. / in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017", 46; T. Eiter et al. (ed.); EasyChair EPiC Series in Computing, 2017, ISSN: 2398-7340, 435 - 455
• 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
• 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
• 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), 2; 19 pages
• (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
• 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
• 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
• 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
• 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
• Hypersequent calculi for Lewis´ conditional logics with uniformity and reflexivity / B. Lellmann et al. / Talk: TABLEAUX 2017, Brasilia; 2017-09-26 - 2017-09-29; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", (2017), ISBN: 978-3-319-66901-4; 131 - 148
• 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
• 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
• 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

2016

• 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
• 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
• Densification of FL chains via residuated frames / P. Baldi, K. Terui / Algebra Universalis, 75 (2016), 2; 169 - 195
• 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
• The Reducts of the Homogeneous Binary Branching C-relation / T. Van Pham et al. / Journal of Symbolic Logic, 81 (2016), 4; 1255 - 1297
• Hypersequent Rules with Restricted Contexts for Propositional Modal Logics / B. Lellmann / Theoretical Computer Science, 656 (2016), 76 - 105
• Non-commutative classical arithmetical sequent calculi are intuitionistic / R. Ramanayake / Logic Journal of the IGPL, 24 (2016), 441; 452
• 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
• A counterexample to the reconstruction of omega-categorical structures from their endomorphism monoids / M. Kompatscher, M. Pinsker et al. / accepted for publication in Israel Journal of Mathematics (2016)
• 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
• Standard Sequent Calculi for Lewis' Logics of Counterfactuals / B. Lellmann et al. / in: "Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11", 10021; Springer International Publishing, Heidelberg, 2016, ISBN: 978-3-319-48757-1, 272 - 287
• Chip-firing game and a partial Tutte polynomial for Eulerian digraphs / T. Van Pham et al. / Electronic Journal of Combinatorics, 23 (2016), 1
• 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
• 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
• A Calculus for Rational Łukasiewicz Logic and Related Systems. / P. Baldi / Talk: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Eindhoven; 2016-06-20 - 2016-06-24; in: "Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2016", (2016), ISBN: 978-3-319-40596-4
• 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
• 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
• 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
• 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
• 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

2015

• The 42 reducts of the random ordered graph / M. Pinsker et al. / accepted for publication in Proceedings of the London Mathematical Society
• 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
• 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
• The 42 reducts of the random ordered graph / M. Pinsker et al. / LMS J. Comput.Math., 111 (2015), 3; 591 - 632
• 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
• Non-commutative classical arithmetical sequent calculi are intuitionistic / R. Ramanayake / accepted for publication in Logic Journal of the IGPL (2015)
• Power and Limits of Structural Display Rules / R. Ramanayake / accepted for publication in ACM Transactions on Computational Logic (2015)
• Embedding the hypersequent calculus in the display calculus / R. Ramanayake / Journal of Logic and Computation, 3 (2015), 25; 921 - 942
• 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
• 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
• Classifying orbits of the affine group over the integers / L. Cabrer et al. / Ergodic Theory and Dynamical Systems, 37 (2015), 1 pages
• Permutations on the Random Permutation / M. Pinsker et al. / Electronic Journal of Combinatorics, 22 (2015), 2
• 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
• 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
• 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
• 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
• 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
• 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

2014

• An Extended Framework for Specifying and Reasoning about Proof Systems / G. Reis, V. Nigam et al. / accepted for publication in Journal of Logic and Computation
• 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
• 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
• Reducts of the random partial order. / M. Pinsker et al. / Advances in Mathematics, 267 (2014), 94 - 120
• Algorithmic introduction of quantified cuts / S. Hetzl, A. Leitsch, G. Reis, D. Weller / Theoretical Computer Science, 549 (2014), 1 - 16
• Cut-elimination for Weak Grzegorczyk Logic Go / R. Ramanayake et al. / Studia Logica, 102 (2014), 1; 1 - 27
• A note on standard completeness for some extensions of uninorm logic / P. Baldi / Soft Computing, 18 (2014), 8; 1463 - 1470
• Taming Paraconsistent (and Other) Logics: An Algorithmic Approach / A. Ciabattoni, L. Spendier et al. / Journal of the ACM, 16 (2014), 1
• Cut-Elimination: Syntax and Semantics / M. Baaz, A. Leitsch / Studia Logica, 102 (2014), 6; 1217 - 1244
• 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
• A note on standard completeness for some extensions of uninorm logic. / P. Baldi / Soft Computing, 18 (2014), 8; 1463 - 1470
• 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
• Preface / A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller / Journal of Logic and Computation, 1 (2014)
• 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
• 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
• 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
• 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
• 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
• 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

2013

• 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
• On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 1 (2013), 1 - 23
• Universality of the lattice of transformation monoids. / M. Pinsker et al. / Proceedings of the American Mathematical Society, 141 (2013), 9; 3005 - 3011
• Discrete and continuous models for partitioning problems / J. Lellmann, B. Lellmann, F. Widmann, C. Schnörr / International Journal of Computer Vision, 104 (2013), 3; 241 - 269
• 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; #
• Herbrand-Confluence / S. Hetzl, L. Strassburger / Logical Methods in Computer Science, 9 (2013), 4; 1 - 25
• Checking Proof Transformations with ASP / G. Reis, V. Nigam et al. / Theory and Practice of Logic Programming, 13 (2013), 4-5; 1 - 12
• Finite-valued Semantics for Canonical Labelled Calculi / A. Zamansky, M. Baaz et al. / Journal of Automated Reasoning, 51 (2013), 4; 401 - 430
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• Correspondence between modal Hilbert axioms and sequent rules with an application to S5 / B. Lellmann, D. Pattinson / Talk: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Proceedings of the Tableaux 13, LNCS 8123", (2013), 219 - 233
• 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
• 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

2012

• 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
• Valentini´s cut-elimination for provability logic resolved / R. Ramanayake, R. Goré / Review Of Symbolic Logic, 5 (2012), 212 - 238
• 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
• 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
• 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
• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
• (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
• 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
• 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
• 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
• 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

2011

• 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
• 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
• 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
• 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

2010

• 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 / 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
• 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
• 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
• 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

2009

• 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
• 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
• 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
• 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
• 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
• 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

2008

• 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
• 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
• 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
• 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
• 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
• (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
• 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
• 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

2007

• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

2005

• 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, 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
• 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
• 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
• 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
• 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
• 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
• 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

2004

• 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
• 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
• 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

2003

• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

2002

• 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
• 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
• 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

2019

• Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / PhD 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 / PhD Thesis by M. Lettmann / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30
• Applications of Higher-Order Cut-Elimination / PhD 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
• 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
• 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
• 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
• 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

• Design and Evaluation of a Natural Language Processing Based Methodology for Classification and Profiling of Artifacts in Software Evolution / PhD 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
• 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
• Ceres in aussagenlogischen Beweisschemata / Master Thesis by A. Condoluci / Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-10-07

2015

• Advances in Schematic Cut Elimination / PhD 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 / PhD Thesis by C. Siehs / Supervisor, Reviewer: R. Freund, B. Mayer; 185-2, 2015
• Tools for the investigation of non-classical logics / PhD Thesis by L. Spendier / Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18
• Standard completeness: Proof-theoretic and algebraic methods / PhD Thesis by P. Baldi / Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12
• 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 / PhD 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 / PhD 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 / PhD 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

• owards Differential-Based Continuous Code Reviews / PhD Thesis by M. Bernhart / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-01-23
• Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs / PhD Thesis by C. Schanes / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-05-06
• Numeric Methods for Configuration Management / PhD Thesis by T. Sisel / Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19
• Unification in Higher-order Resolution / PhD Thesis by T. Libal / Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22
• 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
• 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

2012

• CERES in Proof Schemata / PhD 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 / PhD Thesis by T. Dunchev / Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17
• Computergesteuerte Hilfe für deutschsprachige Aphasiker und Aphasikerinnen / PhD 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 / PhD 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
• 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
• Analyse, Optimierung und Training eines Testprozesses innerhalb einer e-Health Produktlinie / Master Thesis by A. Mündler / Supervisor: R. Freund; 185/2, 2012

2011

• Applications and Generalizations of Context-Sensitive Term Rewriting / PhD 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
• 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

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

• A GeneralAnalysis of Cut-Elimination by CERES / PhD 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
• 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

2008

• 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
• 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

2007

• Characteristic Clause Sets and Proof Transformations / PhD Thesis by S. Hetzl / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14
• Ontology-Driven Information Extraction / PhD Thesis by B. Yildiz / Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24
• Termination of Rewriting with Non-Monotonic Orderings / PhD 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
• A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / PhD 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 / PhD 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

• Symbolic Evaluation of Imperative Programming Languages / PhD Thesis by B. Burgstaller / Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 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

2003

• Terminaison de la réécriture sous stratégies / PhD Thesis by O. Fissore / Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03
• P Automata / PhD 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 / PhD 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 / PhD 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 / HR Inside Summit Award 2016, BRONZE / Austria / Website / 2016
• Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige / Austria / Website / 2016
• Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem / Meitner-Programm / Austria / Project / 2015
• Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung / START-Programm / Austria / 2011

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 .