Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AlbertBBM20,
  author    = {Elvira Albert and
               Nikolaos Bezirgiannis and
               Frank S. de Boer and
               Enrique Martin{-}Martin},
  title     = {A Formal, Resource Consumption-Preserving Translation from Actors
               with Cooperative Scheduling to Haskell},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {203--234},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1988},
  doi       = {10.3233/FI-2020-1988},
  timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/AlbertBBM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlpuenteCEM20,
  author    = {Mar{\'{\i}}a Alpuente and
               Angel Cuenca{-}Ortega and
               Santiago Escobar and
               Jos{\'{e}} Meseguer},
  title     = {Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity
               and/or Commutativity Axioms},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {297--329},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1991},
  doi       = {10.3233/FI-2020-1991},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AlpuenteCEM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlpuentePV20,
  author    = {Mar{\'{\i}}a Alpuente and
               Daniel Pardo and
               Alicia Villanueva},
  title     = {Abstract Contract Synthesis and Verification in the Symbolic {K} Framework},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {235--273},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1989},
  doi       = {10.3233/FI-2020-1989},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AlpuentePV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BichlerMW20,
  author    = {Manuel Bichler and
               Michael Morak and
               Stefan Woltran},
  title     = {lpopt: {A} Rule Optimization Tool for Answer Set Programming},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {275--296},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1990},
  doi       = {10.3233/FI-2020-1990},
  timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/BichlerMW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FalaschiGOP20,
  author    = {Moreno Falaschi and
               Maurizio Gabbrielli and
               Carlos Olarte and
               Catuscia Palamidessi},
  title     = {Dynamic Slicing for Concurrent Constraint Languages},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {331--357},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1992},
  doi       = {10.3233/FI-2020-1992},
  timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/FalaschiGOP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HermenegildoLPP20,
  author    = {Manuel V. Hermenegildo and
               Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
               Alberto Pettorossi and
               Maurizio Proietti},
  title     = {Preface},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1987},
  doi       = {10.3233/FI-2020-1987},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/HermenegildoLPP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MesnardPV20,
  author    = {Fred Mesnard and
               {\'{E}}tienne Payet and
               Germ{\'{a}}n Vidal},
  title     = {Selective Unification in (Constraint) Logic Programming},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {359--383},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1993},
  doi       = {10.3233/FI-2020-1993},
  timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/MesnardPV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tarau20,
  author    = {Paul Tarau},
  title     = {Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed
               Lambda Terms and Normal Forms},
  journal   = {Fundam. Informaticae},
  volume    = {177},
  number    = {3-4},
  pages     = {385--415},
  year      = {2020},
  url       = {https://doi.org/10.3233/FI-2020-1994},
  doi       = {10.3233/FI-2020-1994},
  timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/Tarau20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics