Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BarbutiMTDM10,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Angelo Troina and
                  Mariangiola Dezani{-}Ciancaglini and
                  Paolo Milazzo},
  title        = {A Formalism for the Description of Protein Interaction Dedicated to
                  Jerzy Tiuryn on the Occasion of his 60th Birthday},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {1--29},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-316},
  doi          = {10.3233/FI-2010-316},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiMTDM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BergstraM10a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Data Linkage Dynamics with Shedding},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {31--52},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-317},
  doi          = {10.3233/FI-2010-317},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Dojer10,
  author       = {Norbert Dojer},
  title        = {An Efficient Algorithm for Learning Bayesian Networks from Data},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {53--67},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-318},
  doi          = {10.3233/FI-2010-318},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Dojer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DonnellyKL10,
  author       = {Kevin Donnelly and
                  Assaf J. Kfoury and
                  Andrei Lapets},
  title        = {The Complexity of Restricted Variants of the Stable Paths Problem},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {69--87},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-319},
  doi          = {10.3233/FI-2010-319},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/DonnellyKL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GambinK10,
  author       = {Anna Gambin and
                  Boguslaw Kluge},
  title        = {Modeling Proteolysis from Mass Spectrometry Proteomic Data},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {89--104},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-320},
  doi          = {10.3233/FI-2010-320},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GambinK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GambinNU10,
  author       = {Anna Gambin and
                  Damian Niwinski and
                  Pawel Urzyczyn},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-315},
  doi          = {10.3233/FI-2010-315},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GambinNU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gorecki10,
  author       = {Pawel G{\'{o}}recki},
  title        = {H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {105--128},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-321},
  doi          = {10.3233/FI-2010-321},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gorecki10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kozen10,
  author       = {Dexter Kozen},
  title        = {Church-Rosser Made Easy},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {129--136},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-322},
  doi          = {10.3233/FI-2010-322},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kozen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KusmierekB10,
  author       = {Jaroslaw D. M. Kusmierek and
                  Viviana Bono},
  title        = {Big-step Operational Semantics Revisited},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {137--172},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-323},
  doi          = {10.3233/FI-2010-323},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KusmierekB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PaganiR10,
  author       = {Michele Pagani and
                  Simona Ronchi Della Rocca},
  title        = {Linearity, Non-determinism and Solvability},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {173--202},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-324},
  doi          = {10.3233/FI-2010-324},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PaganiR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Pratt10,
  author       = {Vaughan R. Pratt},
  title        = {Communes via Yoneda, from an Elementary Perspective},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {203--218},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-325},
  doi          = {10.3233/FI-2010-325},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Pratt10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RudnickiW10,
  author       = {Ryszard Rudnicki and
                  Radoslaw Wieczorek},
  title        = {Asymptotic Analysis of a Semelparous Species Model},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {219--233},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-326},
  doi          = {10.3233/FI-2010-326},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/RudnickiW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SettyCH10,
  author       = {Yaki Setty and
                  Irun R. Cohen and
                  David Harel},
  title        = {Modeling Biology using Generic Reactive Animation},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {235--246},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-327},
  doi          = {10.3233/FI-2010-327},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SettyCH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ShiversW10,
  author       = {Olin Shivers and
                  Mitchell Wand},
  title        = {Bottom-up beta-reduction: Uplinks and lambda-DAGs},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {247--287},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-328},
  doi          = {10.3233/FI-2010-328},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ShiversW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Tyszkiewicz10,
  author       = {Jerzy Tyszkiewicz},
  title        = {Complexity of Type Inference},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {289--301},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-329},
  doi          = {10.3233/FI-2010-329},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Tyszkiewicz10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Urzyczyn10,
  author       = {Pawel Urzyczyn},
  title        = {The Logic of Persistent Intersection},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {303--322},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-330},
  doi          = {10.3233/FI-2010-330},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Urzyczyn10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WilczynskiH10,
  author       = {Bartek Wilczynski and
                  Torgeir R. Hvidsten},
  title        = {A Computer Scientist's Guide to the Regulatory Genome},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {323--332},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-331},
  doi          = {10.3233/FI-2010-331},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WilczynskiH10.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.