Search dblp for Publications

export results for "toc:db/journals/fuin/fuin167.bht:"

 download as .bib file

@article{DBLP:journals/fuin/Alviano19,
  author    = {Mario Alviano},
  title     = {Argumentation Reasoning via Circumscription with Pyglaf},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {1--30},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1808},
  doi       = {10.3233/FI-2019-1808},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Alviano19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlvianoD19,
  author    = {Mario Alviano and
               Carmine Dodaro},
  title     = {Model Enumeration via Assumption Literals},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {31--58},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1809},
  doi       = {10.3233/FI-2019-1809},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AlvianoD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Bazhenov19,
  author    = {Nikolay Bazhenov},
  title     = {Computable Contact Algebras},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {4},
  pages     = {257--269},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1817},
  doi       = {10.3233/FI-2019-1817},
  timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Bazhenov19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CharwatW19,
  author    = {G{\"{u}}nther Charwat and
               Stefan Woltran},
  title     = {Expansion-based {QBF} Solving on Tree Decompositions},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {59--92},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1810},
  doi       = {10.3233/FI-2019-1810},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/CharwatW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Fajardo19,
  author    = {William Fajardo},
  title     = {A Computational Maple Library for Skew {PBW} Extensions},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {3},
  pages     = {159--191},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1813},
  doi       = {10.3233/FI-2019-1813},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Fajardo19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GonzalezOR19,
  author    = {Miguel A. Gonz{\'{a}}lez and
               Angelo Oddi and
               Riccardo Rasconi},
  title     = {Efficient Approaches for Solving a Multiobjective Energy-aware Job
               Shop Scheduling Problem},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {93--132},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1811},
  doi       = {10.3233/FI-2019-1811},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GonzalezOR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GrahneM19,
  author    = {G{\"{o}}sta Grahne and
               Ali Moallemi},
  title     = {Universal (and Existential) Nulls},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {4},
  pages     = {287--321},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1819},
  doi       = {10.3233/FI-2019-1819},
  timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GrahneM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KlaudelKDM19,
  author    = {Hanna Klaudel and
               Maciej Koutny and
               Zhenhua Duan and
               Ben C. Moszkowski},
  title     = {From Box Algebra to Interval Temporal Logic},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {4},
  pages     = {323--354},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1820},
  doi       = {10.3233/FI-2019-1820},
  timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KlaudelKDM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarateaST19,
  author    = {Marco Maratea and
               Ivan Serina and
               Paolo Torroni},
  title     = {Preface},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {v--vii},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1807},
  doi       = {10.3233/FI-2019-1807},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/MarateaST19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MichalakS19,
  author    = {Marcin Michalak and
               Dominik Slezak},
  title     = {On Boolean Representation of Continuous Data Biclustering},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {3},
  pages     = {193--217},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1814},
  doi       = {10.3233/FI-2019-1814},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/MichalakS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PoklukarZ19,
  author    = {Darja Rupnik Poklukar and
               Janez Zerovnik},
  title     = {Networks with Extremal Closeness},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {3},
  pages     = {219--234},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1815},
  doi       = {10.3233/FI-2019-1815},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/PoklukarZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rudi19,
  author    = {Ali Gholami Rudi},
  title     = {Approximate Hotspots of Orthogonal Trajectories},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {4},
  pages     = {271--285},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1818},
  doi       = {10.3233/FI-2019-1818},
  timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Rudi19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SantucciBM19,
  author    = {Valentino Santucci and
               Marco Baioletti and
               Alfredo Milani},
  title     = {Tackling Permutation-based Optimization Problems with an Algebraic
               Particle Swarm Optimization Algorithm},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {1-2},
  pages     = {133--158},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1812},
  doi       = {10.3233/FI-2019-1812},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/SantucciBM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wasilewski19,
  author    = {Piotr Wasilewski},
  title     = {Algebras of Definable Sets vs. Concept Lattices},
  journal   = {Fundam. Inform.},
  volume    = {167},
  number    = {3},
  pages     = {235--256},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1816},
  doi       = {10.3233/FI-2019-1816},
  timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Wasilewski19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics