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. Inform.},
  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 = {Tue, 06 Jun 2017 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. Inform.},
  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 = {Fri, 02 Nov 2018 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. Inform.},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  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. Inform.},
  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 = {Sat, 16 Sep 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Tue, 19 Dec 2017 00:00:00 +0100},
  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. Inform.},
  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 = {Tue, 06 Jun 2017 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. Inform.},
  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 = {Sat, 19 Oct 2019 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. Inform.},
  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 = {Wed, 14 Jun 2017 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. Inform.},
  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 = {Sat, 20 May 2017 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. Inform.},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  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. Inform.},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  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. Inform.},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  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. Inform.},
  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 = {Sat, 19 Oct 2019 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. Inform.},
  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 = {Sat, 19 Oct 2019 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. Inform.},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Torkestani15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics