Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AalstV14,
  author       = {Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Process Discovery and Conformance Checking Using Passages},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {103--138},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1006},
  doi          = {10.3233/FI-2014-1006},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AalstV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AlexandruC14,
  author       = {Andrei Alexandru and
                  Gabriel Ciobanu},
  title        = {Nominal Groups and Their Homomorphism Theorems},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {279--298},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1015},
  doi          = {10.3233/FI-2014-1015},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AlexandruC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AzimiIP14,
  author       = {Sepinoud Azimi and
                  Bogdan Iancu and
                  Ion Petre},
  title        = {Reaction System Models for the Heat Shock Response},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {299--312},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1016},
  doi          = {10.3233/FI-2014-1016},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AzimiIP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Banu-DemergianS14,
  author       = {Iulia Teodora Banu{-}Demergian and
                  Gheorghe Stefanescu},
  title        = {Towards a Formal Representation of Interactive Systems},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {313--336},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1017},
  doi          = {10.3233/FI-2014-1017},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Banu-DemergianS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BottoniLM14,
  author       = {Paolo Bottoni and
                  Anna Labella and
                  Victor Mitrana},
  title        = {Accepting Networks of Evolutionary Picture Processors},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {337--349},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1018},
  doi          = {10.3233/FI-2014-1018},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BottoniLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CaludeG14,
  author       = {Cristian S. Calude and
                  Marian Gheorghe},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1014},
  doi          = {10.3233/FI-2014-1014},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/CaludeG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CardelliM14,
  author       = {Luca Cardelli and
                  Radu Mardare},
  title        = {The Measurable Space of Stochastic Processes},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {351--371},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1019},
  doi          = {10.3233/FI-2014-1019},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CardelliM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChangC14,
  author       = {Chin{-}Chen Chang and
                  Ting{-}Fang Cheng},
  title        = {A Reliable Real-time Multicast Authentication Protocol with Provable
                  Accuracy},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {167--186},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1008},
  doi          = {10.3233/FI-2014-1008},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChangC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CiobanuT14,
  author       = {Gabriel Ciobanu and
                  Eneia Nicolae Todoran},
  title        = {Continuation Semantics for Asynchronous Concurrency},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {373--388},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1020},
  doi          = {10.3233/FI-2014-1020},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CiobanuT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CostaMILB14,
  author       = {Veronica Gil{-}Costa and
                  Mauricio Mar{\'{\i}}n and
                  Alonso Inostrosa{-}Psijas and
                  Jair Lobos and
                  Carolina Bonacic},
  title        = {Modelling Search Engines Performance Using Coloured Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {139--166},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1007},
  doi          = {10.3233/FI-2014-1007},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/CostaMILB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Dima14,
  author       = {Catalin Dima},
  title        = {A Nonarchimedian Discretization for Timed Languages},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {389--407},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1021},
  doi          = {10.3233/FI-2014-1021},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Dima14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DinuGM14,
  author       = {Liviu P. Dinu and
                  Radu Gramatovici and
                  Florin Manea},
  title        = {Syllabic Languages and Go-through Automata},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {409--424},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1022},
  doi          = {10.3233/FI-2014-1022},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DinuGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Duta14,
  author       = {Nicolae Duta},
  title        = {Natural Language Understanding and Prediction: from Formal Grammars
                  to Large Scale Machine Learning},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {425--440},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1023},
  doi          = {10.3233/FI-2014-1023},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Duta14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EgidiM14,
  author       = {Lavinia Egidi and
                  Giovanni Manzini},
  title        = {Spaced Seed Design Using Perfect Rulers},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {187--203},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1009},
  doi          = {10.3233/FI-2014-1009},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EgidiM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EvangelistaK14,
  author       = {Sami Evangelista and
                  Lars Michael Kristensen},
  title        = {A Sweep-Line Method for B{\"{u}}chi Automata-based Model Checking},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {27--53},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1003},
  doi          = {10.3233/FI-2014-1003},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EvangelistaK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GrozeaP14,
  author       = {Cristian Grozea and
                  Marius Popescu},
  title        = {Can Machine Learning Learn a Decision Oracle for {NP} Problems? {A}
                  Test on {SAT}},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {441--450},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1024},
  doi          = {10.3233/FI-2014-1024},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GrozeaP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HaddadKP14,
  author       = {Serge Haddad and
                  Jetty Kleijn and
                  Lucia Pomello},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1001},
  doi          = {10.3233/FI-2014-1001},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HaddadKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JarvinenR14,
  author       = {Jouni J{\"{a}}rvinen and
                  S{\'{a}}ndor Radeleczki},
  title        = {Monteiro Spaces and Rough Sets Determined by Quasiorder Relations:
                  Models for Nelson algebras},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {205--215},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1010},
  doi          = {10.3233/FI-2014-1010},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JarvinenR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KrithivasanPR14,
  author       = {Kamala Krithivasan and
                  Gheorghe Paun and
                  Ajeesh Ramanujan},
  title        = {On Controlled {P} Systems},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {451--464},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1025},
  doi          = {10.3233/FI-2014-1025},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KrithivasanPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Liu0LD14,
  author       = {Guan Jun Liu and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  title        = {Complexity of the Soundness Problem of Workflow Nets},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {81--101},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1005},
  doi          = {10.3233/FI-2014-1005},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Liu0LD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MarcinkowskiM14,
  author       = {Jerzy Marcinkowski and
                  Jakub Michaliszyn},
  title        = {The Undecidability of the Logic of Subintervals},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {217--240},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1011},
  doi          = {10.3233/FI-2014-1011},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarcinkowskiM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Martos-SalgadoR14,
  author       = {Mar{\'{\i}}a Martos{-}Salgado and
                  Fernando Rosa{-}Velardo},
  title        = {Safety and Soundness for Priced Resource-Constrained Workflow Nets},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {55--80},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1004},
  doi          = {10.3233/FI-2014-1004},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Martos-SalgadoR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NicolescuGMDG14,
  author       = {Radu Nicolescu and
                  Georgy L. Gimel'farb and
                  John Morris and
                  Patrice Delmas and
                  Rui Gong},
  title        = {Regularising Ill-posed Discrete Optimisation: Quests with {P} Systems},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {465--483},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1026},
  doi          = {10.3233/FI-2014-1026},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NicolescuGMDG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Przytula14,
  author       = {Lukasz Przytula},
  title        = {{NAO} Soccer Robots Path Planning Based on Rough Mereology},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {241--251},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1012},
  doi          = {10.3233/FI-2014-1012},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Przytula14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rataj14,
  author       = {Artur Rataj},
  title        = {Evolvability by Mimicking Common Properties of a Nervous System and
                  Computer Software},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {2},
  pages        = {253--278},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1013},
  doi          = {10.3233/FI-2014-1013},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rataj14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ValmariH14,
  author       = {Antti Valmari and
                  Henri Hansen},
  title        = {Old and New Algorithms for Minimal Coverability Sets},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {1--25},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1002},
  doi          = {10.3233/FI-2014-1002},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ValmariH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zimand14,
  author       = {Marius Zimand},
  title        = {Counting Dependent and Independent Strings},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {3-4},
  pages        = {485--497},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1027},
  doi          = {10.3233/FI-2014-1027},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Zimand14.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.