1. Christopher Czyba, Christopher Spinrath and Wolfgang Thomas.
    Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change.
    In Igor Potapov (ed.). Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.. 2015, 203–214.
    DOI BibTeX

    @inproceedings{DLT2015,
    	author = "Czyba, Christopher and Spinrath, Christopher and Thomas, Wolfgang",
    	title = "Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change",
    	booktitle = "Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.",
    	year = 2015,
    	editor = "Potapov, Igor",
    	pages = "203--214",
    	publisher = "Springer International Publishing",
    	doi = "10.1007/978-3-319-21500-6_16",
    	file = "DLT2015.pdf:mine/DLT2015.pdf:PDF",
    	isbn = "978-3-319-21500-6"
    }
    

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Static Analysis for Logic-based Dynamic Programs.
    In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. 2015, 308–324.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickVZ15,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Static Analysis for Logic-based Dynamic Programs",
    	booktitle = "24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015, September 7-10, 2015, Berlin, Germany",
    	pages = "308--324",
    	year = 2015,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2015.308",
    	doi = "10.4230/LIPIcs.CSL.2015.308",
    	timestamp = "Mon, 14 Sep 2015 16:03:03 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickVZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
    Annals of Mathematics and Artificial Intelligence (AMAI), 2015.
    BibTeX

    @article{KernIsberner_Wilhelm_Beierle_2015,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic knowledge representation using the principle of maximum entropy and {G}r\"{o}bner basis theory},
    	journal = "Annals of Mathematics and Artificial Intelligence (AMAI)",
    	year = 2015
    }
    

  1. Claudio Moraga.
    Mixed polarity reversible Peres gates.
    CoRR abs/1503.07356, 2015.
    URL BibTeX

    @article{DBLP:journals/corr/Moraga15,
    	author = "Claudio Moraga",
    	title = "Mixed polarity reversible Peres gates",
    	journal = "CoRR",
    	volume = "abs/1503.07356",
    	year = 2015,
    	url = "http://arxiv.org/abs/1503.07356",
    	timestamp = "Thu, 09 Apr 2015 11:33:20 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/Moraga15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability is in DynFO.
    CoRR abs/1502.07467, 2015.
    URL BibTeX

    @article{DBLP:journals/corr/DattaKMSZ15,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability is in DynFO",
    	journal = "CoRR",
    	volume = "abs/1502.07467",
    	year = 2015,
    	url = "http://arxiv.org/abs/1502.07467",
    	timestamp = "Mon, 02 Mar 2015 14:17:34 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/DattaKMSZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Martin Schuster and Thomas Schwentick.
    Games for Active XML Revisited.
    In 18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium. 2015, 60–75.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/SchusterS15,
    	author = "Martin Schuster and Thomas Schwentick",
    	title = "Games for Active {XML} Revisited",
    	booktitle = "18th International Conference on Database Theory, {ICDT} 2015, March 23-27, 2015, Brussels, Belgium",
    	pages = "60--75",
    	year = 2015,
    	crossref = "DBLP:conf/icdt/2015",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.60",
    	doi = "10.4230/LIPIcs.ICDT.2015.60",
    	timestamp = "Mon, 23 Mar 2015 09:54:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/SchusterS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the quantifier-free dynamic complexity of Reachability.
    Inf. Comput. 240:108–129, 2015.
    URL, DOI BibTeX

    @article{DBLP:journals/iandc/ZeumeS15,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the quantifier-free dynamic complexity of Reachability",
    	journal = "Inf. Comput.",
    	volume = 240,
    	pages = "108--129",
    	year = 2015,
    	url = "http://dx.doi.org/10.1016/j.ic.2014.09.011",
    	doi = "10.1016/j.ic.2014.09.011",
    	timestamp = "Mon, 09 Feb 2015 13:17:52 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/iandc/ZeumeS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Transferability for Conjunctive Queries.
    In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. 2015, 47–58.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/AmelootGKNS15,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Parallel-Correctness and Transferability for Conjunctive Queries",
    	booktitle = "Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
    	pages = "47--58",
    	year = 2015,
    	crossref = "DBLP:conf/pods/2015",
    	url = "http://doi.acm.org/10.1145/2745754.2745759",
    	doi = "10.1145/2745754.2745759",
    	timestamp = "Sun, 24 May 2015 12:17:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/AmelootGKNS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Frank Neven, Matthias Niewerth and Thomas Schwentick.
    BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema.
    In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. 2015, 145–156.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/MartensNNS15,
    	author = "Wim Martens and Frank Neven and Matthias Niewerth and Thomas Schwentick",
    	title = "BonXai: Combining the simplicity of {DTD} with the expressiveness of {XML} Schema",
    	booktitle = "Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
    	pages = "145--156",
    	year = 2015,
    	crossref = "DBLP:conf/pods/2015",
    	url = "http://doi.acm.org/10.1145/2745754.2745774",
    	doi = "10.1145/2745754.2745774",
    	timestamp = "Sun, 24 May 2015 12:17:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/MartensNNS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christian Eichhorn and Gabriele Kern-Isberner.
    Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals.
    KI - Künstliche Intelligenz 29(3):279-289, 2015.
    URL, DOI BibTeX

    @article{,
    	year = 2015,
    	issn = "0933-1875",
    	journal = {KI - K{\"u}nstliche Intelligenz},
    	volume = 29,
    	number = 3,
    	doi = "10.1007/s13218-015-0376-x",
    	title = "Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals",
    	url = "http://dx.doi.org/10.1007/s13218-015-0376-x",
    	publisher = "Springer Berlin Heidelberg",
    	keywords = "Conditionals; Nonmonotonic reasoning; Induction; System P; Networks; Ordinal conditional function; Conditional structures",
    	author = "Eichhorn, Christian and Kern-Isberner, Gabriele",
    	pages = "279-289",
    	language = "English"
    }
    

2014

  1. Kurosh Madani and Joaquim Filipe (eds.).
    NCTA 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22 - 24 October, 2014

    . SciTePress, 2014.
    BibTeX

    @proceedings{DBLP:conf/ijcci/2014ncta,
    	editor = "Kurosh Madani and Joaquim Filipe",
    	title = "{NCTA} 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of {IJCCI} 2014, Rome, Italy, 22 - 24 October, 2014",
    	publisher = "SciTePress",
    	year = 2014,
    	isbn = "978-989-758-054-3",
    	timestamp = "Tue, 02 Jun 2015 10:24:06 +0200",
    	biburl = "http://dblp.dagstuhl.de/rec/bib/conf/ijcci/2014ncta",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    
  2. Branimir Todorovic, Miomir S Stankovic and Claudio Moraga.
    Derivative Free Training of Recurrent Neural Networks - A Comparison of Algorithms and Architectures.
    In NCTA 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22 - 24 October, 2014. 2014, 76–84.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ijcci/TodorovicSM14,
    	author = "Branimir Todorovic and Miomir S. Stankovic and Claudio Moraga",
    	title = "Derivative Free Training of Recurrent Neural Networks - {A} Comparison of Algorithms and Architectures",
    	booktitle = "{NCTA} 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of {IJCCI} 2014, Rome, Italy, 22 - 24 October, 2014",
    	pages = "76--84",
    	year = 2014,
    	crossref = "DBLP:conf/ijcci/2014ncta",
    	url = "http://dx.doi.org/10.5220/0005081900760084",
    	doi = "10.5220/0005081900760084",
    	timestamp = "Tue, 02 Jun 2015 10:32:37 +0200",
    	biburl = "http://dblp.dagstuhl.de/rec/bib/conf/ijcci/TodorovicSM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Milos Radmanovic, Radomir S Stankovic and Claudio Moraga.
    Computation of the Total Autocorrelation over Shared Binary Decision Diagrams.
    IEICE Transactions 97-A(5):1140–1143, 2014.
    URL BibTeX

    @article{DBLP:journals/ieicet/RadmanovicSM14,
    	author = "Milos Radmanovic and Radomir S. Stankovic and Claudio Moraga",
    	title = "Computation of the Total Autocorrelation over Shared Binary Decision Diagrams",
    	journal = "{IEICE} Transactions",
    	volume = "97-A",
    	number = 5,
    	pages = "1140--1143",
    	year = 2014,
    	url = "http://search.ieice.org/bin/summary.php?id=e97-a_5_1140",
    	timestamp = "Thu, 15 May 2014 16:59:40 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/ieicet/RadmanovicSM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Radomir S Stankovic, Jaakko Astola and Claudio Moraga.
    Fast Fourier Transforms on Finite Groups as a Method in Synthesis for Regularity.
    Multiple-Valued Logic and Soft Computing 23(5-6):463–483, 2014.
    BibTeX

    @article{DBLP:journals/mvl/StankovicAM14,
    	author = "Radomir S. Stankovic and Jaakko Astola and Claudio Moraga",
    	title = "Fast Fourier Transforms on Finite Groups as a Method in Synthesis for Regularity",
    	journal = "Multiple-Valued Logic and Soft Computing",
    	volume = 23,
    	number = "5-6",
    	pages = "463--483",
    	year = 2014,
    	timestamp = "Thu, 07 Aug 2014 09:25:16 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mvl/StankovicAM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Héctor Allende-Cid, Claudio Moraga, Héctor Allende and Raúl Monge.
    Regression from Distributed Data Sources Using Discrete Neighborhood Representations and Modified Stalked Generalization Models.
    In Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014. 2014, 249–258.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/idc/Allende-CidMAM14,
    	author = "H{\'{e}}ctor Allende{-}Cid and Claudio Moraga and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge",
    	title = "Regression from Distributed Data Sources Using Discrete Neighborhood Representations and Modified Stalked Generalization Models",
    	booktitle = "Intelligent Distributed Computing {VIII} - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, {IDC} 2014, Madrid, Spain, September 3-5, 2014",
    	pages = "249--258",
    	year = 2014,
    	crossref = "DBLP:conf/idc/2014",
    	url = "http://dx.doi.org/10.1007/978-3-319-10422-5_27",
    	doi = "10.1007/978-3-319-10422-5_27",
    	timestamp = "Thu, 09 Oct 2014 20:46:45 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/idc/Allende-CidMAM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
    The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 19–24.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS14,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
    	title = "The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "19--24",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.12",
    	doi = "10.1109/ISMVL.2014.12",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/MoragaSSS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Radomir S Stankovic, Jaakko Astola, Claudio Moraga and Duan B Gajic.
    Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 79–84.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicAMG14,
    	author = "Radomir S. Stankovic and Jaakko Astola and Claudio Moraga and Duan B. Gajic",
    	title = "Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "79--84",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.22",
    	doi = "10.1109/ISMVL.2014.22",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/StankovicAMG14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Martin Lukac, Michitaka Kameyama, Marek A Perkowski, Pawel Kerntopf and Claudio Moraga.
    Analysis of Faults in Reversible Computing.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 115–120.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/LukacKPKM14,
    	author = "Martin Lukac and Michitaka Kameyama and Marek A. Perkowski and Pawel Kerntopf and Claudio Moraga",
    	title = "Analysis of Faults in Reversible Computing",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "115--120",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.28",
    	doi = "10.1109/ISMVL.2014.28",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/LukacKPKM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Claudio Moraga.
    On Some Basic Aspects of Ternary Reversible and Quantum Computing.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 178–183.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/Moraga14,
    	author = "Claudio Moraga",
    	title = "On Some Basic Aspects of Ternary Reversible and Quantum Computing",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "178--183",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.39",
    	doi = "10.1109/ISMVL.2014.39",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/Moraga14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
    Angerona - A flexible Multiagent Framework for Knowledge-based Agents.
    In Nils Bulling (ed.). Proceedings of the 12th European Conference on Multi-Agent Systems to appear. 2014.
    BibTeX

    @inproceedings{krumpelmann2014eumas,
    	author = {Kr\"umpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele},
    	booktitle = "Proceedings of the 12th European Conference on Multi-Agent Systems",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Bulling, Nils",
    	keywords = "own, angerona, multiagent framework",
    	publisher = "Springer",
    	series = "Lecture Notes in Artificial Intelligence",
    	title = "Angerona - A flexible Multiagent Framework for Knowledge-based Agents",
    	volume = "to appear",
    	year = 2014
    }