Derick Wood
Affiliations:- Hong Kong University of Science and Technology
According to our database1,
Derick Wood
authored at least 232 papers
between 1969 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.ust.hk
On csauthors.net:
Bibliography
2009
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages.
Fundam. Informaticae, 2009
Operational State Complexity of Prefix-Free Regular Languages.
Proceedings of the Automata, Formal Languages, and Related Topics, 2009
2008
2007
Theor. Comput. Sci., 2007
Fundam. Informaticae, 2007
Generalizations of One-Deterministic Regular Languages.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
2006
Proceedings of the Developments in Language Theory, 10th International Conference, 2006
State Complexity of Prefix-Free Regular Languages.
Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006
Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006
2005
Int. J. Found. Comput. Sci., 2005
Proceedings of the Implementation and Application of Automata, 2005
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005
Proceedings of the Combinatorial Pattern Matching, 16th Annual Symposium, 2005
2004
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-18849-7, 2004
Proceedings of the Extreme Markup Languages® 2004 Conference, 2004
Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof.
Proceedings of the Theory Is Forever, 2004
2003
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003
2002
Int. J. Found. Comput. Sci., 2002
Proceedings of the Implementation and Application of Automata, 2002
2001
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001
2000
Caterpillars: A Context Specification Technique.
Markup Lang., 2000
Proceedings of the Implementation and Application of Automata, 2000
Proceedings of the Digital Documents: Systems and Principles, 2000
1999
Proceedings of the Automata Implementation, 1999
Proceedings of the Electronic Publishing '99, Redefining the Information Chain - New Ways and Voices: 3rd ICCC/IFIP conference held at the University of Karlskrona/Ronneby, 1999
Proceedings of the Developments in Language Theory, 1999
Thompson Languages.
Proceedings of the Jewels are Forever, 1999
Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, 1999
1998
SIAM J. Comput., 1998
Proceedings of the Automata Implementation, 1998
Proceedings of the Principles of Digital Document Processing, 4th International Workshop, 1998
Proceedings of the Principles of Digital Document Processing, 4th International Workshop, 1998
1997
1996
Int. J. Comput. Math., 1996
Int. J. Comput. Math., 1996
From data representation to data model: Meta-semantic issues in the evolution of SGML.
Comput. Stand. Interfaces, 1996
Proceedings of the Automata Implementation, 1996
Proceedings of the Principles of Document Processing, Third International Workshop, 1996
Proceedings of the Principles of Document Processing, Third International Workshop, 1996
Proceedings of the 8th Canadian Conference on Computational Geometry, 1996
Proceedings of the 8th Canadian Conference on Computational Geometry, 1996
Proceedings of the 8th Canadian Conference on Computational Geometry, 1996
1995
RAIRO Theor. Informatics Appl., 1995
Int. J. Comput. Math., 1995
Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Inf. Sci., 1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
Proceedings of the Results and Trends in Theoretical Computer Science, 1994
1993
Int. J. Found. Comput. Sci., 1993
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993
Dent and Staircase Visibility.
Proceedings of the 5th Canadian Conference on Computational Geometry, 1993
Generalized Kernels of Polygons with Holes.
Proceedings of the 5th Canadian Conference on Computational Geometry, 1993
Data structures, algorithms, and performance.
Addison-Wesley, ISBN: 978-0-201-52148-1, 1993
1992
A Generic Adaptive Sorting Algorithm.
Comput. J., 1992
1991
Proceedings of the Advances in Computing and Information, 1991
Proceedings of the Advances in Computing and Information, 1991
Proceedings of the Advances in Computing and Information, 1991
Proceedings of the Computational Geometry, 1991
Proceedings of the New Results and New Trends in Computer Science, 1991
1990
Proceedings of the SWAT 90, 1990
Proceedings of the STACS 90, 1990
1989
On Binary Trees.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Drawing Trees Nicely with TeX.
Electron. Publ., 1988
Proceedings of the STACS 88, 1988
Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988
1987
Inf. Process. Lett., 1987
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987
Proceedings of the Third Annual Symposium on Computational Geometry, 1987
Theory of computation.
Wiley, ISBN: 978-0-471-60351-1, 1987
1986
Proceedings of the Second Annual ACM SIGACT/SIGGRAPH Symposium on Computational Geometry, 1986
1985
Weight-balanced trees are not stratified.
Bull. EATCS, 1985
Comput. Vis. Graph. Image Process., 1985
Acta Informatica, 1985
Proceedings of the First Annual Symposium on Computational Geometry, 1985
1984
J. Algorithms, 1984
Computing the Connected Components of Simple Rectilinear Geometrical Objects in D-Space.
RAIRO Theor. Informatics Appl., 1984
1983
J. Comput. Syst. Sci., 1983
Comput. Vis. Graph. Image Process., 1983
1982
J. Algorithms, 1982
Int. J. Parallel Program., 1982
Inf. Control., 1982
Self-regulating L Systems.
J. Inf. Process. Cybern., 1982
An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982
1981
Inf. Control., April, 1981
Inf. Control., January, 1981
RAIRO Theor. Informatics Appl., 1981
Discret. Appl. Math., 1981
Computing, 1981
A Realistic Cost Measure for Binary Search Trees.
Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science (WG '81), 1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
1980
IEEE Trans. Computers, 1980
Inf. Sci., 1980
Proceedings of the Graphtheoretic Concepts in Computer Science, 1980
Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, 1980
Proceedings of the International Symposium on Programming, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Lecture Notes in Computer Science 91, Springer, ISBN: 3-540-10233-7, 1980
1979
Inf. Control., October, 1979
Proceedings of the Theoretical Computer Science, 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
1978
1977
1976
Theor. Comput. Sci., 1976
1975
Math. Syst. Theory, 1975
Int. J. Parallel Program., 1975
Szilard Languages of L-Systems.
Proceedings of the Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31, 1975
1974
1973
J. Comput. Syst. Sci., 1973
1972
1971
1970
1969