Complexity of answering queries using materialized views, In Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM-Press. 1998. 254–263.
 Foundations of Databases. Addison-Wesley. 1995.
 Ancestral Maximum Likelihood of Phylogenetic Trees is Hard. Lecture Notes in Bioinformatics. 2003. 202–215.
 Broadband Traffic Modeling: Simple Solutions to Hard Problems. IEEE Communications Magazine. 1998. 88–95.
 The theory of joins in relational databases. ACM Transactions on Database Systems. 1979. 297–314.
 Network Flows: Theory, Algorithms, and Applications. Prentice Hall. 1993.
 Dynamic programming algorithms for RNA secondary prediction with pseudoknots. Discrete Applied Mathematics. 2000. 45–62.
 Multiple sequence alignment with arbitrary gap costs: Computing an optimal solution using polyhedral combinatorics. Bioinformatics. 2002. S4–S16.
 13 Jahre 3-Hirn. Published by the author . 1998.
 Improved game play by multiple computer hints. Theoretical Computer Science. 2004. 315–324.
 List-3-Hirn vs. Grandmaster Yussupov – report on a very experimental match. ICCA Journal. 1998. 52–60 and 131–134.
 Generating True Alternatives with a Penalty Method. http://www.minet.uni-jena.de/Math-Net/reports/shadows/02-04report.html . 2002.
 Five visualisations of the -best mode. ICCA Journal. 2003. 182–189.
 Validity of the single-processor approach to achieving large-scale computer capabilities, In AFIPS Conference Proceedings. 1967. 483–485.
 Stochastic theory of a data handling system with multiple sources. The Bell System Technical Journal. 1982. 1871–1894.
 A normal form for XML documents, In Proceedings of the 21st Symposium on Principles of Database Systems. 2002. 85–96.
 On economic construction of the transitive closure of a directed graph. Doklady Academii Nauk SSSR. 1970. 487–488.
 Dependency structures of database relationships, In Proceedings of IFIP Congress. North Holland. 1974. 580–583.
 Eight open problems in distributed computing. Bulletin of European Association of Theoretical Computer Science of EATCS . 2006. 109–126.
 The performance of the neighbor-joining method of phylogeny reconstruction. Algorithmica . 1999. 251–278.
 Bounds on the time to reach agreement in the presence of timing uncertainty. Journal of the ACM . 1994. 122–142.
 Distributed Computing, Fundamentals, Simulations and Advanced Topics. McGraw-Hill. 1998.
 Complexity of network synchronization. Journal of the ACM . 1985. 804–823.
 Sorting by weighted reversals, transpositions and inverted transpsitions. Lecture Notes in Bioinformatics. 2006. 563–577.
 A tight asymptotic bound for next-fit decreasing bin-packing. SIAM Journal on Algebraic and Discrete Methods. 1981. 147–152.
 Interactive evolution, In T. Back, D. B. Fogel, Z. Michalewicz, T. Baeck (Eds.) Handbook of Evolutionary Computation. IOP Press. 1997.
 On the membership problem for functional and multivalued dependencies in relational databases. ACM Transactions on Database Systems. 1980. 241–259.
 Computational problems related to the design of normal form relational schemas. ACM Transactions on Database Systems. 1979. 30–59.
 On the structure of Armstrong relations for functional dependencies. Journal of ACM . 1984. 30–46.
 A complete axiomatization for functional and multivalued dependencies, In ACM SIGMOD Symposium on the Management of Data. 1977. 47–61.
 Empirical and structural models for insertions and deletions in the divergent evolution of proteins. Journal of Molecular Biology. 1993. 1065–1082.
 Statistics for Long-Memory Processes, Monographs on Statistics and Applied Probability. Chapman & Hall. 1986.
 Long-range dependence in variable-bit-rate video traffic. IEEE Transactions on Communications . 1995. 1566–1579.
 alternatives instead of shortest path. Master's thesis, Friedrich Schiller University, Jena, Faculty of Mathematics and Informatics. 2000.
 Cloture votes: $n/4$-resilient distributed consensus in $t+1$ rounds. Mathematical Systems Theory. 1993. 3–19.
 Contribution to the theory of data base relations. Discrete Mathematics. 1979. 1–10.
 An anomaly in space-time characteristics of certain programs running in paging machine. Communications of the ACM . 1969. 349–353.
 A generalization of algebraic surface drawing. ACM Transactions on Graphics . 1982. 135–256.
 Introduction to Implicit Surfaces. Morgan Kaufmann Publishers. 1997.
 Linear approximation of shortest superstrings, In Proceedings of the 23rd ACM Symposium on Theory of Computing. 1991. 328–336.
 The Parallel Evaluation of General Arithmetic Expressions. Journal of the ACM . 1974. 201–206.
 Algorithm for Computer Control of a Digital Plotter. IBM Systems Journal. 1965. 25–30.
 Semistructured data, In Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM-Press. 1997. 117–121.
 UnQL: a query language and algebra for semistructured data based on structural recursion. The International Journal on Very Large Data Bases . 2000. 76–110.
 A formal model for message passing systems. Technical reports91, Indiana University. 1980.
 Bounds on shared memory for mutual exclusion. Information and Computation. 1993. 171–184.
 Answering regular path queries using views, In Proceedings of the Sixteenth International Conference on Data Engineering. 2000. 190–200.
 Formulations and complexity of multiple sorting by reversals, In RECOMB-99. ACM-Press. 1999. 84–93.
 Sorting Permutations by Reversals and Eulerian Cycle Decompositions. SIAM Journal on Discrete Mathematics. 1999. 91–110.
 The multiple sequence alignment problem in biology. SIAM Journal on Applied Mathematics. 1988. 1073–1082.
 Parallel Algorithms. Chapman & Hall. 2009.
 Recursively generated B-spline surfaces on arbitrary topological meshes. Computer-Aided Design . 1978. 350–355.
 Parallel Programming in OpenMP. Morgan Kaufmann Publishers. 2000.
 Optimizing queries with materialized views, In Proceedings of the Eleventh International Conference on Data Engineering. 1995. 190–200.
 Triangulating a Simple Polygon in Linear Time. Discrete and Computational Geometry . 1991. 353–363.
 An adaptive structural summary for graph-structured data, In Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data. 2003. 134–144.
 Maximum likelihood of evolutionary trees: hardness and approximation. Bioinformatics. 2005. i97–i106.
 Sorting permutations by block-interchanges. Information Processing Letters. 1996. 165–169.
 A relational model of large shared data banks. Communications of the ACM . 1970. 377–387.
 Further normalization of the data base relational model, In R. Rustin Courant Computer Science Symposium 6: Data Base Systems. Prentice Hall. 1972. 33–64.
 Normalized database structure: A brief tutorial, In ACM SIGFIDET Workshop on Data Description, Access and Control. 1971. 24–30.
 Recent investigations in relational data base systems, In Information Processing 74. North-Holland . 1974. 1017–1021.
 Relational completeness of database sublanguages, In R. Rustin(Ed.) Courant Computer Science Symposium 6: Data Base Systems. Prentice Hall. 1972. 65–98.
 Computer and Job Shop Scheduling. John Wiley & Sons. 1976.
 An efficient algorithm for graph isomorphism. Journal of the ACM . 1970. 51–64.
 Multiple sequence alignment with hierarchical clustering. Nucleic Acids Research. 1988. 10881–10890.
 Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes. IEEE/ACM Transactions on Networking . 1997. 835–846.
 LogP: A practical model of parallel computation. Communication of the ACM . 1996. 78–85.
 Scheduling and Automatic Parallelization. Birkhuser Boston. 2000.
 A model of evolutionary change in proteins. Atlas of Protein Sequence and Structure. 1978. 345–352.
 Computational Geometry: Algorithms and Applications. Springer-Verlag. 2000.
 Normalization and hierarchical dependencies in the relational data model. ACM Transactions on Database Systems. 1978. 201–222.
 Minimal Representations of Branching Dependencies. Discrete Applied Mathematics. 1992. 139–153.
 Minimal Representations of Branching Dependencies. Acta Scientiarum Mathematicorum (Szeged). 1995. 213–223.
 Design type problems motivated by database theory. Journal of Statistical Planning and Inference. 1998. 149–164.
 Virtual memory. Computing Surveys . 1970. 153–189.
 Physical data independence, constraints and optimization with universal plans, In Proceedings of VLDB'99. 1999. 459–470.
 Authenticated algorithms for Byzantine agreement. SIAM Journal on Computing. 1983. 656–666.
 Large deviation and overflow probabilities for the general single-server queue, with applications. Mathematical Proceedings of the Cambridge Philosophical Society. 1995. 363–374.
 Statistical analysis of CCSN/SS7 traffic data from working CCS subnetworks. IEEE Journal on Selected Areas Communications. 1994. 544–551.
 Answering recursive queries using views, In Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM-Press. 1997. 109–116.
 Query planning in infomaster, In Proceedings of ACM Symposium on Applied Computing. ACM-Press. 1997. 109–111.
 A butterfly subdivision scheme for surface interpolation with tension control. ACM Transactions on Graphics . 1990. 160–169.
 A 1.375 approximation algorithm for sorting by transpositions. Lecture Notes in Bioinformatics. 2005. 204–215.
 Local quartet splits of a binary tree infer all quartet splits via one dyadic inference rule. Computers and Artificial Intelligence. 1997. 217–227.
 Experimental queueing analysis with long-range dependent packet-traffic. IEEE/ACM Transactions on Networking . 1996. 209–223.
 Armstrong databases, In Proceedings of IBM Symposium on Mathematical Foundations of Computer Science. 1982. 24 pages.
 Horn clauses and database dependencies. Journal of ACM . 1982. 952–985.
 Multivalued dependencies and a new normal form for relational databases. ACM Transactions on Database Systems. 1977. 262–278.
 Evolutionary trees from DNA sequences: a maximum likelihood approach. Journal of Molecular Evolution . 1981. 368–376.
 Progressive sequence alignment as a prerequisite to correct phylogenetic trees. Journal of Molecular Evolution . 1987. 351–360.
 Fast optimal alignment. Nucleid Acids Research . 1984. 175–180.
 Impossibility of distributed consensus with one faulty proces. Journal of the ACM . 1985. 374–382.
 Toward defining the course of evolution: minimum change for a specified tree topology. Systematic Zoology . 1971. 406–416.
 Answering queries using OQL view expressions, In Workshop on Materialized views, in cooperation with ACM SIGMOD. 1996. 627–638.
 Very high-speed computer systems. Proceedings of the IEEE . 1966. 1901–1909.
 Computer Graphics: Principles and Practice. Addison-Wesley. 1990.
 Bélády's anomaly is unbounded In E. Kovács, Z. Winkler (Eds.) 5th International Conference on Applied Informatics. Molnár és társa. 2002. 65–72.
 Parallelism in Random Access Machines, In Proceedings of the Tenth Annual ACM Symposium on Theory of Computing. 1978. 114–118.
 The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufman Publisher. 2004 (2nd edition).
 The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Available at www.globus.org/research/papers/ogsa.pdf . 2002.
 The Steiner problem in phylogeny is NP-complete. Advances in Applied Mathematics. 1982. 43–49.
 Efficient execution of information gathering plans, In Proceedings International Joint Conference on Artificial Intelligence. 1997. 785–791.
 On Visible Surface Generation by A Priory Tree Structures, Computer Graphics (SIGGRAPH '80 Proceedings). 1980. 124–133.
 ARTS: Accelerated Ray-Tracing System. IEEE Computer Graphics and Applications. 1986. 16–26.
 Multicriteria Decision Making. Kluwer Academic Publisher. 1999.
 Speeding up dynamic programming with applications to molecular biology. Theoretical Computer Science. 1989. 107–118.
 On finding minimal length superstrings. Journal of Computer and System Sciences. 1980. 50–58.
 Proofs that yield nothing but their validity or all languages in NP. Journal of the ACM. 1991. 691–729.
 Elections in a distributed computing systems. IEEE Transactions on Computers. 1982. 47–59.
 Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman . 1979.
 Bounds for sorting by prefix reversals. Discrete Mathematics. 1979. 47–57.
 Compatible sequences and a slow Winkler percolation. Combinatorics Probability and Computing. 2004. 815–856.
 Algebraic Theory of Automata. Akadémiai Kiadó. 1972.
 Can a shared-memory model serve as a bridging model for parallel computation. Theory of Computing Systems. 1999. 327–359.
 An Introduction to Ray Tracing. Academic Press. 1989.
 Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley. 1989.
 Using evolutionary trees in protein secondary structure prediction and other comparative sequence analyses. Journal of Molecular Biology. 1996. 196–208.
 Optimizing queries using materialized views: a practical, scalable solution, In Optimizing queries using materialized views: a practical, scalable solution. 2001. 331–342.
 An improved algorithm for matching biological sequences. Journal of Molecular Biology. 1982. 705–708.
 The complexity of XPath query evaluation, In Proceedings of the 22nd Symposium on Principles of Database Systems. 2003. 179–190.
 Introduction to Parallel Computing. Addison-Wesley. 2003 (2nd edition).
 Inferences for numerical dependencies. Theoretical Computer Science. 1985. 271–287.
 Normalization and axiomatization for numerical dependencies. Information and Control. 1985. 1–17.
 MPI: The Complete Reference, Scientific and Engineering Computation Series. The MIT Press. 1998.
 A 2-Approximation Algorithm for Genome Rearrangements by Reversals and Transpositions. Theoretical Computer Science. 1999. 327–339.
 A measurement study of diskless workstation traffic on an Ethernet. IEEE Transactions on Communications . 1990. 1557–1568.
 Algorithms on Strings, Trees and Sequences. Cambridge University Press. 1997.
 Efficient methods for multiple sequence alignment with guaranteed error bounds. Bulletin of Mathematical Biology. 1993. 141–154.
 Reevaluating Amdahl's law. Communications of ACM . 1988. 532–535.
 Simulation of the Harmful Consequences of Self-Similar Network Traffic. The Journal of Computer Information Systems. 2002. 94–111.
 Extension of multiprotocol label switching for long-range dependent traffic: QoS routing and performance in IP networks. Computer Standards and Interfaces. 2005. 117–132.
 Answering queries using views: A survey. The VLDB Journal. 2001. 270–294.
 Logic based techniques in data integration, In J. Minker Logic-based Artificial Intelligence. Kluwer Academic Publishers. 2000. 575–595.
 Answering queries using views, In Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM-Press. 1995. 95–104.
 Querying heterogeneous information sources using source descriptions, In Proceedings of Very Large Data Bases. 1996. 251–262.
 Polynomial-time algorithm for computing translocation distance between genomes. Discrete Applied Mathematics. 1996. 137–151.
 Multiresolution indexing of XML for frequent queries, In Proceedings of the 20th International Conference on Data Engineering. 2004. 683–694.
 A Markov modulated characterization of packetized voice and data traffic and related statistical multiplexer performance. IEEE Journal on Selected Areas in Communication. 1986. 856–868.
 Algorithmic Enhancements and Experiments at High Search Depths. Algorithmic Enhancements and Experiments at High Search Depths. 2000.
 Computing simulations on finite and infinite graphs, In Proceedings of the 36th Annual Symposium on Foundations of Computer Science. IEEE Computer Society Press. 1995. 453–462.
 The Use of Projective Geometry in Computer Graphics. Springer-Verlag. 1991.
 Principia Cybernetica Project. http://pespmc1.vub.ac.be/HEYL.html . 2004.
 A linear space algorithm for computing maximal common subsequences. Communications of the ACM . 1975. 341–343.
 Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. 2001. (2nd edition).
 Local similarity in RNA secondary structure, In Proceedings of IEEE Bioinformatics Conference 2003. 2003. 159–168.
 Hidden Markov models for sequence analysis: Extension and analysis of the basic method. CABIOS. 1996. 95–107.
 A fast algorithm for computing longest common subsequences. Communications of the ACM . 1977. 350–353.
 Scalable Parallel Computing. McGraw-Hill . 1998.
 http://wwww.interoute.com/glossary.html . 2004.
 Density of safe matrices. Acta Universitatis Sapientiae . 2009. 121–142.
 Párhuzamos algoritmusok (Parallel Algorithms). ELTE Eötvös Kiadó. 2003.
 Performance bounds for simple bin packing algorithms. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computarorica . 1984. 77–82.
 Elements of Theoretical Programming (in Russian). Moscow State University. 1985.
 Packet trains: Measurements and a new model for computer network traffic. IEEE Journal on Selected Areas in Communication. 1986. 986–995.
 The complexity of finding minimum-length generator sequences. Theoretical Computer Science. 1986. 265–289.
 3D Collision Detection: A Survey. Computers and Graphics . 2001. 269–285.
 Worst-case performance-bounds for simple one-dimensional bin packing algorithms. SIAM Journal on Computing. 1974. 299–325.
 Consultant's Guide to COMNET III. CACI Product Company. 1997.
 Information and Coding Theory. Springer-Verlag. 2000.
 Compiler algorithms for optimizing locality and parallelism on shared and distributed-memory machines. Journal of Parallel and Distributed Computing. 2000. 924–965.
 A First Course in Stochastic Processes. Academic Press. 1975.
 The organization of computations for uniform recurrence equations. Journal of the ACM . 1967. 563–590.
 Covering indexes for branching path queries, In Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data. 2002. 133–144.
 Exploiting local similarity for indexing paths in graph-structured data, In Proceedings of the 18th International Conference on Data Engineering. 2002. 129–140.
 On the integration of structure indexes and inverted lists, In Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data. 2004. 779–790.
 A polyhedral approach to sequence alignment problems. Discrete Applied Mathematics. 2000. 143–186.
 Optimizing Compilers for Modern Architectures. Morgan Kaufman Publishers. 2001.
 Encyclopedia of Information Science and Technology, Vol. 1, Vol. 2, Vol. 3, Vol. 4, Vol. 5. Idea Group Inc.. 2005.
 Programming with Threads. Prentice Hall. 1996.
 Queueing Systems. John Wiley & Sons. 1975.
 Pfold: RNA secondary structure prediction using stochastic context-free grammars. Nucleic Acids Researchs. 2003. 3423–3428.
 RNA secondary structure prediction using stochastic context free grammars and evolutionary history. Bioinformatics. 1999. 446–454.
 Fast pattern matching in strings. SIAM Journal on Computing. 1977. 323–350.
 The High Performance Fortran Handbook. The MIT Press. 1994.
 Notes on the Mathematics of the PHIGS Output Pipeline. Computer Graphics Forum. 1989. 219–226.
 Distributed Computing. Cambridge University Press. 2008.
 Systolic arrays (for VLSI), In I. S. Duff, G. W. Stewart (Eds.) Sparse Matrix Proceedings. SIAM . 1978. 256–282.
 Planning to gather information, In Proceedings of AAAI 13th National Conference on Artificial Intelligence. 1996. 32–39.
 Anomalies in parallel branch and bound algorithms. Communications of ACM . 1984. 594–602.
 Optimizing recursive information gathering plans, In Proceedings of 16th International Joint Conference on Artificial Intelligence. 1999. 1204–1211.
 Stochastic Processes. Springer-Verlag. 1972.
 A new solution of Dijkstra's concurrent programming problem. Communications of the ACM. 1974. 453–455.
 The Byzantine generals problem. ACM Transactions on Programming Languages and Systems. 1982. 382–401.
 Integer programming models for computational biology problems. Journal of Computer Science and Technology. 2004. 60–77.
 Eficient string matching with mismatches. Theoretical Computer Science. 1986. 239–249.
 Simulation Modeling and Analysis. 3rd edition, McGraw-Hill Higher Education. 1976.
 Introduction to Parallel Algorithms and Architectures: Arrays-Trees-Hypercubes. Morgan Kaufman Publishers. 1992.
 Introduction to Parallel Algorithms and Architectures: Algorithms and VSLI. Morgan Kaufman Publishers. 2001.
 On the self-similar nature of Ethernet traffic. Computer Communication Reviews. 1993. 183–193.
 Parallel and Distributed Computing, Wiley Series on Parallel and Distributed Computing. John Wiley & Sons. 2001.
 Multithreaded Programming with Phtreads. Prentice Hall. 1998.
 Architectural and Technological Issues for Future Optical Internet Networks. IEEE Communications Magazine. 2000. 82–92.
 Bayesian phylogenetic inference under a statistical indel model. Lecture Notes in Bioinformatics. 2003. 228–244.
 An efficient algorithm for statistical multiple alignment on arbitrary phylogenetic trees. Journal of Computational Biology . 2003. 869–889.
 Distributed Algorithms. Morgan Kaufman Publisher. 2001 (5th edition).
 On describing the behavior and implementation of distributed systems. Theoretical Computer Science. 1981. 17–43.
 RNA Pseudoknot Prediction in Energy Based Models. Journal of Computational Biology . 2000. 409–428.
 Fast evaluation of internal loops in RNA secondary structure prediction. Bioinformatics. 1999. 440–445.
 Minimum covers in the relational database model. Journal of the ACM . 1980. 664–674.
 Testing implications of data dependencies. ACM Transactions on Database Systems. 1979. 455–469.
 The Fractal Geometry of Nature. W. H. Freeman . 1982.
 Fractional Brownian Motions, Fractional Noises and Applications. SIAM Review. 1968. 422–437.
 Evaluation Techniques for Storage Hierarchies. IBM Systems Journal. 1970. 78–117.
 General Homogenous Coordinates in Space of Three Dimensions. Cambridge University Press. 1951.
 Methods of Plane Projective Geometry Based on the Use of General Homogenous Coordinates. Cambridge . 1946.
 Sniffer Technologies. http://www.nai.com/us/index.asp . 2004.
 The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers. 1990. 1105–1119.
 An overview of TES processes and modeling methodology, Lecture Notes in Computer Science, In L. Donatiello and A. R. Nelson (Eds.) Models and Techniques for Performance Evaluation of Computer and Communications Systems. Springer-Verlag. 1993. 359–393.
 Comparative ab initio prediction of gene structures using pair HMMs. Bioinformatics. 2002. 1309–1318.
 Gene structure conservation aids similarity based gene prediction. Nucleic Acids Research. 2004. 776–783.
 Estimation of the page fault number in paged memory (in Russian). Kibernetika (Kiev). 1965. 18–20.
 Sequence comparison with concave weighting functions. Bulletin of Mathematical Biology. 1988. 97–120.
 Bottlenecks on the way towards characterization of network traffic: Estimation and interpretation of the Hurst parameter. http://hsnlab.ttt.bme.hu/~molnar (Conference papers). 1997.
 DIALIGN 2: improvement of the segment-to-segment approach to multiple sequence alignment. Bioinformatics . 1999. 211–218.
 Multiple DNA and protein sequence alignment based on segment-to-segment comparison. Proc. Natl. Academy Science. 1996. 12098–12103.
 DIALIGN: Finding local similarities by multiple sequence alignment. Bioinformatics . 1998. 290–294.
 A general method applicable to the search for similarities in the amino acid sequence of two proteins. Journal of Molecular Biology. 1970. 443–453.
 A versatile Markovian point process. Journal of Applied Probability . 1979. 764–779.
 Structured Stochastic Matrices of M/G/1 Type and Their Applications. Marcel Dekker . 1989.
 A New Approach to the Shaded Picture Problem, In Proceedings of the ACM National Conference. 1972. 443–450.
 Algorithms for loop matching. SIAM Journal of Applied Mathematics. 1978. 68–82.
 http://www.openmp.org . 2007.
 OPNET Modeler Documentation. www.opnet.com . 2007.
 An axiomatic proof technique for parallel programs I.. Acta Informatica . 1976. 319–340.
 Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems. 1982. 455–495.
 Algebraic Statistics for Computational Biology. Cambridge University Press. 2005.
 Molecular Evolution: a Phylogenetic Approach. Blackwell . 1998.
 Three partition refinement algorithms. SIAM Journal on Computing. 1987. 973–989.
 The end of simple traffic models. IEEE Network . 1993.
 Wide-area traffic: The failure of Poisson modeling. IEEE/ACM Transactions on Networking . 1995. 226–244.
 Reaching agreement in the presence of faults. Journal of the ACM . 1980. 228–234.
 Gene finding with a hidden Markov model of genome structure and evolution. Bioinformatics. 2003. 219–227.
 Economical solutions for the critical section problem in distributed Systems, In Proceedings of the 9th ACM Symposium on Theory of Computing. IEEE Computer Society Press. 1977. 91–97.
 Finite axiomatization of languages for representation of system properties. Information Sciences. 1989. 339–372.
 Bioinformatics Algorithms. The MIT Press. 2004.
 In Search of Clusters. Prentice Hall. 1998 (2nd edition).
 Further thoughts on the syntenic distance between genomes. Algorithmica . 2002. 157–180.
 Statistical synopses for graph-structured XML databases, In Proceedings of the 2002 ACM SIGMOD international Conference on Management of Data. 2002. 358–369.
 MinCon: A scalable algorithm for answering queries using views. The VLDB Journal. 2001. 182–198.
 A scalable algorithm for answering queries using views, In Proceedings of Very Large Data Bases'00. 2000. 484–495.
 Computational Geometry: An Introduction. Springer-Verlag. 1985.
 A Fast Algorithm for Joint Reconstruction of Ancestral Amino Acid Sequences. Molecular Biology and Evolution. 2000. 890–896.
 Automatic synthesis of systolic arrays from uniform recurrent equations. Proceedings of the 11th Annual International Symposium on Computer Architecture . 1984. 208–214.
 Regular iterative algorithms and their implementations on processor arrays. Doktori értekezés, Stanford University. 1985.
 Approximation algorithms for multiple sequence alignment under a fixed evolutionary tree. Discrete Applied Mathematics. 1998. 355–366.
 The shortest common supersequence problem over binary alphabet is NP-complete. Theoretical Computer Science. 1981. 187–198.
 Recommender Systems. Communications of the ACM . 1997. 56–58.
 A dynamic programming algorithm for RNA structure prediction including pseudoknots. Journal of Molecular Biology. 1999. 2053–2068.
 A Short Proof that Phylogenetic Tree Reconstruction by Maximum Likelihood Is Hard. EEE Transactions on Computational Biology and Bioinformatics. 2006. 92–94.
 Mathematical Elements for Computer Graphics. McGraw-Hill Book Co.. 1989.
 Parallel Processing and Parallel Algorithms. Springer-Verlag. 1999.
 Simulation. Academic Press. 2006.
 Generalized Dependencies in Relational Databases. Acta Cybernetica . 1998. 431–438.
 On the Generation of Alternative Solutions for Discrete Optimization Problems with Uncertain Data – An Experimental Analysis of the Penalty Method. http://www.minet.uni-jena.de/Math-Net/reports/shadows/04-01report.html . 2004.
 Minimal mutation trees of sequences. SIAM Journal of Applied Mathematics. 1975. 35–42.
 Integral Geometry and Geometric Probability. Addison-Wesley. 1976.
 Design and Analysis of Distributed Algorithms. John Wiley & Sons, New York. 2006.
 Distributed network protocols. IEEE Transactions on Information Theory. 1983. 23–35.
 A Simple and Fast Incremental Randomized Algorithm for Computing Trapezoidal Decompositions and for Triangulating Polygons. Computational Geometry: Theory and Applications. 1991. 51–64.
 On the theory and computation of evolutionary distances. SIAM Journal of Applied Mathematics. 1974. 787–793.
 Implementing Subdivision Surface Theory. Game Developer. 2000. 40–45.
 Protein structure alignment by incremental combinatorial extension (CE) of the optimal path. Protein Engineering. 1998. 739–747.
 Applied Operating System Concepts. John Wiley & Sons. 2000.
 Advanced Computer Architectures: a Design Space Approach. Addison-Wesley Publishing Company. 1998 (2nd edition).
 Identification of common molecular subsequences. Journal of Molecular Biology. 1981. 195–197.
 Speeding up dynamic programming algorithms for finding optimal lattice paths. SIAM Journal of Applied Mathematics. 1989. 1552–1566.
 Word problems requiring exponential time, In Proceedings of the 28th Annual ACM Symposium on Theory of Computing. ACM Press. 1973. 1–9.
 Reentrant Polygon Clipping. Communications of the ACM . 1974. 32–42.
 Worst-case versus average-case complexity of ray-shooting. Computing . 1998. 103–131.
 Computer Networks. Prentice Hall. 2004.
 Modern Operating Systems. Prentice Hall. 2001.
 Distributed Systems. Principles and Paradigms. Prentice Hall. 2002.
 Operating Systems. Design and Implementation. Prentice Hall. 1997.
 Estimators for long-range dependence: an empirical study. Fractals . 1995. 785–788.
 A greedy approximation algorithm for constructing shortest common superstrings. Theoretical Computer Science. 1988. 131–145.
 Control generation in the design of processor arrays. International Journal of VLSI and Signal Processing. 1991. 77–92.
 Introduction to Distributed Algorithms. Cambridge University Press. 2000 (2nd edition).
 Dependencies in Relational Databases. B. G. Teubner . 1991.
 CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, position-specific penalties and weight matrix choice. Nucleic Acids Research. 1994. 4673–4680.
 http://www.top500.org . 2007.
 Benoit 1.1. Trusoft Intl Inc.. 2007.
 The GMAP: a versatile tool for physical data independence. The VLDB Journal. 1996. 101–118.
 Tree adjoining grammars for RNA structure prediction. Theoretical Computer Science. 1999. 277–303.
 Principles of Database and Knowledge Base Systems. Vol. 1. Computer Science Press. 1989 (2nd edition).
 A bridging model for parallel computation. Communications of the ACM . 1990. 103–111.
 Reverse Engineering of Geometric Models - An Introduction. Computer-Aided Design . 1997. 255–269.
 A Web Odyssey: from Codd to XML, In Proceedings of the 20th Symposium on Principles of Database Systems. 2001. 1–5.
 On the complexity of multiple sequence alignment. Journal of Computational Biology. 1994. 337–348.
 Subdivision Methods for Geometric Design: A Constructive Approach. Morgan Kaufmann Publishers. 2001.
 http://pcp.wub.ac.be/ASC.html . 2007.
 Discussion of ''Heavy Tail Modeling and Teletraffic Data'' by S. R. Resnick. The Annals of Statistics . 1997. 1805–1869.
 Self-similarity through high-variability: statistical analysis of Ethernet LAN traffic at the source level. IEEE/ACM Transactions on Networking . 1997. 71–86.
 On traffic measurements that defy traffic models (and vice versa): self-similar traffic modeling for high-speed networks. Connections. 1994. 14–24.
 Dependent percolation and colliding random walks. Random Structures & Algorithms. 2000. 58–84.
 Data structure for soft objects. The Visual Computer. 1986. 227–234.
 An Sequence Comparison Algorithm. Information Processing Letters. 1990. 317–323.
 On cost-optimal merge of two intransitive sorted sequences. International Journal of Foundations of Computer Science. 2003. 99–106.
 Algorithms for materialized view design in data warehousing environment, In Proceedings of Very Large Data Bases'97. 1997. 136–145.
 Query transformation for PSJ-queries, In Proceedings of Very Large Data Bases'87. 1987. 245–254.
 Incremental maintenance of XML structural indexes, In Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data. 2004. 491–502.
 On the complexity of finding the set of candidate keys for a given set of functional dependencies, In Information Processing 74. North-Holland . 1974. 580–583.
 Answering complex SQL queries using automatic summary tables, In Proceedings of SIGMOD'00. 2000. 105–116.
 A Universal Trapezoidation Algorithms for Planar Polygons. Computers and Graphics . 1999. 353–363.
 A new normal form for the design of relational database schemata. ACM Transactions on Database Systems. 1982. 489–499.
 Entwurf systolischer Systeme: Abbildung regulärer Algorithmen auf synchrone Prozessorarrays. B. G. Teubner Verlagsgesellschaft. 1996.