Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AbarcaR16,
  author       = {Mario Abarca and
                  Daniel Rivera},
  title        = {Graph Theoretical and Algorithmic Characterizations of Positive Definite
                  Symmetric Quasi-Cartan Matrices},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {3},
  pages        = {241--261},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1448},
  doi          = {10.3233/FI-2016-1448},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AbarcaR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AlessiC16,
  author       = {Fabio Alessi and
                  Felice Cardone},
  title        = {Tiered Objects},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {3},
  pages        = {263--295},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1449},
  doi          = {10.3233/FI-2016-1449},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AlessiC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Alviano16,
  author       = {Mario Alviano},
  title        = {Evaluating Answer Set Programming with Non-Convex Recursive Aggregates},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {1--34},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1441},
  doi          = {10.3233/FI-2016-1441},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Alviano16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BartakV16,
  author       = {Roman Bart{\'{a}}k and
                  Jindrich Vodr{\'{a}}zka},
  title        = {An Experimental Study of Influence of Modeling and Solving Techniques
                  on Performance of a Tabled Logic Programming Planner},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {35--60},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1442},
  doi          = {10.3233/FI-2016-1442},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BartakV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BergstraM16,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequence Size Complexity of Parity},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {3},
  pages        = {297--309},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1450},
  doi          = {10.3233/FI-2016-1450},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BistarelliFMT16,
  author       = {Stefano Bistarelli and
                  Andrea Formisano and
                  Marco Maratea and
                  Paolo Torroni},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {v--vii},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1440},
  doi          = {10.3233/FI-2016-1440},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BistarelliFMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChamparnaudMN16,
  author       = {Jean{-}Marc Champarnaud and
                  Ludovic Mignot and
                  Florent Nicart},
  title        = {Constrained Expressions and their Derivatives},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {3},
  pages        = {311--361},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1451},
  doi          = {10.3233/FI-2016-1451},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChamparnaudMN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Doberkat16,
  author       = {Ernst{-}Erich Doberkat},
  title        = {Bisimulation Cuts For Structuring Markov Transition Systems},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {4},
  pages        = {363--383},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1452},
  doi          = {10.3233/FI-2016-1452},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Doberkat16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Grzeskowiak16,
  author       = {Maciej Grzeskowiak},
  title        = {Pairing-Friendly Primes for Abelian Varieties},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {4},
  pages        = {385--400},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1453},
  doi          = {10.3233/FI-2016-1453},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Grzeskowiak16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mancini16,
  author       = {Toni Mancini},
  title        = {Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {61--100},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1443},
  doi          = {10.3233/FI-2016-1443},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mancini16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ManciniMMMT16,
  author       = {Toni Mancini and
                  Federico Mari and
                  Annalisa Massini and
                  Igor Melatti and
                  Enrico Tronci},
  title        = {SyLVaaS: System Level Formal Verification as a Service},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {101--132},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1444},
  doi          = {10.3233/FI-2016-1444},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ManciniMMMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MarinNPTG16,
  author       = {Paolo Marin and
                  Massimo Narizzano and
                  Luca Pulina and
                  Armando Tacchella and
                  Enrico Giunchiglia},
  title        = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {133--158},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1445},
  doi          = {10.3233/FI-2016-1445},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Schuller16,
  author       = {Peter Sch{\"{u}}ller},
  title        = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {159--207},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1446},
  doi          = {10.3233/FI-2016-1446},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Schuller16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/VallatiSSG16,
  author       = {Mauro Vallati and
                  Ivan Serina and
                  Alessandro Saetti and
                  Alfonso Emilio Gerevini},
  title        = {Identifying and Exploiting Features for Effective Plan Retrieval in
                  Case-Based Planning},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {209--240},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1447},
  doi          = {10.3233/FI-2016-1447},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/VallatiSSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/VirbitskaiteBB16,
  author       = {Irina B. Virbitskaite and
                  Dmitriy Bushin and
                  Eike Best},
  title        = {True Concurrent Equivalences in Time Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {4},
  pages        = {401--418},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1454},
  doi          = {10.3233/FI-2016-1454},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/VirbitskaiteBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WrobelSM16,
  author       = {Lukasz Wr{\'{o}}bel and
                  Marek Sikora and
                  Marcin Michalak},
  title        = {Rule Quality Measures Settings in Classification, Regression and Survival
                  Rule Induction - an Empirical Approach},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {4},
  pages        = {419--449},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1455},
  doi          = {10.3233/FI-2016-1455},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WrobelSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WuWJS16,
  author       = {Tingfang Wu and
                  Yanfeng Wang and
                  Suxia Jiang and
                  Xiaolong Shi},
  title        = {Small Universal Spiking Neural {P} Systems with Homogenous Neurons
                  and Synapses},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {4},
  pages        = {451--470},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1456},
  doi          = {10.3233/FI-2016-1456},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WuWJS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.