Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AlhumaidanS17,
  author       = {Abdullah Alhumaidan and
                  Jason Steggles},
  title        = {Modelling and Analysing Qualitative Biological Models using Rewriting
                  Logic},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {1--28},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1529},
  doi          = {10.3233/FI-2017-1529},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AlhumaidanS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AmanKKL17,
  author       = {Bogdan Aman and
                  Jetty Kleijn and
                  Maciej Koutny and
                  Dorel Lucanu},
  title        = {Methods for Distributed and Concurrent Systems: Special Issue on the
                  occasion of the 60th Birthday of Professor Gabriel Ciobanu},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {v--vi},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1528},
  doi          = {10.3233/FI-2017-1528},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AmanKKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BergstraM17,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Contradiction-Tolerant Process Algebra with Propositional Signals},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {29--55},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1530},
  doi          = {10.3233/FI-2017-1530},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChaiS17,
  author       = {Ming Chai and
                  Bernd{-}Holger Schlingloff},
  title        = {Monitoring with Parametrized Extended Life Sequence Charts},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {173--198},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1536},
  doi          = {10.3233/FI-2017-1536},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChaiS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChiaselottiCGI17,
  author       = {Giampiero Chiaselotti and
                  Davide Ciucci and
                  Tommaso Gentile and
                  Federico Infusino},
  title        = {Rough Set Theory and Digraphs},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {4},
  pages        = {291--325},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1542},
  doi          = {10.3233/FI-2017-1542},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/ChiaselottiCGI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChlebusMT17,
  author       = {Bogdan S. Chlebus and
                  Gianluca De Marco and
                  Muhammed Talo},
  title        = {Naming a Channel with Beeps},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {199--219},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1537},
  doi          = {10.3233/FI-2017-1537},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChlebusMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DenisiukG17,
  author       = {Aleksander Denisiuk and
                  Michal Grabowski},
  title        = {Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance
                  Metric and k-means Clustering of Nominal-continuous Data},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {221--233},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1538},
  doi          = {10.3233/FI-2017-1538},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DenisiukG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HorneMT17,
  author       = {Ross Horne and
                  Sjouke Mauw and
                  Alwen Tiu},
  title        = {Semantics for Specialising Attack Trees based on Linear Logic},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {57--86},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1531},
  doi          = {10.3233/FI-2017-1531},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HorneMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JoshiA17,
  author       = {Himani Joshi and
                  Sankalap Arora},
  title        = {Enhanced Grey Wolf Optimization Algorithm for Global Optimization},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {235--264},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1539},
  doi          = {10.3233/FI-2017-1539},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JoshiA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KheirfamM17,
  author       = {Behrouz Kheirfam and
                  Mohaddeseh Mohamadi{-}Sangachin},
  title        = {A Wide Neighborhood Second-order Predictor-corrector Interior-point
                  Algorithm for Semidefinite Optimization with Modified Corrector Directions},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {4},
  pages        = {327--346},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1543},
  doi          = {10.3233/FI-2017-1543},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KheirfamM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Koprowski17,
  author       = {Przemyslaw Koprowski},
  title        = {Roots Multiplicity without Companion Matrices},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {265--270},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1540},
  doi          = {10.3233/FI-2017-1540},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Koprowski17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeeuwenW17,
  author       = {Jan van Leeuwen and
                  Jir{\'{\i}} Wiedermann},
  title        = {Turing Machines with One-sided Advice and Acceptance of the co-RE
                  Languages},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {4},
  pages        = {347--366},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1544},
  doi          = {10.3233/FI-2017-1544},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeeuwenW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MakurackiSZ17,
  author       = {Bartosz Makuracki and
                  Daniel Simson and
                  Blazej Zyglarski},
  title        = {Inflation Agorithm for Cox-regular Postive Edge-bipartite Graphs with
                  Loops},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {4},
  pages        = {367--398},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1545},
  doi          = {10.3233/FI-2017-1545},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MakurackiSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PaunR17,
  author       = {Andrei Paun and
                  Alfonso Rodr{\'{\i}}guez{-}Pat{\'{o}}n},
  title        = {P Systems Simulating Bacterial Conjugation: Universality and Properties},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {87--103},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1532},
  doi          = {10.3233/FI-2017-1532},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PaunR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/StoenescuSPI17,
  author       = {Teodor Stoenescu and
                  Alin Stefanescu and
                  Sorina Predut and
                  Florentin Ipate},
  title        = {Binary Analysis based on Symbolic Execution and Reversible x86 Instructions},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {105--124},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1533},
  doi          = {10.3233/FI-2017-1533},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/StoenescuSPI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SyauLL17,
  author       = {Yu{-}Ru Syau and
                  En{-}Bing Lin and
                  Churn{-}Jung Liau},
  title        = {Neighborhood Systems and Variable Precision Generalized Rough Sets},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {3},
  pages        = {271--290},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1541},
  doi          = {10.3233/FI-2017-1541},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SyauLL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/TodoranP17,
  author       = {Eneia Nicolae Todoran and
                  Nikolaos Papaspyrou},
  title        = {Concurrency Semantics in Continuation-Passing Style},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {125--146},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1534},
  doi          = {10.3233/FI-2017-1534},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/TodoranP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Valencia-Cabrera17,
  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        = {Computational Efficiency of Minimal Cooperation and Distribution in
                  Polarizationless {P} Systems with Active Membranes},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {147--172},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1535},
  doi          = {10.3233/FI-2017-1535},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Valencia-Cabrera17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WronskiDKB17,
  author       = {Michal Wronski and
                  Robert Drylo and
                  Tomasz Kijko and
                  Piotr Bora},
  title        = {Constructing Elliptic Curves for the {GLV} Method with Low-cost Decomposition},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {4},
  pages        = {399--413},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1546},
  doi          = {10.3233/FI-2017-1546},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WronskiDKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.