Search dblp for Publications

export results for "toc:db/journals/ijfcs/ijfcs14.bht:"

 download as .bib file

@article{DBLP:journals/ijfcs/AllauzenM03,
  author       = {Cyril Allauzen and
                  Mehryar Mohri},
  title        = {Finitely Subsequential Transducers},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {983--994},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002126},
  doi          = {10.1142/S0129054103002126},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AllauzenM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlzoubiWF03,
  author       = {Khaled M. Alzoubi and
                  Peng{-}Jun Wan and
                  Ophir Frieder},
  title        = {Maximal Independent Set, Weakly-Connected Dominating Set, and Induced
                  Spanners in Wireless Ad Hoc Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {287--303},
  year         = {2003},
  url          = {https://doi.org/10.1142/S012905410300173X},
  doi          = {10.1142/S012905410300173X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AlzoubiWF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BansalSG03,
  author       = {Shivi Shekhar Bansal and
                  S. Sreekanth and
                  Phalguni Gupta},
  title        = {M-Heap: {A} Modified Heap Data Structure},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {491--502},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001856},
  doi          = {10.1142/S0129054103001856},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BansalSG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BartzisB03,
  author       = {Constantinos Bartzis and
                  Tevfik Bultan},
  title        = {Efficient Symbolic Representations for Arithmetic Constraints in Verification},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {605--624},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001911},
  doi          = {10.1142/S0129054103001911},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BartzisB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BeinLLS03,
  author       = {Wolfgang W. Bein and
                  Lawrence L. Larmore and
                  Shahram Latifi and
                  Ivan Hal Sudborough},
  title        = {Block Sorting is Hard},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {425--437},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001820},
  doi          = {10.1142/S0129054103001820},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BeinLLS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BertoniMP03,
  author       = {Alberto Bertoni and
                  Carlo Mereghetti and
                  Beatrice Palano},
  title        = {Golomb Rulers And Difference Sets For Succinct Quantum Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {871--888},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002060},
  doi          = {10.1142/S0129054103002060},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BertoniMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BordimNS03,
  author       = {Jacir Luiz Bordim and
                  Koji Nakano and
                  Hong Shen},
  title        = {Sorting on Single-Channel Wireless Sensor Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {391--403},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001807},
  doi          = {10.1142/S0129054103001807},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BordimNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BouajjaniET03,
  author       = {Ahmed Bouajjani and
                  Javier Esparza and
                  Tayssir Touili},
  title        = {A Generic Approach to the Static Analysis of Concurrent Programs with
                  Procedures},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {551},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001893},
  doi          = {10.1142/S0129054103001893},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BouajjaniET03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BoudaB03,
  author       = {Jan Bouda and
                  Vladim{\'{\i}}r R. Buzek},
  title        = {Encryption Of Quantum Information},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {741--756},
  year         = {2003},
  url          = {https://doi.org/10.1142/S012905410300200X},
  doi          = {10.1142/S012905410300200X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BoudaB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CampeanuP03,
  author       = {Cezar C{\^{a}}mpeanu and
                  Andrei Paun},
  title        = {Counting The Number Of Minimal Dfca Obtained By Merging States},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {995--1006},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002138},
  doi          = {10.1142/S0129054103002138},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CampeanuP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CampeanuSY03,
  author       = {Cezar C{\^{a}}mpeanu and
                  Kai Salomaa and
                  Sheng Yu},
  title        = {A Formal Study Of Practical Regular Expressions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1007--1018},
  year         = {2003},
  url          = {https://doi.org/10.1142/S012905410300214X},
  doi          = {10.1142/S012905410300214X},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CampeanuSY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CartignyIS03,
  author       = {Julien Cartigny and
                  Fran{\c{c}}ois Ingelrest and
                  David Simplot},
  title        = {{RNG} Relay Subset Flooding Protocols in Mobile Ad-Hoc Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {253--265},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001716},
  doi          = {10.1142/S0129054103001716},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CartignyIS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChenL03,
  author       = {Yuanzhu Peter Chen and
                  Arthur L. Liestman},
  title        = {A Zonal Algorithm for Clustering An Hoc Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {305--322},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001741},
  doi          = {10.1142/S0129054103001741},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/ChenL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ClarkeFHKOST03,
  author       = {Edmund M. Clarke and
                  Ansgar Fehnker and
                  Zhi Han and
                  Bruce H. Krogh and
                  Jo{\"{e}}l Ouaknine and
                  Olaf Stursberg and
                  Michael Theobald},
  title        = {Abstraction and Counterexample-Guided Refinement in Model Checking
                  of Hybrid Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {583--604},
  year         = {2003},
  url          = {https://doi.org/10.1142/S012905410300190X},
  doi          = {10.1142/S012905410300190X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/ClarkeFHKOST03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CzyzowiczFPR03,
  author       = {Jurek Czyzowicz and
                  Wojciech Fraczak and
                  Andrzej Pelc and
                  Wojciech Rytter},
  title        = {Linear-Time Prime Decomposition Of Regular Prefix Codes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1019--1032},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002151},
  doi          = {10.1142/S0129054103002151},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CzyzowiczFPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DantsinW03,
  author       = {Evgeny Dantsin and
                  Alexander Wolpert},
  title        = {A Robust Dna Computation Model That Captures Pspace},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {933},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002096},
  doi          = {10.1142/S0129054103002096},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/DantsinW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DoldHG03,
  author       = {Axel Dold and
                  Friedrich W. von Henke and
                  Wolfgang Goerigk},
  title        = {A Completely Verified Realistic Bootstrap Compiler},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {659},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001947},
  doi          = {10.1142/S0129054103001947},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/DoldHG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Dsouza03,
  author       = {Deepak D'Souza},
  title        = {A Logical Characterisation of Event Clock Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {625--640},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001923},
  doi          = {10.1142/S0129054103001923},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Dsouza03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EmersonN03,
  author       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {On Reasoning About Rings},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {527--550},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001881},
  doi          = {10.1142/S0129054103001881},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/EmersonN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FanZ03,
  author       = {Guangbin Fan and
                  Jingyuan Zhang},
  title        = {Optimal Cellular Network Deployment Reusing Existing Base Stations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {169--181},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001662},
  doi          = {10.1142/S0129054103001662},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FanZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FantozziPP03,
  author       = {Carlo Fantozzi and
                  Andrea Pietracaprina and
                  Geppino Pucci},
  title        = {A General Pram Simulation Scheme For Clustered Machines},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1147--1164},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002230},
  doi          = {10.1142/S0129054103002230},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FantozziPP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FerroPPS03,
  author       = {Alfredo Ferro and
                  Giuseppe Pigola and
                  Alfredo Pulvirenti and
                  Dennis E. Shasha},
  title        = {Fast Clustering and Minimum Weight Matching Algorithms for Very Large
                  Mobile Backbone Wireless Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {223--236},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001698},
  doi          = {10.1142/S0129054103001698},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FerroPPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GheorghiuB03,
  author       = {Mihaela Gheorghiu and
                  Janusz A. Brzozowski},
  title        = {Simulation Of Feedback-Free Circuits In The Algebra Of Transients},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1033--1054},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002163},
  doi          = {10.1142/S0129054103002163},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GheorghiuB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GhoshSD03,
  author       = {Sasthi C. Ghosh and
                  Bhabani P. Sinha and
                  Nabanita Das},
  title        = {A New Approach to Efficient Channel Assignment for Hexagonal Cellular
                  Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {439--463},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001832},
  doi          = {10.1142/S0129054103001832},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GhoshSD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GiakoumakisV03,
  author       = {Vassilis Giakoumakis and
                  Jean{-}Marie Vanherpe},
  title        = {Linear Time Recognition and Optimizations for Weak-Bisplit Graphs,
                  Bi-Cographs and Bipartite P\({}_{\mbox{6}}\)-Free Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {107--136},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001625},
  doi          = {10.1142/S0129054103001625},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GiakoumakisV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GrasslRB03,
  author       = {Markus Grassl and
                  Martin R{\"{o}}tteler and
                  Thomas Beth},
  title        = {Efficient Quantum Circuits For Non-Qubit Quantum Error-Correcting
                  Codes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {757--776},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002011},
  doi          = {10.1142/S0129054103002011},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GrasslRB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GrimmellR03,
  author       = {William C. Grimmell and
                  Nageswara S. V. Rao},
  title        = {On Source-Based Route Computation for Quickest Paths under Dynamic
                  Bandwidth Constraints},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {503--523},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001868},
  doi          = {10.1142/S0129054103001868},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GrimmellR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Grover03,
  author       = {Lov K. Grover},
  title        = {An Improved Quantum Scheduling Algorithm},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {715--722},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001984},
  doi          = {10.1142/S0129054103001984},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Grover03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GuingneNCKGK03,
  author       = {Franck Guingne and
                  Florent Nicart and
                  Jean{-}Marc Champarnaud and
                  Lauri Karttunen and
                  Tam{\'{a}}s Ga{\'{a}}l and
                  Andr{\'{e}} Kempe},
  title        = {Virtual Operations On Virtual Networks: The Priority Union},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1055--1071},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002175},
  doi          = {10.1142/S0129054103002175},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GuingneNCKGK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HolzerK03,
  author       = {Markus Holzer and
                  Martin Kutrib},
  title        = {Nondeterministic Descriptional Complexity Of Regular Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1087--1102},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002199},
  doi          = {10.1142/S0129054103002199},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HolzerK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IvanyosMS03,
  author       = {G{\'{a}}bor Ivanyos and
                  Fr{\'{e}}d{\'{e}}ric Magniez and
                  Miklos Santha},
  title        = {Efficient Quantum Algorithms For Some Instances Of The Non-Abelian
                  Hidden Subgroup Problem},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {723--740},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001996},
  doi          = {10.1142/S0129054103001996},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/IvanyosMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JainSPD03,
  author       = {Anuj Jain and
                  Sartaj Sahni and
                  Jatinder Palta and
                  James Dempsey},
  title        = {Partitioning 3d Phantoms Into Homogeneous Cuboids},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {905--932},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002084},
  doi          = {10.1142/S0129054103002084},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JainSPD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JanzingWB03,
  author       = {Dominik Janzing and
                  Pawel Wocjan and
                  Thomas Beth},
  title        = {On The Computational Power Of Physical Interactions: Bounds On The
                  Number Of Time Steps For Simulating Arbitrary Interaction Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {889},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002072},
  doi          = {10.1142/S0129054103002072},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JanzingWB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JiaoC03,
  author       = {Li Jiao and
                  To{-}Yat Cheung},
  title        = {Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms
                  of Siphon-Based Properties},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {641--658},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001935},
  doi          = {10.1142/S0129054103001935},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JiaoC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JorrandM03,
  author       = {Philippe Jorrand and
                  Mehdi Mhalla},
  title        = {Separability Of Pure N-Qubit States: Two Characterizations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {797--814},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002035},
  doi          = {10.1142/S0129054103002035},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JorrandM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JungS03,
  author       = {Haejae Jung and
                  Sartaj Sahni},
  title        = {Supernode Binary Search Trees},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {465--490},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001844},
  doi          = {10.1142/S0129054103001844},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JungS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KarhumakiL03,
  author       = {Juhani Karhum{\"{a}}ki and
                  Leonid P. Lisovik},
  title        = {The Equivalence Problem of Finite Substitutions on ab*c, with Applications},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {699},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001960},
  doi          = {10.1142/S0129054103001960},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KarhumakiL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KlappeneckerR03,
  author       = {Andreas Klappenecker and
                  Martin R{\"{o}}tteler},
  title        = {Quantum Software Reusability},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {777--796},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002023},
  doi          = {10.1142/S0129054103002023},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KlappeneckerR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Korner03,
  author       = {Heiko K{\"{o}}rner},
  title        = {A Time And Space Efficient Algorithm For Minimizing Cover Automata
                  For Finite Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1071--1086},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002187},
  doi          = {10.1142/S0129054103002187},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Korner03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KrithivasanSV03,
  author       = {Kamala Krithivasan and
                  K. Sharda and
                  Sandeep V. Varma},
  title        = {Distributed varpi -Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {681--698},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001959},
  doi          = {10.1142/S0129054103001959},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KrithivasanSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Leopold03,
  author       = {Claudia Leopold},
  title        = {Cache Miss Analysis of 2D Stencil Codes with Tiled Time Loop},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {39--58},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001583},
  doi          = {10.1142/S0129054103001583},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Leopold03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LipmanBJ03,
  author       = {Justin Lipman and
                  Paul Boustead and
                  John Judge},
  title        = {Neighbor Aware Adaptive Power Flooding {(NAAP)} in Mobile Ad Hoc Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {237--252},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001704},
  doi          = {10.1142/S0129054103001704},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LipmanBJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Madhu03,
  author       = {Madhu Mutyam},
  title        = {Probabilistic Rewriting {P} Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {157--166},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001649},
  doi          = {10.1142/S0129054103001649},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Madhu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MartiniB03,
  author       = {Paul M. Martini and
                  Walter A. Burkhard},
  title        = {Double Hashing With Multiple Passbits},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1165},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002242},
  doi          = {10.1142/S0129054103002242},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MartiniB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Mohri03,
  author       = {Mehryar Mohri},
  title        = {Edit-Distance Of Weighted Automata: General Definitions And Algorithms},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {957--982},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002114},
  doi          = {10.1142/S0129054103002114},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Mohri03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Nakano03,
  author       = {Koji Nakano},
  title        = {Linear Layout of Generalized Hypercubes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {137--156},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001637},
  doi          = {10.1142/S0129054103001637},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Nakano03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Nishimura03,
  author       = {Harumichi Nishimura},
  title        = {Quantum Computation With Restricted Amplitudes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {853--870},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002059},
  doi          = {10.1142/S0129054103002059},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Nishimura03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Okhotin03,
  author       = {Alexander Okhotin},
  title        = {Efficient Automaton-Based Recognition For Linear Conjunctive Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1103--1116},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002205},
  doi          = {10.1142/S0129054103002205},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Okhotin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Palis03,
  author       = {Michael A. Palis},
  title        = {On the Competitiveness of Online Real-Time Scheduling with Rate of
                  Progress Guarantees},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {359--370},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001789},
  doi          = {10.1142/S0129054103001789},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Palis03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/QiuD03,
  author       = {Ke Qiu and
                  Sajal K. Das},
  title        = {Interconnection Networks and Their Eigenvalues},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {371--389},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001790},
  doi          = {10.1142/S0129054103001790},
  timestamp    = {Mon, 28 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/QiuD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Rosenberg03,
  author       = {Arnold L. Rosenberg},
  title        = {Efficient Pairing Functions - and Why You Should Care},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {3--17},
  year         = {2003},
  url          = {https://doi.org/10.1142/S012905410300156X},
  doi          = {10.1142/S012905410300156X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Rosenberg03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SahniKL03,
  author       = {Sartaj Sahni and
                  Kun Suk Kim and
                  Haibin Lu},
  title        = {Data Structures for One-Dimensional Packet Classification Using Most-Specific-Rule
                  Matching},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {337--358},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001777},
  doi          = {10.1142/S0129054103001777},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/SahniKL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SchmollingerK03,
  author       = {Martin Schmollinger and
                  Michael Kaufmann},
  title        = {Designing Parallel Algorithms for Hierarchical {SMP} Clusters},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {59--78},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001595},
  doi          = {10.1142/S0129054103001595},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/SchmollingerK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Sutner03,
  author       = {Klaus Sutner},
  title        = {Reduced Power Automata And Sofic Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1117},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002217},
  doi          = {10.1142/S0129054103002217},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Sutner03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/TangY03,
  author       = {Peiyi Tang and
                  Pen{-}Chung Yew},
  title        = {Interprocedural Induction Variable Analysis},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {405--423},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001819},
  doi          = {10.1142/S0129054103001819},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/TangY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WanAF03,
  author       = {Peng{-}Jun Wan and
                  Khaled M. Alzoubi and
                  Ophir Frieder},
  title        = {A Simple Heuristic for Minimum Connected Dominating Set in Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {323--333},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001753},
  doi          = {10.1142/S0129054103001753},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WanAF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WangLF03,
  author       = {Yu Wang and
                  Xiang{-}Yang Li and
                  Ophir Frieder},
  title        = {Distributed Spanners with Bounded Degree for Wireless Ad Hoc Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {183--200},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001674},
  doi          = {10.1142/S0129054103001674},
  timestamp    = {Fri, 27 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WangLF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WeiRNK03,
  author       = {David S. L. Wei and
                  Sanguthevar Rajasekaran and
                  Kshirasagar Naik and
                  Sy{-}Yen Kuo},
  title        = {Efficient Algorithms For Selection And Sorting Of Large Distributed
                  Files On De Bruijn And Hypercube Structures},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {6},
  pages        = {1129--1146},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002229},
  doi          = {10.1142/S0129054103002229},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WeiRNK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WuD03,
  author       = {Jie Wu and
                  Fei Dai},
  title        = {Broadcasting in Ad Hoc Networks Based on Self-Pruning},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {201--221},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001686},
  doi          = {10.1142/S0129054103001686},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WuD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WuH03,
  author       = {Chin{-}Hsiung Wu and
                  Shi{-}Jinn Horng},
  title        = {Scalable and Optimal Speed-Up Parallel Algorithms for Template Matching
                  on Arrays with Reconfigurable Optical Buses},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {79--98},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001601},
  doi          = {10.1142/S0129054103001601},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WuH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WuO03,
  author       = {Jie Wu and
                  Stephan Olariu},
  title        = {On Cost-Optimal Merge of Two Intransitive Sorted Sequences},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {99--106},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001613},
  doi          = {10.1142/S0129054103001613},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WuO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/XuanFJ03,
  author       = {Binh{-}Minh Bui{-}Xuan and
                  Afonso Ferreira and
                  Aubin Jarry},
  title        = {Computing Shortest, Fastest, and Foremost Journeys in Dynamic Networks},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {2},
  pages        = {267--285},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001728},
  doi          = {10.1142/S0129054103001728},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/XuanFJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Yamakami03,
  author       = {Tomoyuki Yamakami},
  title        = {Analysis Of Quantum Functions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {815--852},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002047},
  doi          = {10.1142/S0129054103002047},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Yamakami03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Zomaya03,
  author       = {Albert Y. Zomaya},
  title        = {Mobile Computing: Opportunities for Parallel Algorithms Research},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {1},
  pages        = {19--37},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103001571},
  doi          = {10.1142/S0129054103001571},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Zomaya03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics