Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ijfcs/ijfcs20.bht:"
download as .bib file
@article{DBLP:journals/ijfcs/AbdullaBHKV09,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
title = {Composed Bisimulation for Tree Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {685--700},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006814},
doi = {10.1142/S0129054109006814},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaBHKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AbdullaDHR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Noomene Ben Henda and
Ahmed Rezine},
title = {Monotonic Abstraction: on Efficient Verification of Parameterized
Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {779--801},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006887},
doi = {10.1142/S0129054109006887},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaDHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AhnAABBCKNSW09,
author = {Hee{-}Kap Ahn and
Helmut Alt and
Tetsuo Asano and
Sang Won Bae and
Peter Brass and
Otfried Cheong and
Christian Knauer and
Hyeon{-}Suk Na and
Chan{-}Su Shin and
Alexander Wolff},
title = {Constructing Optimal Highways},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {3--23},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006425},
doi = {10.1142/S0129054109006425},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AhnAABBCKNSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AhrabianNZ09,
author = {Haydeh Ahrabian and
Abbas Nowzari{-}Dalini and
Fatemeh Zare{-}Mirakabad},
title = {A Constant Time Algorithm for {DNA} Add},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {549--558},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006723},
doi = {10.1142/S0129054109006723},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AhrabianNZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AllauzenM09,
author = {Cyril Allauzen and
Mehryar Mohri},
title = {N-Way Composition of Weighted Finite-State Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {613--627},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006772},
doi = {10.1142/S0129054109006772},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AllauzenM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlmeidaMR09,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Antimirov and Mosses's Rewrite System Revisited},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {669--684},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006802},
doi = {10.1142/S0129054109006802},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AlmeidaMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AndreCFE09,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
Laurent Fribourg and
Emmanuelle Encrenaz},
title = {An Inverse Method for Parametric Timed Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {819--836},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006905},
doi = {10.1142/S0129054109006905},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AndreCFE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Badr09,
author = {Andrew Badr},
title = {{HYPER-MINIMIZATION} {IN} O(n\({}^{\mbox{2}}\))},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {735--746},
year = {2009},
url = {https://doi.org/10.1142/S012905410900684X},
doi = {10.1142/S012905410900684X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Badr09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BaturoPR09,
author = {Pawel Baturo and
Marcin Piatkowski and
Wojciech Rytter},
title = {Usefulness of Directed Acyclic Subword Graphs in Problems Related
to Standard Sturmian Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1005--1023},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007017},
doi = {10.1142/S0129054109007017},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BaturoPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BeinLR09,
author = {Wolfgang W. Bein and
Lawrence L. Larmore and
R{\"{u}}diger Reischuk},
title = {Knowledge States for the Caching Problem in Shared Memory Multiprocessor
Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {167--183},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006504},
doi = {10.1142/S0129054109006504},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BeinLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BoichutCHK09,
author = {Yohan Boichut and
Rom{\'{e}}o Courbis and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
title = {Handling Non Left-Linear Rules when Completing Tree Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {837--849},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006917},
doi = {10.1142/S0129054109006917},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BoichutCHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrijderHR09,
author = {Robert Brijder and
Hendrik Jan Hoogeboom and
Grzegorz Rozenberg},
title = {Reduction Graphs from Overlap Graphs for Gene Assembly in Ciliates},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {271--291},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006553},
doi = {10.1142/S0129054109006553},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrijderHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CantinLW09,
author = {Fran{\c{c}}ois Cantin and
Axel Legay and
Pierre Wolper},
title = {Computing Convex Hulls by Automata Iteration},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {647--667},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006796},
doi = {10.1142/S0129054109006796},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CantinLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CantoneCF09,
author = {Domenico Cantone and
Salvatore Cristofaro and
Simone Faro},
title = {New Efficient Bit-Parallel Algorithms for the (delta, alpha)-Matching
Problem with Applications in Music Information Retrieval},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1087--1108},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007054},
doi = {10.1142/S0129054109007054},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/CantoneCF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChamparnaudDJ09,
author = {Jean{-}Marc Champarnaud and
Jean{-}Philippe Dubernard and
Hadrien Jeanne},
title = {An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular
Language is Geometrical},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {763--774},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006863},
doi = {10.1142/S0129054109006863},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ChamparnaudDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChangLT09,
author = {Ching{-}Lueh Chang and
Yuh{-}Dauh Lyuu and
Yen{-}Wu Ti},
title = {Testing Embeddability between Metric Spaces},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {313--329},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006577},
doi = {10.1142/S0129054109006577},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ChangLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChenHWX09,
author = {Danny Z. Chen and
Mark A. Healy and
Chao Wang and
Bin Xu},
title = {Geometric Algorithms for the Constrained 1-d k-Means Clustering Problems
and {IMRT} Applications},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {361--377},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006619},
doi = {10.1142/S0129054109006619},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ChenHWX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChristodoulakisB09,
author = {Manolis Christodoulakis and
Gerhard Brey},
title = {Edit Distance with Combinations and Splits and its Applications in
{OCR} Name Matching},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1047--1068},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007030},
doi = {10.1142/S0129054109007030},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ChristodoulakisB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CiobanuG09,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
title = {Encodings of Multisets},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {381--393},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006632},
doi = {10.1142/S0129054109006632},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CiobanuG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CoetserKW09,
author = {Wikus Coetser and
Derrick G. Kourie and
Bruce W. Watson},
title = {On Regular Expression Hashing to Reduce {FA} Size},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1069--1086},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007042},
doi = {10.1142/S0129054109007042},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/CoetserKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CvetkovicD09,
author = {Dragos M. Cvetkovic and
Tatjana Davidovic},
title = {Multiprocessor Interconnection Networks with Small tightness},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {941--963},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006978},
doi = {10.1142/S0129054109006978},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CvetkovicD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DawsonG09,
author = {Jeremy E. Dawson and
Rajeev Gor{\'{e}}},
title = {Termination of Abstract Reduction Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {57--82},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006450},
doi = {10.1142/S0129054109006450},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DawsonG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DixonES09,
author = {Ryan Dixon and
{\"{O}}mer Egecioglu and
Timothy Sherwood},
title = {Analysis of Bit-Split Languages for Packet Scanning and Experiments
with Wildcard Matching},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {597--612},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006760},
doi = {10.1142/S0129054109006760},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DixonES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FaroL09,
author = {Simone Faro and
Thierry Lecroq},
title = {Efficient Variants of the Backward-Oracle-Matching Algorithm},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {967--984},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006991},
doi = {10.1142/S0129054109006991},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FaroL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FelscherT09,
author = {Ingo Felscher and
Wolfgang Thomas},
title = {Compositionality and Reachability with Conditions on Path Lengths},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {851--868},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006929},
doi = {10.1142/S0129054109006929},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FelscherT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GallePC09,
author = {Matthias Gall{\'{e}} and
Pierre Peterlongo and
Fran{\c{c}}ois Coste},
title = {In-Place Update of Suffix Array while Recoding Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1025--1045},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007029},
doi = {10.1142/S0129054109007029},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GallePC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GebauerO09,
author = {Heidi Gebauer and
Yoshio Okamoto},
title = {Fast Exponential-Time Algorithms for the Forest Counting and the Tutte
Polynomial Computation in Graph Classes},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {25--44},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006437},
doi = {10.1142/S0129054109006437},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/GebauerO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GlasserSZ09,
author = {Christian Gla{\ss}er and
Alan L. Selman and
Liyu Zhang},
title = {The Informational Content of Canonical Disjoint NP-Pairs},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {501--522},
year = {2009},
url = {https://doi.org/10.1142/S012905410900670X},
doi = {10.1142/S012905410900670X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GlasserSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GrooteP09,
author = {Jan Friso Groote and
Bas Ploeger},
title = {Switching Graphs},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {869--886},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006930},
doi = {10.1142/S0129054109006930},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/GrooteP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GudmundssonH09,
author = {Joachim Gudmundsson and
James Harland},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006413},
doi = {10.1142/S0129054109006413},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GudmundssonH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GudmundssonS09,
author = {Joachim Gudmundsson and
Michiel H. M. Smid},
title = {On Spanners of Geometric Graphs},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {135--149},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006486},
doi = {10.1142/S0129054109006486},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GudmundssonS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HalavaP09,
author = {Vesa Halava and
Igor Potapov},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {775--777},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006875},
doi = {10.1142/S0129054109006875},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HalavaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HempelK09,
author = {Harald Hempel and
Madlen Kimmritz},
title = {Aspects of Persistent Computations},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {701--715},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006826},
doi = {10.1142/S0129054109006826},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HempelK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HeubergerP09,
author = {Clemens Heuberger and
Helmut Prodinger},
title = {Analysis of complements in Multi-Exponentiation Algorithms Using Signed
Digit Representations},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {443--453},
year = {2009},
url = {https://doi.org/10.1142/S012905410900667X},
doi = {10.1142/S012905410900667X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HeubergerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HinzeFLD09,
author = {Thomas Hinze and
Raffael Fa{\ss}ler and
Thorsten Lenser and
Peter Dittrich},
title = {Register Machine Computations on Binary Numbers by oscillating and
Catalytic Chemical reactions Modelled Using Mass-Action kinetics},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {411--426},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006656},
doi = {10.1142/S0129054109006656},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HinzeFLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Holub09,
author = {Jan Holub},
title = {Foreword},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {965--966},
year = {2009},
url = {https://doi.org/10.1142/S012905410900698X},
doi = {10.1142/S012905410900698X},
timestamp = {Sat, 07 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Holub09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HolzerK09,
author = {Markus Holzer and
Martin Kutrib},
title = {Nondeterministic Finite Automata - Recent Results on the Descriptional
and Computational Complexity},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {563--580},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006747},
doi = {10.1142/S0129054109006747},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HolzerK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HungT09,
author = {Regant Y. S. Hung and
Hing{-}Fung Ting},
title = {A Near-Optimal Broadcasting Protocol for Mobile Video-on-Demand},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {45--55},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006449},
doi = {10.1142/S0129054109006449},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HungT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HuoLW09,
author = {Yumei Huo and
Joseph Y.{-}T. Leung and
Xin Wang},
title = {Preemptive Scheduling Algorithms with Nested Processing Set restriction},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1147--1160},
year = {2009},
url = {https://doi.org/10.1142/S012905410900708X},
doi = {10.1142/S012905410900708X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HuoLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraR09,
author = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {559--561},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006735},
doi = {10.1142/S0129054109006735},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/IbarraR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Karhumaki09,
author = {Juhani Karhum{\"{a}}ki},
title = {On the Power of Cooperating Morphisms via Reachability Problems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {803--818},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006899},
doi = {10.1142/S0129054109006899},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Karhumaki09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KusanoMIS09,
author = {Kazuhiko Kusano and
Wataru Matsubara and
Akira Ishino and
Ayumi Shinohara},
title = {Average Value of Sum of Exponents of Runs in a String},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1135--1146},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007078},
doi = {10.1142/S0129054109007078},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KusanoMIS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LazarCLV09,
author = {Katalin Anna L{\'{a}}z{\'{a}}r and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Andr{\'{a}}s L{\"{o}}rincz and
Gy{\"{o}}rgy Vaszil},
title = {Dynamically formed Clusters of Agents in Eco-Grammar Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {293--311},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006565},
doi = {10.1142/S0129054109006565},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LazarCLV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LeeHT09,
author = {Cheng{-}Chi Lee and
Min{-}Shiang Hwang and
Shiang{-}Feng Tzeng},
title = {A New Convertible Authenticated Encryption Scheme Based on the ElGamal
Cryptosystem},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {351--359},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006607},
doi = {10.1142/S0129054109006607},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LeeHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LinJA09,
author = {Jie Lin and
Yue Jiang and
Donald A. Adjeroh},
title = {The Virtual Suffix Tree},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {1109--1133},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007066},
doi = {10.1142/S0129054109007066},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LinJA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Lucanu09,
author = {Dorel Lucanu},
title = {Rewriting Logic-Based Semantics of {P} Systems and the Maximal Concurrency},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {395--410},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006644},
doi = {10.1142/S0129054109006644},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Lucanu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Martyugin09,
author = {Pavel Martyugin},
title = {The Length of Subset Reachability in Nondeterministic Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {887--900},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006942},
doi = {10.1142/S0129054109006942},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Martyugin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Masopust09,
author = {Tom{\'{a}}s Masopust},
title = {On the Terminating Derivation Mode in Cooperating Distributed Grammar
Systems with Forbidding Components},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {331--340},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006589},
doi = {10.1142/S0129054109006589},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Masopust09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MatsumotoHT09,
author = {Tetsuya Matsumoto and
Kazuhito Hagio and
Masayuki Takeda},
title = {A Run-Time Efficient Implementation of Compressed Pattern Matching
Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {717--733},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006838},
doi = {10.1142/S0129054109006838},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/MatsumotoHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MeierTVM09,
author = {Arne Meier and
Michael Thomas and
Heribert Vollmer and
Martin Mundhenk},
title = {The Complexity of Satisfiability for Fragments of {CTL} and CTL*},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {901--918},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006954},
doi = {10.1142/S0129054109006954},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MeierTVM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MesserschmidtO09,
author = {Hartmut Messerschmidt and
Friedrich Otto},
title = {On Deterministic CD-Systems of Restarting Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {185--209},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006516},
doi = {10.1142/S0129054109006516},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MesserschmidtO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MorrisAG09,
author = {Peter Morris and
Thorsten Altenkirch and
Neil Ghani},
title = {A Universe of Strictly Positive Families},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {83--107},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006462},
doi = {10.1142/S0129054109006462},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MorrisAG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/NicolasP09,
author = {Fran{\c{c}}ois Nicolas and
Yuri Pritykin},
title = {On Uniformly Recurrent Morphic Sequences},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {919--940},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006966},
doi = {10.1142/S0129054109006966},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/NicolasP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Pighizzini09,
author = {Giovanni Pighizzini},
title = {Deterministic Pushdown Automata and Unary Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {629--645},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006784},
doi = {10.1142/S0129054109006784},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Pighizzini09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/RajasekaranK09,
author = {Sanguthevar Rajasekaran and
Vamsi Kundeti},
title = {Spectrum Based Techniques for Graph Isomorphism},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {479--499},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006693},
doi = {10.1142/S0129054109006693},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/RajasekaranK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Rogojin09,
author = {Vladimir Rogojin},
title = {Successful Elementary Gene Assembly Strategies},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {455--477},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006681},
doi = {10.1142/S0129054109006681},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Rogojin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Romero-CamperoTCBGK09,
author = {Francisco Jos{\'{e}} Romero{-}Campero and
Jamie Twycross and
Miguel C{\'{a}}mara and
Malcolm Bennett and
Marian Gheorghe and
Natalio Krasnogor},
title = {Modular Assembly of Cell Systems Biology Models Using {P} Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {427--442},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006668},
doi = {10.1142/S0129054109006668},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Romero-CamperoTCBGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Serbanuta09,
author = {Virgil Nicolae Serbanuta},
title = {On Parikh Matrices, Ambiguity, and {PRINTS}},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {151--165},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006498},
doi = {10.1142/S0129054109006498},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Serbanuta09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ShakhlevichSS09,
author = {Natalia V. Shakhlevich and
Akiyoshi Shioura and
Vitaly A. Strusevich},
title = {Single Machine Scheduling with Controllable Processing Times by submodular
Optimization},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {247--269},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006541},
doi = {10.1142/S0129054109006541},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ShakhlevichSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SmythW09,
author = {William F. Smyth and
Shu Wang},
title = {An Adaptive Hybrid Pattern-Matching Algorithm on Indeterminate Strings},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {6},
pages = {985--1004},
year = {2009},
url = {https://doi.org/10.1142/S0129054109007005},
doi = {10.1142/S0129054109007005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/SmythW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Sosik09,
author = {Petr Sos{\'{\i}}k},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {379--380},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006620},
doi = {10.1142/S0129054109006620},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Sosik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Sprojcar09,
author = {Josef Sprojcar},
title = {Proposal of a Semiformal Model of Anonymous Communication},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {523--548},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006711},
doi = {10.1142/S0129054109006711},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Sprojcar09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/StuberVF09,
author = {Torsten St{\"{u}}ber and
Heiko Vogler and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {Decomposition of Weighted multioperator Tree Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {221--245},
year = {2009},
url = {https://doi.org/10.1142/S012905410900653X},
doi = {10.1142/S012905410900653X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/StuberVF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SubramanianHN09,
author = {K. G. Subramanian and
Ang Miin Huey and
Atulya K. Nagar},
title = {On Parikh Matrices},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {211--219},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006528},
doi = {10.1142/S0129054109006528},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/SubramanianHN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/TsayW09,
author = {Yih{-}Kuen Tsay and
Bow{-}Yaw Wang},
title = {Automated Compositional Reasoning of Intuitionistically Closed Regular
Properties},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {747--762},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006851},
doi = {10.1142/S0129054109006851},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/TsayW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Vergnaud09,
author = {Damien Vergnaud},
title = {New Extensions of Pairing-Based Signatures into Universal (Multi)
Designated Verifier Signatures},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {1},
pages = {109--133},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006474},
doi = {10.1142/S0129054109006474},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Vergnaud09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Yen09,
author = {Hsu{-}Chun Yen},
title = {Path Decomposition and Semilinearity of Petri Nets},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {581--596},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006759},
doi = {10.1142/S0129054109006759},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Yen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Zajicek09,
author = {Ondrej Zaj{\'{\i}}cek},
title = {A Note on Scheduling Parallel Unit Jobs on Hypercubes},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {2},
pages = {341--349},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006590},
doi = {10.1142/S0129054109006590},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Zajicek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-14 04:15 CEST 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:
