default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/acta/acta58.bht:"
download as .bib file
@article{DBLP:journals/acta/BhattacharyyaGK21,
author = {Arnab Bhattacharyya and
Ashutosh Gupta and
Lakshmanan Kuppusamy and
Somya Mani and
Ankit Shukla and
Mandayam K. Srivas and
Mukund Thattai},
title = {A formal methods approach to predicting new features of the eukaryotic
vesicle traffic system},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {57--93},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00357-3},
doi = {10.1007/S00236-019-00357-3},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BhattacharyyaGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BjorklundC21,
author = {Johanna Bj{\"{o}}rklund and
Loek Cleophas},
title = {Aggregation-based minimization of finite state automata},
journal = {Acta Informatica},
volume = {58},
number = {3},
pages = {177--194},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00363-5},
doi = {10.1007/S00236-019-00363-5},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BjorklundC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BordihnH21,
author = {Henning Bordihn and
Markus Holzer},
title = {On the number of active states in finite automata},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {301--318},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00397-8},
doi = {10.1007/S00236-021-00397-8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BordihnH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BordihnV21,
author = {Henning Bordihn and
Gy{\"{o}}rgy Vaszil},
title = {Reversible parallel communicating finite automata systems},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {263--279},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00396-9},
doi = {10.1007/S00236-021-00396-9},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BordihnV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BorsottiBCM21,
author = {Angelo Borsotti and
Luca Breveglieri and
Stefano Crespi{-}Reghizzi and
Angelo Morzenti},
title = {A deterministic parsing algorithm for ambiguous regular expressions},
journal = {Acta Informatica},
volume = {58},
number = {3},
pages = {195--229},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00366-7},
doi = {10.1007/S00236-020-00366-7},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BorsottiBCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChenFLMZ21,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
title = {Indecision and delays are the parents of failure - taming them algorithmically
by synthesizing delay-resilient control},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {497--528},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00374-7},
doi = {10.1007/S00236-020-00374-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ChenFLMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DasR21,
author = {Litan Kumar Das and
Kumar Sankar Ray},
title = {Bitopological duality for algebras of Fitting's logic and natural
duality extension},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {571--584},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00384-5},
doi = {10.1007/S00236-020-00384-5},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DasR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Dassow21,
author = {J{\"{u}}rgen Dassow},
title = {Operational complexity and right linear grammars},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {281--299},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00386-3},
doi = {10.1007/S00236-020-00386-3},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Dassow21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietIM21,
author = {Joost Engelfriet and
Kazuhiro Inaba and
Sebastian Maneth},
title = {Linear-bounded composition of tree-walking tree transducers: linear
size increase and complexity},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {95--152},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00360-8},
doi = {10.1007/S00236-019-00360-8},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietIM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelsTB21,
author = {Steven Engels and
Tony Tan and
Jan Van den Bussche},
title = {Subsequence versus substring constraints in sequence pattern languages},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {35--56},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00347-5},
doi = {10.1007/S00236-019-00347-5},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelsTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FernauMP21,
author = {Henning Fernau and
Andreas Malcher and
Giovanni Pighizzini},
title = {Preface to Martin Kutrib Festschrift},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {241--242},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00401-1},
doi = {10.1007/S00236-021-00401-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FernauMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GangulyCR21,
author = {Debayan Ganguly and
Kingshuk Chatterjee and
Kumar Sankar Ray},
title = {Watson-Crick quantum finite automata},
journal = {Acta Informatica},
volume = {58},
number = {3},
pages = {231--240},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00370-x},
doi = {10.1007/S00236-020-00370-X},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GangulyCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GeffertKZ21,
author = {Viliam Geffert and
Christos A. Kapoutsis and
Mohammad Zakzok},
title = {Complement for two-way alternating automata},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {463--495},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00373-8},
doi = {10.1007/S00236-020-00373-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GeffertKZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GiesekingOW21,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog and
Nick W{\"{u}}rdemann},
title = {Correction to: Solving high-level Petri games},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {675--676},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00405-x},
doi = {10.1007/S00236-021-00405-X},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/GiesekingOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Gorrieri21,
author = {Roberto Gorrieri},
title = {Team bisimilarity, and its associated modal logic, for {BPP} nets},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {529--569},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00377-4},
doi = {10.1007/S00236-020-00377-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Gorrieri21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GutierrezMPRSW21,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Thomas Steeples and
Michael J. Wooldridge},
title = {Equilibria for games with combined qualitative and quantitative objectives},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {585--610},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00385-4},
doi = {10.1007/S00236-020-00385-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GutierrezMPRSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JakobiMMP21,
author = {Sebastian Jakobi and
Katja Meckel and
Carlo Mereghetti and
Beatrice Palano},
title = {The descriptional power of queue automata of constant length},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {335--356},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00398-7},
doi = {10.1007/S00236-021-00398-7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JakobiMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KamilyaK21,
author = {Supreeti Kamilya and
Jarkko Kari},
title = {Nilpotency and periodic points in non-uniform cellular automata},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {319--333},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00390-7},
doi = {10.1007/S00236-020-00390-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KamilyaK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KonstantinidisM21,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the size of partial derivatives and the word membership problem},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {357--375},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00399-6},
doi = {10.1007/S00236-021-00399-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LaneseMM21,
author = {Ivan Lanese and
Doriana Medic and
Claudio Antares Mezzina},
title = {Static versus dynamic reversibility in {CCS}},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {1--34},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00346-6},
doi = {10.1007/S00236-019-00346-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LaneseMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MazharS21,
author = {Rabia Mazhar and
Muddassar Azam Sindhu},
title = {{DKL:} an efficient algorithm for learning deterministic Kripke structures},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {611--651},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00387-2},
doi = {10.1007/S00236-020-00387-2},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/MazharS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Morita21,
author = {Kenichi Morita},
title = {An instruction set for reversible Turing machines},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {377--396},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00388-1},
doi = {10.1007/S00236-020-00388-1},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Morita21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NagyP21,
author = {Benedek Nagy and
Shaghayegh Parchami},
title = {On deterministic sensing {\textdollar}5'{\textbackslash}rightarrow
3'{\textdollar} Watson-Crick finite automata: a full hierarchy in
2detLIN},
journal = {Acta Informatica},
volume = {58},
number = {3},
pages = {153--175},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00362-6},
doi = {10.1007/S00236-019-00362-6},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NagyP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OstovarBH21,
author = {Ahmad Ostovar and
Suna Bensch and
Thomas Hellstr{\"{o}}m},
title = {Natural language guided object retrieval in images},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {243--261},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00400-2},
doi = {10.1007/S00236-021-00400-2},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OstovarBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OttoW21,
author = {Friedrich Otto and
Matthias Wendlandt},
title = {Reversibility for stateless ordered RRWW-automata},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {397--425},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00389-0},
doi = {10.1007/S00236-020-00389-0},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OttoW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/UmeoKF21,
author = {Hiroshi Umeo and
Naoki Kamikawa and
Gen Fujita},
title = {A new class of the smallest {FSSP} partial solutions for 1D rings
of length n=2\({}^{\mbox{k}}\)-1},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {427--450},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00391-6},
doi = {10.1007/S00236-020-00391-6},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/UmeoKF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/VoglerL21,
author = {Walter Vogler and
Gerald L{\"{u}}ttgen},
title = {Correction to: {A} linear-time branching-time perspective on interface
automata},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {677},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00406-w},
doi = {10.1007/S00236-021-00406-W},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/VoglerL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Worsch21,
author = {Thomas Worsch},
title = {A faster algorithm for the Birthday Song Singers Synchronization Problem
{(FSSP)} in one-dimensional {CA} with multiple speeds},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {451--462},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00383-6},
doi = {10.1007/S00236-020-00383-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Worsch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/XuHF21,
author = {Ming Xu and
Cheng{-}Chao Huang and
Yuan Feng},
title = {Measuring the constrained reachability in quantum Markov chains},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {653--674},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00392-5},
doi = {10.1007/S00236-020-00392-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/XuHF21.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.
retrieved on 2024-11-04 14:26 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
