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 arXiv, 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",
    	arxiv = "https://arxiv.org/abs/1306.3056",
    	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
    }
    

  1. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V Podolskii, Thomas Schwentick and Michael Zakharyaschev.
    The price of query rewriting in ontology-based data access.
    Artif. Intell. 213:42–59, 2014.
    URL, DOI BibTeX

    @article{DBLP:journals/ai/GottlobKKPSZ14,
    	author = "Georg Gottlob and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Thomas Schwentick and Michael Zakharyaschev",
    	title = "The price of query rewriting in ontology-based data access",
    	journal = "Artif. Intell.",
    	year = 2014,
    	volume = 213,
    	pages = "42--59",
    	url = "http://dx.doi.org/10.1016/j.artint.2014.04.004",
    	doi = "10.1016/j.artint.2014.04.004",
    	timestamp = "Tue, 18 Nov 2014 21:19:07 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/ai/GottlobKKPSZ14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
    In Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014b,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = "A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy",
    	booktitle = "Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2014
    }
    

  1. Fatima Zohra Hadjam and Claudio Moraga.
    Introduction to RIMEP2: A Multi-Expression Programming System for the Design of Reversible Digital Circuits.
    CoRR abs/1405.2226, 2014.
    URL BibTeX

    @article{DBLP:journals/corr/HadjamM14,
    	author = "Fatima Zohra Hadjam and Claudio Moraga",
    	title = "Introduction to {RIMEP2:} {A} Multi-Expression Programming System for the Design of Reversible Digital Circuits",
    	journal = "CoRR",
    	volume = "abs/1405.2226",
    	year = 2014,
    	url = "http://arxiv.org/abs/1405.2226",
    	timestamp = "Mon, 02 Jun 2014 08:30:36 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/corr/HadjamM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume.
    The Dynamic Descriptive Complexity of k-Clique.
    In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 2014, 547–558.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/Zeume14,
    	author = "Thomas Zeume",
    	title = "The Dynamic Descriptive Complexity of k-Clique",
    	booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
    	pages = "547--558",
    	year = 2014,
    	url = "http://dx.doi.org/10.1007/978-3-662-44522-8_46",
    	doi = "10.1007/978-3-662-44522-8_46",
    	timestamp = "Wed, 10 Sep 2014 14:53:34 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/Zeume14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Milena Stankovic, Suzana Stojkovic and Claudio Moraga.
    Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams.
    Multiple-Valued Logic and Soft Computing 23(3-4):315–335, 2014.
    BibTeX

    @article{DBLP:journals/mvl/StankovicSM14,
    	author = "Milena Stankovic and Suzana Stojkovic and Claudio Moraga",
    	title = "Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams",
    	journal = "Multiple-Valued Logic and Soft Computing",
    	volume = 23,
    	number = "3-4",
    	pages = "315--335",
    	year = 2014,
    	timestamp = "Thu, 07 Aug 2014 09:25:16 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mvl/StankovicSM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }