Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BadouelS17,
  author       = {{\'{E}}ric Badouel and
                  Uli Schlachter},
  title        = {Incremental Process Discovery using Petri Net Synthesis},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {1--13},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1548},
  doi          = {10.3233/FI-2017-1548},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BadouelS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BarashP17,
  author       = {Mikhail Barash and
                  Ion Petre},
  title        = {A Foundational Framework for Step-by-step Model Construction},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {15--24},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1549},
  doi          = {10.3233/FI-2017-1549},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarashP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BernardinelloFP17,
  author       = {Luca Bernardinello and
                  Carlo Ferigato and
                  Lucia Pomello and
                  Adri{\'{a}}n {Puerto Aubel}},
  title        = {Synthesis of Transition Systems from Quantum Logics},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {25--36},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1550},
  doi          = {10.3233/FI-2017-1550},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BernardinelloFP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Bojanczyk17,
  author       = {Mikolaj Bojanczyk},
  title        = {It is Undecidable if Two Regular Tree Languages can be Separated by
                  a Deterministic Tree-walking Automaton},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {37--46},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1551},
  doi          = {10.3233/FI-2017-1551},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Bojanczyk17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BonizzoniCVRT17,
  author       = {Paola Bonizzoni and
                  Anna Paola Carrieri and
                  Gianluca Della Vedova and
                  Raffaella Rizzi and
                  Gabriella Trucco},
  title        = {Species-Driven Persistent Phylogeny},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {47--63},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1552},
  doi          = {10.3233/FI-2017-1552},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BonizzoniCVRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CassaigneKPW17,
  author       = {Julien Cassaigne and
                  Juhani Karhum{\"{a}}ki and
                  Svetlana Puzynina and
                  Markus A. Whiteland},
  title        = {k-Abelian Equivalence and Rationality},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {65--94},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1553},
  doi          = {10.3233/FI-2017-1553},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CassaigneKPW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DuttaJS17,
  author       = {Soma Dutta and
                  Andrzej Jankowski and
                  Andrzej Skowron},
  title        = {Interactive Logical Structures},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {95--108},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1554},
  doi          = {10.3233/FI-2017-1554},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DuttaJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gabow17,
  author       = {Harold N. Gabow},
  title        = {The Weighted Matching Approach to Maximum Cardinality Matching},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {109--130},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1555},
  doi          = {10.3233/FI-2017-1555},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gabow17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GenovaH17,
  author       = {Daniela Genova and
                  Hendrik Jan Hoogeboom},
  title        = {Enforcing Regular Languages},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {131--144},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1556},
  doi          = {10.3233/FI-2017-1556},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GenovaH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gorrieri17,
  author       = {Roberto Gorrieri},
  title        = {CCS(25, 12) is Turing-complete},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {145--166},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1557},
  doi          = {10.3233/FI-2017-1557},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gorrieri17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HalavaHS17,
  author       = {Vesa Halava and
                  Tero Harju and
                  Esa Sahla},
  title        = {A New Proof for Undecidability of the Bi-Infinite Post Correspondence
                  Problem},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {167--176},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1558},
  doi          = {10.3233/FI-2017-1558},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/HalavaHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HalavaMN17,
  author       = {Vesa Halava and
                  Yuri V. Matiyasevich and
                  Reino Niskanen},
  title        = {Small Semi-Thue System Universal with Respect to the Termination Problem},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {177--184},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1559},
  doi          = {10.3233/FI-2017-1559},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HalavaMN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HanKS17,
  author       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko and
                  Kai Salomaa},
  title        = {State Complexity of k-Parallel Tree Concatenation},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {185--199},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1560},
  doi          = {10.3233/FI-2017-1560},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HanKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Honkala17,
  author       = {Juha Honkala},
  title        = {{D0L} Sequences and their Equality Sets},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {201--206},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1561},
  doi          = {10.3233/FI-2017-1561},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Honkala17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JanickiKKM17,
  author       = {Ryszard Janicki and
                  Jetty Kleijn and
                  Maciej Koutny and
                  Lukasz Mikulski},
  title        = {Alphabets of Acyclic Invariant Structures},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {207--224},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1562},
  doi          = {10.3233/FI-2017-1562},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/JanickiKKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JonoskaNS17,
  author       = {Natasa Jonoska and
                  Lukas Nabergall and
                  Masahico Saito},
  title        = {Patterns and Distances in Words Related to {DNA} Rearrangement},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {225--238},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1563},
  doi          = {10.3233/FI-2017-1563},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JonoskaNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KariS17,
  author       = {Lila Kari and
                  Amirhossein Simjour},
  title        = {Smart Tile Self-Assembly and Replication},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {239--260},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1564},
  doi          = {10.3233/FI-2017-1564},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KariS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeporatiMMPZ17,
  author       = {Alberto Leporati and
                  Luca Manzoni and
                  Giancarlo Mauri and
                  Antonio E. Porreca and
                  Claudio Zandron},
  title        = {Tissue {P} Systems with Small Cell Volume},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {261--275},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1565},
  doi          = {10.3233/FI-2017-1565},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeporatiMMPZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MantaciRRRS17,
  author       = {Sabrina Mantaci and
                  Antonio Restivo and
                  Giovanna Rosone and
                  Floriana Russo and
                  Marinella Sciortino},
  title        = {On Fixed Points of the Burrows-Wheeler Transform},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {277--288},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1566},
  doi          = {10.3233/FI-2017-1566},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MantaciRRRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MeskiKP17,
  author       = {Artur Meski and
                  Maciej Koutny and
                  Wojciech Penczek},
  title        = {Verification of Linear-Time Temporal Properties for Reaction Systems
                  with Discrete Concentrations},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {289--306},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1567},
  doi          = {10.3233/FI-2017-1567},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MeskiKP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NobilePSMCMB17,
  author       = {Marco S. Nobile and
                  Antonio E. Porreca and
                  Simone Spolaor and
                  Luca Manzoni and
                  Paolo Cazzaniga and
                  Giancarlo Mauri and
                  Daniela Besozzi},
  title        = {Efficient Simulation of Reaction Systems on Graphics Processing Units},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {307--321},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1568},
  doi          = {10.3233/FI-2017-1568},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NobilePSMCMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/OkuboY17,
  author       = {Fumiya Okubo and
                  Takashi Yokomori},
  title        = {Morphic Characterizations of Language Families Based on Local and
                  Star Languages},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {323--341},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1569},
  doi          = {10.3233/FI-2017-1569},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/OkuboY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PaunRS17,
  author       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {vii},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1547},
  doi          = {10.3233/FI-2017-1547},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PaunRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Polkowski17,
  author       = {Lech T. Polkowski},
  title        = {From Le{\'{s}}niewski, {\L}ukasiewicz, Tarski to Pawlak: Enriching
                  Rough Set Based Data Analysis. {A} Retrospective Survey},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {343--358},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1570},
  doi          = {10.3233/FI-2017-1570},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Polkowski17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RogersS17,
  author       = {Trent A. Rogers and
                  Shinnosuke Seki},
  title        = {Oritatami System; a Survey and the Impossibility of Simple Simulation
                  at Small Delays},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {359--372},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1571},
  doi          = {10.3233/FI-2017-1571},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RogersS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Valencia-Cabrera17a,
  author       = {Luis Valencia{-}Cabrera and
                  David Orellana{-}Mart{\'{\i}}n and
                  Miguel A. Mart{\'{\i}}nez{-}del{-}Amor and
                  Agustin Riscos{-}N{\'{u}}{\~{n}}ez and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {Cooperation in Transport of Chemical Substances: {A} Complexity Approach
                  within Membrane Computing},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {373--385},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1572},
  doi          = {10.3233/FI-2017-1572},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Valencia-Cabrera17a.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.