Search dblp for Publications

export results for "toc:db/journals/cj/cj50.bht:"

 download as .bib file

@article{DBLP:journals/cj/AhmadD07,
  author       = {Imtiaz Ahmad and
                  A. Shoba Das},
  title        = {Analysis and Detection Of Errors In Implementation Of {SHA-512} Algorithms
                  On FPGAs},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {728--738},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm023},
  doi          = {10.1093/COMJNL/BXM023},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AhmadD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AhrabianN07,
  author       = {Haydeh Ahrabian and
                  Abbas Nowzari{-}Dalini},
  title        = {Parallel Generation of \emph{t}-Ary Trees in A-order},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {581--588},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm027},
  doi          = {10.1093/COMJNL/BXM027},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AhrabianN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Almendros-JimenezI07,
  author       = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
                  Luis Iribarne},
  title        = {Describing Use-Case Relationships with Sequence Diagrams},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {116--128},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl053},
  doi          = {10.1093/COMJNL/BXL053},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/Almendros-JimenezI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AmerO07,
  author       = {Abdelrahman Amer and
                  B. John Oommen},
  title        = {A Novel Framework for Self-Organizing Lists in Environments with Locality
                  of Reference: Lists-on-Lists},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {186--196},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl067},
  doi          = {10.1093/COMJNL/BXL067},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AmerO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AncillottiBCGP07,
  author       = {Emilio Ancillotti and
                  Raffaele Bruno and
                  Marco Conti and
                  Enrico Gregori and
                  Antonio Pinizzotto},
  title        = {A Layer-2 Framework for Interconnecting \emph{Ad Hoc} Networks to
                  Fixed Internet: Test-bed Implementation and Experimental Evaluation},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {478--499},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm013},
  doi          = {10.1093/COMJNL/BXM013},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AncillottiBCGP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BakalisIMSTTT07,
  author       = {A. Bakalis and
                  Costas S. Iliopoulos and
                  Christos Makris and
                  Spyros Sioutas and
                  Evangelos Theodoridis and
                  Athanasios K. Tsakalidis and
                  Kostas Tsichlas},
  title        = {Locating Maximal Multirepeats in Multiple Strings Under Various Constraints},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {178--185},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl058},
  doi          = {10.1093/COMJNL/BXL058},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/BakalisIMSTTT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BaldoniBQV07,
  author       = {Roberto Baldoni and
                  Roberto Beraldi and
                  Leonardo Querzoni and
                  Antonino Virgillito},
  title        = {Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay
                  and its Application to {SIENA}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {444--459},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm002},
  doi          = {10.1093/COMJNL/BXM002},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BaldoniBQV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BeinDK07,
  author       = {Doina Bein and
                  Ajoy Kumar Datta and
                  Mehmet Hakan Karaata},
  title        = {An Optimal Snap-Stabilizing Multi-Wave Algorithm},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {332--340},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl081},
  doi          = {10.1093/COMJNL/BXL081},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BeinDK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BeinDV07,
  author       = {Doina Bein and
                  Ajoy Kumar Datta and
                  Vincent Villain},
  title        = {Self-Stabilizing Local Routing in Ad Hoc Networks},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {197--203},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl059},
  doi          = {10.1093/COMJNL/BXL059},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BeinDV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Caldeira07,
  author       = {Carlos Caldeira},
  title        = {The Microsoft Data Warehouse Toolkit},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {249},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl072},
  doi          = {10.1093/COMJNL/BXL072},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Caldeira07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChenCD07,
  author       = {Zhongqiang Chen and
                  Zhongrong Chen and
                  Alex Delis},
  title        = {An Inline Detection and Prevention Framework for Distributed Denial
                  of Service Attacks},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {7--40},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl042},
  doi          = {10.1093/COMJNL/BXL042},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ChenCD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChenHG07,
  author       = {Ing{-}Ray Chen and
                  Weiping He and
                  Baoshan Gu},
  title        = {Proxy-based Regional Registration for Integrated Mobility and Service
                  Management in Mobile {IP} Systems},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {281--293},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl083},
  doi          = {10.1093/COMJNL/BXL083},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ChenHG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChenLH07,
  author       = {Shan{-}Tai Chen and
                  Shun{-}Shii Lin and
                  Li{-}Te Huang},
  title        = {A Two-Phase Optimization Algorithm For Mastermind},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {435--443},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm006},
  doi          = {10.1093/COMJNL/BXM006},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ChenLH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChengT07,
  author       = {Sheng{-}Tzong Cheng and
                  Ming{-}Hung Tao},
  title        = {A Scheduling-Based Medium Access Control Protocol for Supporting Multi-class
                  Services in Wireless Networks},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {204--216},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl063},
  doi          = {10.1093/COMJNL/BXL063},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ChengT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Choo07,
  author       = {Kim{-}Kwang Raymond Choo},
  title        = {A Proof of Revised Yahalom Protocol in the Bellare and Rogaway {(1993)}
                  Model},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {591--601},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm019},
  doi          = {10.1093/COMJNL/BXM019},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Choo07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CockshottM07,
  author       = {W. Paul Cockshott and
                  Greg Michaelson},
  title        = {Are There New Models of Computation? Reply to Wegner and Eberbach},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {232--247},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl062},
  doi          = {10.1093/COMJNL/BXL062},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/CockshottM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FallahS07,
  author       = {Mehran S. Fallah and
                  Ahmad R. Sharafat},
  title        = {Service Availability in Concurrent Systems - Part {I:} {A} Theory
                  of Hierarchical Services of Interacting Processes},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {522--534},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm014},
  doi          = {10.1093/COMJNL/BXM014},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/FallahS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FallahS07a,
  author       = {Mehran S. Fallah and
                  Ahmad R. Sharafat},
  title        = {Service Availability in Concurrent Systems - Part {II:} Analysis and
                  Case Studies Using {HSIP}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {535--554},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm018},
  doi          = {10.1093/COMJNL/BXM018},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/FallahS07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GammermanV07,
  author       = {Alexander Gammerman and
                  Vladimir Vovk},
  title        = {Hedging Predictions in Machine Learning: The Second \emph{Computer
                  Journal} Lecture},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {151--163},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl065},
  doi          = {10.1093/COMJNL/BXL065},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/GammermanV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GammermanV07a,
  author       = {Alexander Gammerman and
                  Vladimir Vovk},
  title        = {\emph{Rejoinder} Hedging Predictions in Machine Learning},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {173--177},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl075},
  doi          = {10.1093/COMJNL/BXL075},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/GammermanV07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GelenbeTV07,
  author       = {Erol Gelenbe and
                  Andrew Tilbrook and
                  Richard Vinter},
  title        = {Editorial: Introduction to the Special Issue},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {630--631},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm065},
  doi          = {10.1093/COMJNL/BXM065},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/GelenbeTV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GeorgakopoulosP07,
  author       = {George F. Georgakopoulos and
                  Kostas Politopoulos},
  title        = {{MAX-DENSITY} Revisited: a Generalization and a More Efficient Algorithm},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {348--356},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl082},
  doi          = {10.1093/COMJNL/BXL082},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/GeorgakopoulosP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Ghanea-HercockGJSAHDSKV07,
  author       = {Robert A. Ghanea{-}Hercock and
                  Erol Gelenbe and
                  Nicholas R. Jennings and
                  Oliver Smith and
                  David N. Allsopp and
                  Alex Healing and
                  Hakan Duman and
                  Simon Sparks and
                  Nishan C. Karunatillake and
                  Perukrishnen Vytelingum},
  title        = {Hyperion - Next-Generation Battlespace Information Services},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {632--645},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm063},
  doi          = {10.1093/COMJNL/BXM063},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/Ghanea-HercockGJSAHDSKV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GitzelOS07,
  author       = {Ralf Gitzel and
                  Ingo Ott and
                  Martin Schader},
  title        = {Ontological Extension to the {MOF} Metamodel as a Basis for Code Generation},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {93--115},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl052},
  doi          = {10.1093/COMJNL/BXL052},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/GitzelOS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Grunwald07,
  author       = {Peter Gr{\"{u}}nwald},
  title        = {Christopher S. Wallace \emph{Statistical and Inductive Inference by
                  Minimum Message Length.} Springer (2005), {ISBN} 038723795X 432 pp,
                  Hardbound},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {369--370},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl027},
  doi          = {10.1093/COMJNL/BXL027},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Grunwald07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GuerraouiR07,
  author       = {Rachid Guerraoui and
                  Michel Raynal},
  title        = {The Alpha of Indulgent Consensus},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {53--67},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl046},
  doi          = {10.1093/COMJNL/BXL046},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/GuerraouiR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hoare07,
  author       = {Tony Hoare},
  title        = {The Ideal of Program Correctness: \emph{Third Computer Journal} Lecture},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {254--260},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl078},
  doi          = {10.1093/COMJNL/BXL078},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Hoare07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HuangL07,
  author       = {Chung{-}Ming Huang and
                  Jian{-}Wei Li},
  title        = {Efficient and Provably Secure {IP} Multimedia Subsystem Authentication
                  for {UMTS}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {739--757},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm029},
  doi          = {10.1093/COMJNL/BXM029},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HuangL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HwangS07,
  author       = {Ren{-}Junn Hwang and
                  Sheng{-}Hua Shiau},
  title        = {Provably Efficient Authenticated Key Agreement Protocol for Multi-Servers},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {602--615},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm030},
  doi          = {10.1093/COMJNL/BXM030},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HwangS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Jasinski07,
  author       = {Ricardo P. Jasinski},
  title        = {Fault-Tolerance Techniques for SRAM-Based FPGAs},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {248},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl060},
  doi          = {10.1093/COMJNL/BXL060},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Jasinski07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/JooL07,
  author       = {Kil Hong Joo and
                  Won Suk Lee},
  title        = {An Adaptive Materialization Method for Globally Optimized Query Evaluation
                  in a Hierarchical Mediator System},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {68--80},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl047},
  doi          = {10.1093/COMJNL/BXL047},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/JooL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/JuarnaV07,
  author       = {Asep Juarna and
                  Vincent Vajnovszki},
  title        = {Some Generalizations of a Simion-Schmidt Bijection},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {574--580},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm022},
  doi          = {10.1093/COMJNL/BXM022},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/JuarnaV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07,
  author       = {Fairouz Kamareddine},
  title        = {Capsule Reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl077},
  doi          = {10.1093/COMJNL/BXL077},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07a,
  author       = {Fairouz Kamareddine},
  title        = {Capsule Reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {131--133},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm010},
  doi          = {10.1093/COMJNL/BXM010},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07b,
  author       = {Fairouz Kamareddine},
  title        = {Capsule Reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {251--253},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm015},
  doi          = {10.1093/COMJNL/BXM015},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07c,
  author       = {Fairouz Kamareddine},
  title        = {Capsule Reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {373--374},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm044},
  doi          = {10.1093/COMJNL/BXM044},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07d,
  author       = {Fairouz Kamareddine},
  title        = {Capsule Reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {501--504},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm074},
  doi          = {10.1093/COMJNL/BXM074},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07e,
  author       = {Fairouz Kamareddine},
  title        = {Capsule reviews},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {629},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm092},
  doi          = {10.1093/COMJNL/BXM092},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kamareddine07e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kapus-Kolar07,
  author       = {Monika Kapus{-}Kolar},
  title        = {Testing as Collecting of Evidence: An Integrated Approach to Test
                  Generation for Finite State Machines},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {315--331},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl070},
  doi          = {10.1093/COMJNL/BXL070},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Kapus-Kolar07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LeeLL07,
  author       = {Jaesung Lee and
                  Hyuk{-}Jae Lee and
                  Chanho Lee},
  title        = {A High-Speed Link Layer Architecture for Low Latency and Memory Cost
                  Reduction},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {616--628},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm032},
  doi          = {10.1093/COMJNL/BXM032},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/LeeLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Levene07,
  author       = {Mark Levene},
  title        = {Artificial Intelligence for Games. Series in Interactive 3D Technology},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {371},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl071},
  doi          = {10.1093/COMJNL/BXL071},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Levene07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LeveneB07,
  author       = {Mark Levene and
                  Judit Bar{-}Ilan},
  title        = {Comparing Typical Opening Move Choices Made by Humans and Chess Engines},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {567--573},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm025},
  doi          = {10.1093/COMJNL/BXM025},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/LeveneB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Li07,
  author       = {Wei Li},
  title        = {R-Calculus: An Inference System for Belief Revision},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {378--390},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl069},
  doi          = {10.1093/COMJNL/BXL069},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Li07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LiC07,
  author       = {Der{-}Chiang Li and
                  Fengming M. Chang},
  title        = {An In-Out Combined Dynamic Weighted Round-Robin Method for Network
                  Load Balancing},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {555--566},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm020},
  doi          = {10.1093/COMJNL/BXM020},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/LiC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LiN07,
  author       = {Sanjiang Li and
                  Bernhard Nebel},
  title        = {Qualitative Spatial Representation and Reasoning: {A} Hierarchical
                  Approach},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {391--402},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl086},
  doi          = {10.1093/COMJNL/BXL086},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/LiN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LiangWY07,
  author       = {Hongli Liang and
                  Jue Wang and
                  Yiyu Yao},
  title        = {User-Oriented Feature Selection for Machine Learning},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {421--434},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm012},
  doi          = {10.1093/COMJNL/BXM012},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/LiangWY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LiuL07,
  author       = {Tzong{-}Jye Liu and
                  Chia{-}Lin Lee},
  title        = {State-Optimal Alternator for Uniform Synchronous Rings},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {341--347},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl085},
  doi          = {10.1093/COMJNL/BXL085},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/LiuL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LuZ07,
  author       = {Ruqian Lu and
                  Zhi{-}Hua Zhou},
  title        = {Guest Editorial to the Special Issue on Advances of Artificial Intelligence
                  and Knowledge Engineering in China},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {377},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm011},
  doi          = {10.1093/COMJNL/BXM011},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/LuZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MahmoodTOHNKKPMSABCNLC07,
  author       = {Asher Mahmood and
                  Philip M. Tudor and
                  William Oxford and
                  Robert Hansford and
                  James D. B. Nelson and
                  Nicholas G. Kingsbury and
                  Antonis Katartzis and
                  Maria Petrou and
                  Nikolaos Mitianoudis and
                  Tania Stathaki and
                  Alin Achim and
                  David R. Bull and
                  Cedric Nishan Canagarajah and
                  Stavri G. Nikolov and
                  Artur Loza and
                  Nedeljko Cvejic},
  title        = {Applied Multi-Dimensional Fusion},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {646--659},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm069},
  doi          = {10.1093/COMJNL/BXM069},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/MahmoodTOHNKKPMSABCNLC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Mairs07,
  author       = {Chris Mairs},
  title        = {Inclusion and Exclusion in the Digital World: \emph{Turing Lecture
                  2006}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {274--280},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm001},
  doi          = {10.1093/COMJNL/BXM001},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Mairs07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Manzanares07,
  author       = {Antonio Izquierdo Manzanares},
  title        = {Professional Pen Testing for Web Applications - Programmer to Programmer
                  Series {(P2P)}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {500},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm016},
  doi          = {10.1093/COMJNL/BXM016},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Manzanares07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MarinescuM07,
  author       = {Dan C. Marinescu and
                  Gabriela M. Marinescu},
  title        = {The Boole Lecture Quantum Information: {A} Glimpse at the Strange
                  and Intriguing Future of Information},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {505--521},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm017},
  doi          = {10.1093/COMJNL/BXM017},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/MarinescuM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Martinez-Gil07,
  author       = {Jorge Mart{\'{\i}}nez Gil},
  title        = {Thinking on the Web: Berners-Lee, G{\"{o}}del and Turing},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {371--372},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl084},
  doi          = {10.1093/COMJNL/BXL084},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/Martinez-Gil07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MitianoudisS07,
  author       = {Nikolaos Mitianoudis and
                  Tania Stathaki},
  title        = {Joint Fusion and Blind Restoration For Multiple Image Scenarios With
                  Missing Data},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {660--673},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm068},
  doi          = {10.1093/COMJNL/BXM068},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/MitianoudisS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/NgLGP07,
  author       = {William Ng and
                  Jack Li and
                  Simon J. Godsill and
                  Sze Kim Pang},
  title        = {Multitarget Initiation, Tracking and Termination Using Bayesian Monte
                  Carlo Methods},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {674--693},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm070},
  doi          = {10.1093/COMJNL/BXM070},
  timestamp    = {Wed, 17 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/NgLGP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/NikmehrPL07,
  author       = {Hooman Nikmehr and
                  Braden Phillips and
                  Cheng{-}Chew Lim},
  title        = {A Fast Radix-4 Floating-Point Divider with Quotient Digit Selection
                  by Comparison Multiples},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {81--92},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl048},
  doi          = {10.1093/COMJNL/BXL048},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/NikmehrPL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/OkeL07,
  author       = {G{\"{u}}lay {\"{O}}ke and
                  Georgios Loukas},
  title        = {A Denial of Service Detector based on Maximum Likelihood Detection
                  and the Random Neural Network},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {717--727},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm066},
  doi          = {10.1093/COMJNL/BXM066},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/OkeL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Peters07,
  author       = {Jan Peters},
  title        = {Computational Intelligence: Principles, Techniques and Applications},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {758},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm073},
  doi          = {10.1093/COMJNL/BXM073},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Peters07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Rudiger07,
  author       = {Roland R{\"{u}}diger},
  title        = {Quantum Programming Languages: An Introductory Overview},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {134--150},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl057},
  doi          = {10.1093/COMJNL/BXL057},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Rudiger07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Segnan07,
  author       = {Marino Segnan},
  title        = {Web Data Management Practices - Emerging Techniques and Technologies},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {249--250},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl073},
  doi          = {10.1093/COMJNL/BXL073},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Segnan07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SmartRSsC07,
  author       = {Paul R. Smart and
                  Alistair Russell and
                  Nigel R. Shadbolt and
                  m. c. schraefel and
                  Les Carr},
  title        = {AKTiveSA: {A} Technical Demonstrator System For Enhanced Situation
                  Awareness},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {703--716},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm067},
  doi          = {10.1093/COMJNL/BXM067},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/SmartRSsC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SuSL07,
  author       = {Kaile Su and
                  Abdul Sattar and
                  Xiangyu Luo},
  title        = {Model Checking Temporal Logics of Knowledge Via OBDDs},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {403--420},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm009},
  doi          = {10.1093/COMJNL/BXM009},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/SuSL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Tang07,
  author       = {Qiang Tang},
  title        = {On The Security of a Group Key Agreement Protocol},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {5},
  pages        = {589--590},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm024},
  doi          = {10.1093/COMJNL/BXM024},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Tang07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThawaniGSR07,
  author       = {Amit Thawani and
                  Srividya Gopalan and
                  V. Sridhar and
                  Krithi Ramamritham},
  title        = {Context-aware Timely Information Delivery in Mobile Environments},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {460--472},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm005},
  doi          = {10.1093/COMJNL/BXM005},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ThawaniGSR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThomasianFN07,
  author       = {Alexander Thomasian and
                  Gang Fu and
                  Spencer W. Ng},
  title        = {Analysis of Rebuild Processing in {RAID5} Disk Arrays},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {217--231},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl064},
  doi          = {10.1093/COMJNL/BXL064},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ThomasianFN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Tseng07,
  author       = {Yuh{-}Min Tseng},
  title        = {A secure authenticated group key agreement protocol for resource-limited
                  mobile devices},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {41--52},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl043},
  doi          = {10.1093/COMJNL/BXL043},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Tseng07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VerbeekAH07,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede},
  title        = {Verifying Workflows with Cancellation Regions and OR-joins: An Approach
                  Based on Relaxed Soundness and Invariants},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {294--314},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl074},
  doi          = {10.1093/COMJNL/BXL074},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/VerbeekAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WaldronPMK07,
  author       = {Samuel M. Waldron and
                  John Patrick and
                  Phillip L. Morgan and
                  Sophia L. King},
  title        = {Influencing Cognitive Strategy by Manipulating Information Access},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {6},
  pages        = {694--702},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm064},
  doi          = {10.1093/COMJNL/BXM064},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/WaldronPMK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/X07,
  title        = {Editorial on the Occasion of Volume 50 of \emph{The Computer Journal}},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {1},
  pages        = {4--6},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl076},
  doi          = {10.1093/COMJNL/BXL076},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/X07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/X07a,
  title        = {Discussion on \emph{Hedging Predictions in Machine Learning} by A.
                  Gammerman and V. Vovk},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {2},
  pages        = {164--172},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl066},
  doi          = {10.1093/COMJNL/BXL066},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/X07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/X07b,
  title        = {Discussion on The Ideal of Program Correctness by Tony Hoare},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {261--268},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl079},
  doi          = {10.1093/COMJNL/BXL079},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/X07b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/X07c,
  title        = {Discussion on The Ideal of Program Correctness: Responses from Tony
                  Hoare},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {269--273},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl080},
  doi          = {10.1093/COMJNL/BXL080},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/X07c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/X07d,
  title        = {Karen Sp{\"{a}}rck Jones {(1935-2007):} Professor (emeritus)
                  of Computers and Information, University of Cambridge},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {375--376},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm026},
  doi          = {10.1093/COMJNL/BXM026},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/X07d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/YanovskyWB07,
  author       = {Vladimir Yanovski and
                  Israel A. Wagner and
                  Alfred M. Bruckstein},
  title        = {A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {4},
  pages        = {473--477},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxm004},
  doi          = {10.1093/COMJNL/BXM004},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/YanovskyWB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Yen07,
  author       = {William Chung{-}Kung Yen},
  title        = {Edge-Orienting on Split, Planar and Treelike Graphs},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {357--368},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl068},
  doi          = {10.1093/COMJNL/BXL068},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Yen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics