default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/cj/cj37.bht:"
download as .bib file
@article{DBLP:journals/cj/Arazi94,
author = {Benjamin Arazi},
title = {On Primality Testing using Purely Divisionless Operations},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {219--222},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.219},
doi = {10.1093/COMJNL/37.3.219},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/Arazi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bakker94,
author = {J. A. Bakker},
title = {A Semantic Approach to Enforce Correctness of Data Distribution Schemes},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {561--575},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.561},
doi = {10.1093/COMJNL/37.7.561},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bakker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BalterLR94,
author = {Roland Balter and
Serge Lacourte and
Michel Riveill},
title = {The Guide Language},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {519--530},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.519},
doi = {10.1093/COMJNL/37.6.519},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BalterLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarsiP94,
author = {Ferruccio Barsi and
Maria Cristina Pinotti},
title = {Time Optimal Mixed Radix Conversion for Residue Number Applications},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {907--916},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.907},
doi = {10.1093/COMJNL/37.10.907},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BarsiP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BassiouniML94,
author = {Mostafa A. Bassiouni and
Amar Mukherjee and
Mark J. Llewellyn},
title = {Design and Implementation of Extended Boolean and Comparison Operators
for Time-Oriented Query Languages},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {576--587},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.576},
doi = {10.1093/COMJNL/37.7.576},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BassiouniML94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BelkhatirM94,
author = {Noureddine Belkhatir and
Walc{\'{e}}lio L. Melo},
title = {Supporting Software Development Processes in Adele 2},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {621--628},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.621},
doi = {10.1093/COMJNL/37.7.621},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BelkhatirM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BenfordBFMR94,
author = {Steve Benford and
John Bowers and
Lennart E. Fahl{\'{e}}n and
John A. Mariani and
Tom Rodden},
title = {Supporting Cooperative Work in Virtual Environments},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {653--668},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.653},
doi = {10.1093/COMJNL/37.8.653},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BenfordBFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBP94,
author = {Jan A. Bergstra and
Inge Bethke and
Alban Ponse},
title = {Process Algebra with Iteration and Nesting},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {243--258},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.243},
doi = {10.1093/COMJNL/37.4.243},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BergstraBP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BerrisfordB94,
author = {Graham Berrisford and
M. Burrows},
title = {Reconciling {OO} with Turing Machines},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {888--906},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.888},
doi = {10.1093/COMJNL/37.10.888},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BerrisfordB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BezemG94,
author = {Marc Bezem and
Jan Friso Groote},
title = {A Correctness Proof of a One-Bit Sliding Window Protocol in {\(\mathrm{\mu}\)}CRL},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {289--307},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.289},
doi = {10.1093/COMJNL/37.4.289},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BezemG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BhagavathiGO94,
author = {Dharmavani Bhagavathi and
Chester E. Grosch and
Stephan Olariu},
title = {A Greedy Hypercube-Labeling Algorithm},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {124--128},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.124},
doi = {10.1093/COMJNL/37.2.124},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BhagavathiGO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bradley94,
author = {James Bradley},
title = {A Complete L-system Specification for Generating an Exact Self-affine
Growth-Decay Function with a Random Walk Scaling Property},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {58--66},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.58},
doi = {10.1093/COMJNL/37.1.58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bradley94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BundyM94,
author = {Alan Bundy and
Hector L. MacQueen},
title = {The New Software Copyright Law},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {79--82},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.79},
doi = {10.1093/COMJNL/37.2.79},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BundyM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CahillBHHPS94,
author = {Vinny Cahill and
Roland Balter and
David Harper and
Neville Harris and
Xavier Rousset de Pina and
Pedro Manuel Antunes Sousa},
title = {The Comandos Distributed Application Platform},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {477--486},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.477},
doi = {10.1093/COMJNL/37.6.477},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CahillBHHPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CaiT94,
author = {Wentong Cai and
Stephen John Turner},
title = {An Approach to the Run-Time Monitoring of Parallel Programs},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {333--345},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.333},
doi = {10.1093/COMJNL/37.4.333},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CaiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChanTW94,
author = {Daniel Kim Chung Chan and
Philip W. Trinder and
Ray Welland},
title = {Evaluating Object-Oriented Query Languages},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {858--872},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.858},
doi = {10.1093/COMJNL/37.10.858},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ChanTW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChaoZW94,
author = {Daniel Y. Chao and
MengChu Zhou and
David T. Wang},
title = {Extending the Knitting Technique to Petri Net Synthesis of Automated
Manufacturing Systems},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {67--76},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.67},
doi = {10.1093/COMJNL/37.1.67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ChaoZW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChristensenHM94,
author = {S{\o}ren Christensen and
Yoram Hirshfeld and
Faron Moller},
title = {Decidable Subsets of {CCS}},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {233--242},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.233},
doi = {10.1093/COMJNL/37.4.233},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ChristensenHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChuK94,
author = {Jiang{-}Hsing Chu and
Gary D. Knott},
title = {An Analysis of Spiral Hashing},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {715--719},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.715},
doi = {10.1093/COMJNL/37.8.715},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ChuK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Clark94,
author = {Anthony N. Clark},
title = {Pattern Recognition of Noisy Sequences of Behavioural Events using
Functional Combinators},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {385--398},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.385},
doi = {10.1093/COMJNL/37.5.385},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/Clark94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DiazPT94,
author = {Manuel D{\'{\i}}az and
Ernesto Pimentel and
Jos{\'{e}} M. Troya},
title = {{DROL:} {A} Distributed and Real-Time Object-Oriented Logic Environment},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {407--421},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.407},
doi = {10.1093/COMJNL/37.5.407},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/DiazPT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FirbyS94,
author = {P. A. Firby and
D. J. Stone},
title = {Analysis of the Structure and Resolution of a Graphics Device},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {367--376},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.367},
doi = {10.1093/COMJNL/37.5.367},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/FirbyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FokkinkZ94,
author = {Wan J. Fokkink and
Hans Zantema},
title = {Basic Process Algebra with Iteration: Completeness of its Equational
Axioms},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {259--268},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.259},
doi = {10.1093/COMJNL/37.4.259},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/FokkinkZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FrantiNK94,
author = {Pasi Fr{\"{a}}nti and
Olli Nevalainen and
Timo Kaukoranta},
title = {Compression of Digital Images by Block Truncation Coding: {A} Survey},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {308--332},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.308},
doi = {10.1093/COMJNL/37.4.308},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/FrantiNK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GanleyH94,
author = {Joseph L. Ganley and
Lenwood S. Heath},
title = {Optimal and Random Partitions of Random Graphs},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {641--643},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.641},
doi = {10.1093/COMJNL/37.7.641},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GanleyH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GiddyN94,
author = {Jonathan Giddy and
Reihaneh Safavi{-}Naini},
title = {Automated Cryptanalysis of Transposition Ciphers},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {429--436},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.429},
doi = {10.1093/COMJNL/37.5.429},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GiddyN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Goldson94,
author = {Doug Goldson},
title = {A Symbolic Calculator for Non-Strict Functional Programs},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {177--187},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.177},
doi = {10.1093/COMJNL/37.3.177},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Goldson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GuntherL94,
author = {Oliver G{\"{u}}nther and
Johannes Lamberts},
title = {Object-oriented Techniques for the Management of Geographic and Environmental
Data},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {16--25},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.16},
doi = {10.1093/COMJNL/37.1.16},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GuntherL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HamdiH94,
author = {Mounir Hamdi and
Richard W. Hall},
title = {An Efficient Class of Interconnection Networks for Parallel Computations},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {206--218},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.206},
doi = {10.1093/COMJNL/37.3.206},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HamdiH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hansen94,
author = {Per Brinch Hansen},
title = {Interference Control in SuperPascal - {A} Block-Structured Parallel
Language},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {399--406},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.399},
doi = {10.1093/COMJNL/37.5.399},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Hansen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HaoLK94,
author = {Ying Hao and
Jyh{-}Charn Liu and
Junguk L. Kim},
title = {An All-Sharing Load-Balancing Scheme on the {COMA/CD} Network and
its Analysis},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {779--794},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.779},
doi = {10.1093/COMJNL/37.9.779},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HaoLK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HuangH94,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu},
title = {An Incremental Protocol Verification Method},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {698--710},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.698},
doi = {10.1093/COMJNL/37.8.698},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HuangH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/JacksonB94,
author = {W. Ken Jackson and
F. Warren Burton},
title = {A Definite and Unfoldable, Partially Deterministic Language},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {711--714},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.711},
doi = {10.1093/COMJNL/37.8.711},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/JacksonB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Jambor-SadeghiKCG94,
author = {Kamyar Jambor{-}Sadeghi and
Mohammad A. Ketabchi and
Junjie Chue and
Manoochehr Ghiassi},
title = {A Systematic Approach to Corrective Maintenance},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {764--778},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.764},
doi = {10.1093/COMJNL/37.9.764},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Jambor-SadeghiKCG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/JonesKW94,
author = {Christopher B. Jones and
David B. Kidner and
J. Mark Ware},
title = {The Implicit Triangulated Irregular Network and Multiscale Spatial
Databases},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {43--57},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.43},
doi = {10.1093/COMJNL/37.1.43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/JonesKW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KerberMR94,
author = {Gerrit Kerber and
Helmut Meitner and
Friedemann Reim},
title = {The Comandos Toolset for Distributed Systems Management},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {509--518},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.509},
doi = {10.1093/COMJNL/37.6.509},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KerberMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KinnersleyK94,
author = {Nancy G. Kinnersley and
William M. Kinnersley},
title = {An Efficient Polynomial-Time Algorithm for Three-track Gate Matrix
Layout},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {449--462},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.449},
doi = {10.1093/COMJNL/37.5.449},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KinnersleyK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KnightM94,
author = {Brian Knight and
Jixin Ma},
title = {A Temporal Database Model Supporting Relative and Absolute Time},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {588--597},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.588},
doi = {10.1093/COMJNL/37.7.588},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KnightM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Korver94,
author = {Henri Korver},
title = {A Theory for Simulators},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {279--288},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.279},
doi = {10.1093/COMJNL/37.4.279},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Korver94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Lai94,
author = {C.{-}H. Lai},
title = {Diakoptics, Domain Decomposition and Parallel Computing},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {840--846},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.840},
doi = {10.1093/COMJNL/37.10.840},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Lai94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LammingBCEFLRS94,
author = {Mik Lamming and
Peter Brown and
Kathleen Carter and
Margery Eldridge and
Mike Flynn and
Gifford Louie and
Peter Robinson and
Abigail Sellen},
title = {Drawability of Complete Graphs Using a Minimal Slope Set},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {153--163},
year = {1994},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LammingBCEFLRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Lopriore94,
author = {Lanfranco Lopriore},
title = {Stack Cache Memory for Block-Structured Programs},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {610--620},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.610},
doi = {10.1093/COMJNL/37.7.610},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Lopriore94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LorentzosPS94,
author = {Nikos A. Lorentzos and
Alexandra Poulovassilis and
Carol Small},
title = {Implementation of Update Operations for Interval Relations},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {164--176},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.164},
doi = {10.1093/COMJNL/37.3.164},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LorentzosPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LowC94,
author = {Marie Rose Low and
Bruce Christianson},
title = {Self Authenticating Proxies},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {422--428},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.422},
doi = {10.1093/COMJNL/37.5.422},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LowC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MaK94,
author = {Jixin Ma and
Brian Knight},
title = {A General Temporal Theory},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {114--123},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.114},
doi = {10.1093/COMJNL/37.2.114},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/MaK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MaKP94,
author = {Jixin Ma and
Brian Knight and
Miltos Pedritis},
title = {A Revised Theory of Action and Time Based on Intervals and Points},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {847--857},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.847},
doi = {10.1093/COMJNL/37.10.847},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/MaKP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Majumdar94,
author = {A. A. K. Majumdar},
title = {A Note on the Iterative Algorithm for the Reve's Puzzle},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {463--464},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.463},
doi = {10.1093/COMJNL/37.5.463},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Majumdar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Marovac94,
author = {Nenad Marovac},
title = {Link Associated Computation in HyperNet},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {88--95},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.88},
doi = {10.1093/COMJNL/37.2.88},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Marovac94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MauwR94,
author = {Sjouke Mauw and
Michel A. Reniers},
title = {An Algebraic Semantics of Basic Message Sequence Charts},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {269--278},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.269},
doi = {10.1093/COMJNL/37.4.269},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/MauwR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/McFarlaneH94,
author = {I. McFarlane and
Stuart G. Hoggar},
title = {Optimal Drivers for the 'Random' Iteration Algorithm},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {629--640},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.629},
doi = {10.1093/COMJNL/37.7.629},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/McFarlaneH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/NievergeltF94,
author = {J{\"{u}}rg Nievergelt and
Michael Freeston},
title = {Special Issue Editorial: Other Objects, or: What is unique about Spatial
Data?},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {1--2},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.1},
doi = {10.1093/COMJNL/37.1.1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/NievergeltF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/OShea94,
author = {Greg O'Shea},
title = {On the Specification, Validation and Verification of Security in Access
Control Systems},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {437--448},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.437},
doi = {10.1093/COMJNL/37.5.437},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/OShea94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/OommenN94,
author = {B. John Oommen and
David T. H. Ng},
title = {A New Technique for Enhancing Linked-List Data Retrieval: Reorganize
Data Using Artificially synthesized Queries},
journal = {Comput. J.},
volume = {37},
number = {7},
pages = {598--609},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.7.598},
doi = {10.1093/COMJNL/37.7.598},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/OommenN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PattersonW94,
author = {John W. Patterson and
Philip J. Willis},
title = {Computer Assisted Animation: 2D or not 2D?},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {829--839},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.829},
doi = {10.1093/COMJNL/37.10.829},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/PattersonW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PoixL94,
author = {Christophe Poix and
Robert Laurini},
title = {A Geometric Reasoning Tool Based on a Successive Improvement Approach},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {377--384},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.377},
doi = {10.1093/COMJNL/37.5.377},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/PoixL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PooL94,
author = {Danny Chiang Choon Poo and
Shwu{-}Yi Lee},
title = {An Object-Oriented Systems Modelling Method based on the Jackson Approach},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {669--682},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.669},
doi = {10.1093/COMJNL/37.8.669},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/PooL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/RanaiLD94,
author = {Kisenchand Ranai and
Koon{-}Seng Lim and
Robert H. Deng},
title = {Simulating a Multimedia {FDDI} Backbone Network},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {188--198},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.188},
doi = {10.1093/COMJNL/37.3.188},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/RanaiLD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Schorn94,
author = {Peter Schorn},
title = {Degeneracy in Geometric Computation and the Perturbation Approach},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {35--42},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.35},
doi = {10.1093/COMJNL/37.1.35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Schorn94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SeshadriRS94,
author = {Sridhar Seshadri and
Doron Rotem and
Arie Segev},
title = {Optimal Arrangements of Cartridges in Carousel Type Mass Storage Systems},
journal = {Comput. J.},
volume = {37},
number = {10},
pages = {873--887},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.10.873},
doi = {10.1093/COMJNL/37.10.873},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SeshadriRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Sharman94,
author = {Richard A. Sharman},
title = {Speech Recognition in the Office: How the Technology Supports Dictation},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {735--744},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.735},
doi = {10.1093/COMJNL/37.9.735},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Sharman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SommervilleBRS94,
author = {Ian Sommerville and
Richard Bentley and
Tom Rodden and
Peter Sawyer},
title = {Cooperative Systems Design},
journal = {Comput. J.},
volume = {37},
number = {5},
pages = {357--366},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.5.357},
doi = {10.1093/COMJNL/37.5.357},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SommervilleBRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SousaZNM94,
author = {Pedro Manuel Antunes Sousa and
Andre Zuquete and
Nuno Neves and
Jos{\'{e}} Alves Marques},
title = {Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented
Environment},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {531--541},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.531},
doi = {10.1093/COMJNL/37.6.531},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/SousaZNM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Stavridou94,
author = {Victoria Stavridou},
title = {Formal Methods and {VLSI} Engineering Practice},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {96--113},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.96},
doi = {10.1093/COMJNL/37.2.96},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Stavridou94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/StephenM94,
author = {Graham A. Stephen and
Paul Mather},
title = {What is SP?},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {745--752},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.745},
doi = {10.1093/COMJNL/37.9.745},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/StephenM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TangneyCCH94,
author = {Brendan Tangney and
Andrew Condon and
Vinny Cahill and
Neville Harris},
title = {Requirements for Parallel Programming in Object-oriented Distributed
Systems},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {499--508},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.499},
doi = {10.1093/COMJNL/37.6.499},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/TangneyCCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TaylorM94,
author = {Paul Taylor and
Vinny Cahill and
Michael Mock},
title = {Combining Object-oriented Systems and Open Transaction Processing},
journal = {Comput. J.},
volume = {37},
number = {6},
pages = {487--498},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.6.487},
doi = {10.1093/COMJNL/37.6.487},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/TaylorM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThomsonM94,
author = {Helen E. Thomson and
Pam J. Mayhew},
title = {The Software Process: {A} Perspective on Improvement},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {683--690},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.683},
doi = {10.1093/COMJNL/37.8.683},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ThomsonM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TindellB94,
author = {Ken Tindell and
Alan Burns},
title = {Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {691--697},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.691},
doi = {10.1093/COMJNL/37.8.691},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/TindellB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VaderaM94,
author = {Sunil Vadera and
Farid Meziane},
title = {From English to Formal Specifications},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {753--763},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.753},
doi = {10.1093/COMJNL/37.9.753},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/VaderaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VarleyV94,
author = {Dominic A. Varley and
Mahes Visvalingam},
title = {Road Extraction and Topographic Data Validation Using Area Topology},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {3--15},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.3},
doi = {10.1093/COMJNL/37.1.3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/VarleyV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WadeC94,
author = {Greg A. Wade and
Jiang{-}Hsing Chu},
title = {Drawability of Complete Graphs Using a Minimal Slope Set},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {139--142},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.139},
doi = {10.1093/COMJNL/37.2.139},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/WadeC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Ward94,
author = {Martin P. Ward},
title = {Reverse Engineering through Formal Transformation: Knuths 'Polynomial
Addition' Algorithm},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {795--813},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.9.795},
doi = {10.1093/COMJNL/37.9.795},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Ward94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WittenBMST94,
author = {Ian H. Witten and
Timothy C. Bell and
Alistair Moffat and
Craig G. Nevill{-}Manning and
Tony C. Smith and
Harold W. Thimbleby},
title = {Semantic and Generative Models for Lossy Text Compression},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {83--87},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.83},
doi = {10.1093/COMJNL/37.2.83},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/WittenBMST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Worboys94,
author = {Michael F. Worboys},
title = {A Unified Model for Spatial and Temporal Information},
journal = {Comput. J.},
volume = {37},
number = {1},
pages = {36--34},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.1.26},
doi = {10.1093/COMJNL/37.1.26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Worboys94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/YueJ94,
author = {Kwok{-}Bun Yue and
R. T. Jacob},
title = {An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {129--138},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.129},
doi = {10.1093/COMJNL/37.2.129},
timestamp = {Sun, 04 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/YueJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ZhengHS94,
author = {Yuliang Zheng and
Thomas Hardjono and
Jennifer Seberry},
title = {Reusing Shares in Secret Sharing Schemes},
journal = {Comput. J.},
volume = {37},
number = {3},
pages = {199--205},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.3.199},
doi = {10.1093/COMJNL/37.3.199},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/ZhengHS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-30 20:58 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:
