Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AnconaD15,
  author       = {Davide Ancona and
                  Agostino Dovier},
  title        = {A Theoretical Perspective of Coinductive Logic Programming},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {221--246},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1252},
  doi          = {10.3233/FI-2015-1252},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AnconaD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {A Rule-based Verification Strategy for Array Manipulating Programs},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {329--355},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1257},
  doi          = {10.3233/FI-2015-1257},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AvellanedaM15,
  author       = {Florent Avellaneda and
                  R{\'{e}}mi Morin},
  title        = {Catching a Structural Bug with a Flower},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {1},
  pages        = {61--87},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1245},
  doi          = {10.3233/FI-2015-1245},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AvellanedaM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AvelloneFM15,
  author       = {Alessandro Avellone and
                  Camillo Fiorentini and
                  Alberto Momigliano},
  title        = {A Semantical Analysis of Focusing and Contraction in Intuitionistic
                  Logic},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {247--262},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1253},
  doi          = {10.3233/FI-2015-1253},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AvelloneFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaldanC15,
  author       = {Paolo Baldan and
                  Alberto Carraro},
  title        = {A Causal View on Non-Interference},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {1},
  pages        = {1--38},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1243},
  doi          = {10.3233/FI-2015-1243},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BaldanC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestD15,
  author       = {Eike Best and
                  Raymond R. Devillers},
  title        = {Synthesis of Live and Bounded Persistent Systems},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {1},
  pages        = {39--59},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1244},
  doi          = {10.3233/FI-2015-1244},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BestD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BistarelliRS15,
  author       = {Stefano Bistarelli and
                  Fabio Rossi and
                  Francesco Santini},
  title        = {A Comparative Test on the Enumeration of Extensions in Abstract Argumentation},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {263--278},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1254},
  doi          = {10.3233/FI-2015-1254},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BistarelliRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CostantiniF15,
  author       = {Stefania Costantini and
                  Andrea Formisano},
  title        = {Negation as a Resource: a Novel View on Answer Set Semantics},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {279--305},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1255},
  doi          = {10.3233/FI-2015-1255},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CostantiniF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzerwinskiGK15,
  author       = {Wojciech Czerwinski and
                  Tomasz Gogacz and
                  Eryk Kopczynski},
  title        = {Non-dominating Sequences of Vectors Using only Resets and Increments},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {2},
  pages        = {123--127},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1247},
  doi          = {10.3233/FI-2015-1247},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CzerwinskiGK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DAgostinoOPT15,
  author       = {Giovanna D'Agostino and
                  Eugenio G. Omodeo and
                  Alberto Policriti and
                  Alexandru I. Tomescu},
  title        = {Mapping Sets and Hypersets into Numbers},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {307--328},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1256},
  doi          = {10.3233/FI-2015-1256},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DAgostinoOPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GentiliniMR15,
  author       = {Paolo Gentilini and
                  Maurizio Martelli and
                  Giuseppe Rosolini},
  title        = {Explicit Constructive Logic {ECL:} a New Representation of Construction
                  and Selection of Logical Information by an Epistemic Agent},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {357--372},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1258},
  doi          = {10.3233/FI-2015-1258},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GentiliniMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LisiS15,
  author       = {Francesca A. Lisi and
                  Umberto Straccia},
  title        = {Learning in Description Logics with Fuzzy Concrete Domains},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {373--391},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1259},
  doi          = {10.3233/FI-2015-1259},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LisiS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MateoSS15,
  author       = {Jos{\'{e}} Antonio Mateo and
                  Jir{\'{\i}} Srba and
                  Mathias Grund S{\o}rensen},
  title        = {Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time
                  Semantics},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {1},
  pages        = {89--121},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1246},
  doi          = {10.3233/FI-2015-1246},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/MateoSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RossiB15,
  author       = {Gianfranco Rossi and
                  Federico Bergenti},
  title        = {Nondeterministic Programming in Java with JSetL},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {393--412},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1260},
  doi          = {10.3233/FI-2015-1260},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RossiB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RyszkaPGSP15,
  author       = {Iwona Ryszka and
                  Anna Paszynska and
                  Ewa Grabska and
                  Marcin Sieniek and
                  Maciej Paszynski},
  title        = {Graph Transformation Systems for Modeling Three Dimensional Finite
                  Element Method. Part {I}},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {2},
  pages        = {129--172},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1248},
  doi          = {10.3233/FI-2015-1248},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RyszkaPGSP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RyszkaPGSP15a,
  author       = {Iwona Ryszka and
                  Anna Paszynska and
                  Ewa Grabska and
                  Marcin Sieniek and
                  Maciej Paszynski},
  title        = {Graph Transformation Systems for Modeling Three Dimensional Finite
                  Element Method. Part {II}},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {2},
  pages        = {173--203},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1249},
  doi          = {10.3233/FI-2015-1249},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RyszkaPGSP15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Torkestani15,
  author       = {Javad Akbari Torkestani},
  title        = {Stochastic Bounded Diameter Minimum Spanning Tree Problem},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {2},
  pages        = {205--219},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1250},
  doi          = {10.3233/FI-2015-1250},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Torkestani15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}