This action might not be possible to undo. Are you sure you want to continue?
: : :
University of Amsterdam Algorithms and Complexity Dr. P. van Emde Boas
1. Full title
Algorithms and Complexity
2. General Information
The Algorithms and Complexity programme is carried out by the Theoretical Computer Science group at the Institute for Language Logic and Computation (ILLC, which has participating members from the Faculty of Science, the Faculty of Humanities and the Faculty of Social and Behavioral Sciences, all at the University of Amsterdam. The ILLC participates in the Dutch Graduate School in Logic (OzSL). Group leader: Dr P. van Emde Boas email@example.com
3. Programme Members
Professors (hoogleraren) Adriaans, prof. dr. P. Apt, prof. dr. K.R. Buhrman, prof. dr. H.M. van Emde Boas, dr. P. Vit´ anyi, prof. dr. ir. P.M.B. Associate professors (UHDs) Torenvliet, dr. L. Assistant professors (UDs) Janssen, dr. T.M.V. from 01-01-1998 until 01-01-2000 from 01-01-2001
Computational complexity, quantum computing, theory of information, descriptive complexity, learning theory, game models, distributed computing, communication complexity.
5. Research Input Academic Staff (wp)
Note: in the table below 0.8 fte is used for PhD students. fte wp1 AIOs other wp2 OIOs other wp3 AIOs other total 1996 2.4 1.2 0.8 0.0 0.8 0.0 5.2 1997 3.2 1.2 0.8 0.0 0.8 0.0 6 1998 3.0 1.28 0.8 0.0 0.8 0.0 5.88 1999 2.4 1.28 0.8 0.0 0.0 0.0 4.48 2000 2.0 1.2 0.0 0.0 0.0 0.0 3.2 2001 0.6 1.2 0.0 0.0 0.0 0.0 1.8 total 13.6 7.36 3.2 0.0 2.4 0.0 25.56
Main sources for contract research: NWO(-SION), EC, Min. RIVM. 1
2 0.0 0.0 0. e.0 0 wp3 0.0 0.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. Speciﬁc subjects are quantum information processing.54 Main Themes 8. computational learning (focusing at grammar induction.0 0. 2 .g.54 wp2 0. Machine learning. Research Output Research Output in Numbers PhD theses Refereed journal articles Refereed contributions to international conferences Academic publications Other refereed academic publications (including books and chapters) totals 1996 2 8 12 1997 1 2 12 1998 3 10 15 1999 1 10 14 2000 0 10 16 2001 2 11 6 total 9 51 75 1 23 7 22 1 29 4 24 2 28 3 22 18 151 7. computational complexity theory. network algorithms. cognitive psychology and planning and scheduling.0 0. Two lines of investigation A leading conception structuring the research at the University of Amsterdam is the view that informatics is a unifying paradigm between alpha.64 0. ¯ Complexity and the real world. Quantum computing. From this perspective the potential domains and application areas of research in complexity are numerous and range from fundamental issues in quantum computing to questions in biology. The study of Algorithms an complexity in the context of the manipulation of real world systems.0 1.0 0. Programme design The main themes of the project are algorithmic methods.5 0. human language and human cognition and object orientation. Currently research in our groups focuses on two domains: ¯ The study of Algorithms and Complexity in the context of alternative paradigms of computation. the minimum description length principle. Composition of Research Input of Academic Staff in 2001 fte professor (hgl.0 0.64 0. van Emde Boas 6.2 0.0 0. beta and gamma disciplines.0 0. e.2 0.5 0.0 1. P.0 0 total 0. descriptive complexity and its applications and computational game models.0 0.lec) associate professor (uhd) assistant professor (ud) other senior staff PhD students (AIO.g.2 0.OIO) other junior staff total wp1 0.0 0.0 0. cognition and AI). complexity analysis and programming methodology.
In distributed computations and network models problems like mutual search and naming conventions in networks are investigated. which states that any regularity in any give set of data can be used to compress these data. The results obtained by Buhrman. Complexity in the real world In this line of research various themes dealing with the application of complexity theory are combined. Examples are: planning. Modeling imperfect information of agents turns out to be the major bottleneck. The relevance for society of these two lines of research is clear. P. 3 . but also lead to increased understanding of quantum phenomena in nature. and other human cognitive capabilities.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. In the last years evidence has arisen that the proposed coherent quantum computers may be (and for some tasks are) intrinsically much faster than classical computing devices. the more compression. A speciﬁc example investigated involves learning context free grammars from positive examples. A central theme in Machine learning is the so-called ”Minimum Description Length Principle”. various games like checkers and chess. The work on programming methodology focused on the efforts of rendering declarative programming more efﬁcient and usable. This led to research on integrating logic programming with imperative programming and on various aspects of constraint programming. The more regularity. Aside from this potential for technological development these models are also of theoretical interest as they may lead to the solution of open problems in complexity theory. language learning. results One of the great challenges in the area of Quantum Computing is to present good examples of problems which are easier to solve by quantum computers than (as far as we know) by a standard computer. The second line of investigation is driven by a wish to gain a better understanding of the relation between theoretical results in complexity theory and the factual efﬁciency of various problem solving systems in the real world. It is a common observation in AI and cognitive psychology that human beings perform reasonably efﬁciently in problem domains with exponential (or worse) upper bounds for time and/or space complexity. de Wolf and others on lower bound techniques and communication complexity provide both new examples answering this challenge and new insights in the way quantum computing can improve over standard computing. Research in Complexity Theory focuses on reductions and completeness notions. The recent ﬁeld of computational game models aims at bridging the conceptual gap between the anthropomorphic conceptions invoked in agent theory in AI and Object technology on the one side and traditional computational models on the other side. Quantum Coherent Computation Quantum coherent computation is a new ﬁeld of research that has attracted an increasing number of computer scientists and physicists over the last 10 years. van Emde Boas The motivation of the ﬁrst line of research lies in a fundamental rethinking of the foundations of computation in the light of the results of modern physics together with the promise of more efﬁcient algorithms for some important classes of problems. A main theme in the study of algorithms is Kolmogorov Complexity. An understanding of the search bias that make these tasks feasible is of the utmost importance. At the start of the period covered by this six year’s report two examples of such problems were known: Shor’s factorization algorithm and the sub-linear search algorithm invented by Grover. scheduling.
and the analysis of imperfect information. Several important results in this area were obtained during the past six years. Machine learning algorithms are key in developing the truly intelligent agents which are currently being used in contemporary information processing and decision support systems in business and government. compositionality has remained a prime source of inspiration. Programme development The research input has reached an all time low in 2001. through personal union. de Graaf was hired on the NWO project of Buhrman and Torenvliet “Extending feasible computation: Quantum Computing”.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. but also in the study of the structure and meaning of graphical representations. Work in programming methodology converged on the design of the hybrid language ALMA which combines ideas from logic programming with constraint programming. already mentioned. In distributed computing interesting results have been obtained on routing. In fact. and T. coordinated by Buhrman. will be continued in a next phase of three years. van Emde Boas and van Benthem obtained funds for their ENIGMA project. there are presently no plans of strengthening the participation of the UvA in this research area. Other investigations concern learning of grammars from corpus data in known and unknown natural languages. European quantum computing project. As algorithms and complexity are not central in the research effort of the ILLC. but also resource sensitive measure theory has become a useful ingredient. and communication in a network. Also the use of this technique in solving standard Mathematical problems (as exempliﬁed by the Heillbron triangle example) is a convincing example illustrating the power of this technique. automatic translation. The. van Emde Boas The idea of proving lower bound proofs for speciﬁc algorithmic problems using Kolmogorov Complexity based arguments has been used many times over the past 25 years. Lee was hired as a PhD student by UvA on the ongoing quantum computing project lead by Buhrman. among which the more prominent one is the analysis of the Shellsort algorithm. The reason for this is that this programme is strongly interwoven. In computational complexity a number of results have been obtained on separating complexity classes relative oracles. Societal/technological relevance The main societal impact of quantum computing is that its possible realization will destroy the computational intractability of most. The research output has certainly not. MDL and Bayesian Inference to the practical work on building an autopilot on a single handed sailing ship trained by the experience of previous voyages. 4 . P. which gave extra emphasis to this union. both in the study of natural and formal languages. with the programme INS 4 of the CWI. if not all cryptographical mechanisms and protocols on which the security of todays electronic information exchange in the world is based. In part these results invoke yet another use of Kolmogorov complexity. In 2001 Harry Buhrman was appointed full professor at the University of Amsterdam. 10. Models based on games provide the most promising representation for the interactive aspects of these agents. In September 2001 M. In the ﬁeld of learning theory our results range from the very theoretical work on the relations between Kolmogorov Complexity. 9. the majority of the PhD projects reported in this section were carried out at the CWI. In our research in areas related to semantics. which will start September 2002.
47(6):2443– 2463. the HPCN board.. Mosca. G´ acs. Comp. Quantum vs. He is also coordinator of the 5th framework project: Quantum Algorithms and Information Processing. At the same time it is required to obtain a better understanding of those aspects on computational problems which make these problems really intractable. L. Buhrman. 31th ACM Symp. D. Other Indicators for Quality. Mathematical Systems Theory/Mathematical Computing Theory. R. Vit´ anyi Algorithmic statistics. and L. Fundamenta Informaticae. 12. Buhrman. 63–69. he also served on 8 program committees and gave several invited lectures at inter´ nyi is editor of: Distributed Computing. 2001. R. and gave 15 invited keynote lectures at international conferences. Assoc. RAIRO. van Emde Boas Short of the arrival of quantum computers eventually all systems are realized on machines patterned after an architecture which has not changed essentially over the past decades. Th. Harry Buhrman is editor of Theory of Computing Systems. 1996. Theoretical Informatics. Journal of Logic Programming. in which 13 European and 4 North American sites participate.  H. John Tromp.  P. and R.  R. J. and Paul Vit´ anyi. Reputation and Innovative Potential Krzysztof Apt is editor of: Theory and Practice of Logic Programming.” Paul Vit´ anyi has served on 26 program committees of international conferences in the period 1996– 2001. Peter van Emde Boas is editor of RAIRO and Information and Computation. Cleve.M. He served on 5 program committees. Paul Vit a Letters. Harry Buhrman served on 11 program and steering committees of international conferences and gave 15 keynote lectures. Pieter Adriaansis senior research advisor for Perot Systems Corporation. He is also a Member of the Scientiﬁc Board “Encyclopedia of Mathematics. and has served on 14 program committees of international conferences in the period 1996–2001. H. He gave 9 invited lectures at international conferences in the period 1996-2001. He is also president of the association for Logic Programming and chairman and co-founder of the ERCIM Working Group on Constraints. Fortnow. Buhrman. 48(4):778–797. 43:723–746. Journal of New Generation Computer Systems. 2000. van Melkebeek. Key Publications  Ming Li. How to share concurrent wait-free variables. gave 4 invited lectures and obtained 3 IT related international patents in the period 1998-2001. J. SIAM Journal on Computing. classical communication and computation. Wiley/Teubner Series in Computer Science. Assoc.. 11. Information and Computation. Wigderson. notwithstanding the fact that so far according to Moore’s Law the speed and capacity of hardware keeps on increasing exponentially. Parallel Processing Letters. Comp. Mach. Efﬁcient algorithm design and analysis remain a must for solving the increasingly large problem instances submitted. J.. and P. de Wolf. 5 . P. Inform. Journal of Logic and Computation. M. ACM Transactions on Computational Logic. 1998. the CWI board. IEEE Trans. International Journal of Foundations of Computer Science. Information Processing national conferences. Mach. Separating complexity classes using autoreducibility. least we build no systems based on solving intractable sub-problems.  H. Journal of Computer and System Sciences (guest editor). He is a member of the Board of the International Federation for Computational Logic. Tromp. and Frontiers in Computing Systems Research. the ICT Forum and the committee for for Biomolecular Informatics.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. Quantum lower bounds by polynomials. Science of Computer Programming. 29(5):1497–1520. In Proc. on the Theory of Computing (STOC). and A. Torenvliet. Cleve. 2001. Beals. He is a member of the steering committee of the ICGI (International Conference on Grammar Induction).
University of Amsterdam.B.H.D.  B. 154 (2):367–377. Promotor: P. de Jongh. Apt. J. Torenvliet.M.R. Category 1. Category 1. John Tromp. P.  F.J. Vit´ anyi. University of Amsterdam. PhD thesis. Promotor: K. P-selective self-reducible sets: A new characterization of È . 28 2:147–180. bounded quantiﬁcation and iteration in logic and constraint logic programming.  Harry Buhrman and Leen Torenvliet.B.M. van Emde Boas 13. University of Amsterdam. Teusink Logic Programming and Non-monotonic Reasoning. Apt and R. September 1996..M. Promotor: P.  R. Ben-Eliyahu. and Paul Vit´ anyi. Category 1. Pedreschi. Promotores: H. Dastani Languages of Perception PhD thesis. University of Amsterdam. March 1998.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. 1996.F.  Ming Li. 1996. Vit´ anyi.J.B. de Haas Logics for OO Information Systems: A Semantic Study of Object Orientation from a Categorial-Substructural Perspective. PhD thesis. Synchronization and Fault Tolerance. PhD thesis.  Klaus Ambos-Spies. Funtamenta Informatica. 1996. Dissertations  J-H. PhD thesis. Ambos-Spies. Vit´ anyi. Cramer Modular Design of Secure Yet Practical Cryptographic Protocols. H. Journal of Logic Programming. P. University of Amsterdam. University of Amsterdam. Promotor: P. de Wolf Quantum Computing and Communication Complexity PhD thesis. 14.B.  E. Promotor: K. (168)1:3–19. 43:723–746.  K. November 1999. Meta-variables in logic programming.R.  S. september 2001. Co-promotores: D. May 2001. PhD thesis. Vit´ anyi  M. L. Buhrman. 1996. P. University of Amsterdam. Category 1. Category 1. Journal of Computer and System Sciences. 6 .  K. Category 1.M.M. A closer look at declarative interpretations.  Lane Hemaspaandra and Leen Torenvliet.R. Scha.M. Vit´ anyi. Terhal Quantum Algorithms and Quantum Entanglement. Adriaans. Apt.  P. Comp.M. and Bas Terwijn. Genericity and measure for exponential time. 1996. P. M. How to share concurrent wait-free variables. Scientiﬁc publications 1996 Articles  K. 1996. Apt. January 1997. University of Amsterdam. 1996. Promotor: P. Category 1. Category 1. PhD thesis. Gr¨ unwald The Minimum Description Length Principle and Reasoning under Uncertainty. van Emde Boas. Neis. University of Amsterdam. Theoretical Computer Science. Gabrielli and D. June 1996. Mach. Arrays.B. Theoretical Computer Science. October 1998.R. December 1998. 53(2):210–217. Hoepman Communication. or in praise of ambivalent syntax.A.-C. Science of Computer Programming. van Emde Boas. Promotores: R. 26 1–3:133–148.  R. Assoc. Promotores: P. Optimal advice. Category 1. Terwijn Computability and Measure PhD thesis. 28 1–2:23–26.
AID’96. In Proc.  Yuri Engelhardt. pages 38–70. 7th Int’nl Workshop on Algorithmic Learning Theory. editors. 15th ACM Symp. 1996. The visual grammar of information graphics.  Harry Buhrman and Luc Longpr´ e.  Ming Li and Paul Vit´ anyi. 1996. ISIS: Information. Actes de MCU/UMC’95 .University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr.  Harry Buhrman and Leen Torenvliet. Ideal MDL and its relation to bayesianism. volume 1046 of LNCS. 1996. Mass.  Theo M.Proceedings of MCU/UMC’95.  Harry Buhrman and Th. In EDBT proceedings. In Logic Collquium 96: European Summer Meeting of the Association for Symbolic Logic. Margenstern and J. on Principles of Distributed Computing. The complexity of generating and checking proofs of membership.B. pages –. Reversibility and adiabatic computation: trading time and space for energy. Australia. Institute for Logic Language and computation (ILLC). Proceedings of the 10th Amsterdam colloquium. volume II. pages 67–82. In Proc. the Netherlands. 1996. In Proc.  Paul Vit´ anyi. New York. LITP 96/31. P. 1996. Amsterdam. Heidelberg. Series A. 1996. Dekker and M. In 4th Workshop on Physics and Computation. University of Amsterdam. and Paul Vit´ anyi. 1996. Boncz. In Proc. In Proc.  Ming Li and Paul Vit´ anyi. 1996. pages –.  Peter van Emde Boas. and Remko Scha. pages 134–142. pages 769–789. Reasoning and Interaction in Design. Stokhof. 1996. Genetic ﬁtness optimization using rapidly mixing Markov chains. In M.. Melbourne.H. In Ron Book Memorial Volume. pages 1–11. The convenience of tiling. Kersten. Theo Janssen. and Martin L. Stanford. Reversible simulation of irreversible computation. Hoepman. Yunes. 1996. volume 1160 of Lecture Notes in Artiﬁcial Intelligence. Statistics and Induction in Science. Compressibility and resource bounded measure.  Ming Li and Paul Vit´ anyi. In proc Symposium on Theoretical Aspects of Computer Science (STACS). 7 . 1996. Optimal routing tables. Chapters  Ming Li and Paul Vit´ anyi. Janssen. Complete sets and structure in sub-recursive classes. Space-energy trade-off in reversible simulations. Royal Society of London. Wilko Quak. van Emde Boas  Ming Li and Paul Vit´ anyi. volume 452. In Proceedings Workshop on Visual Representation. Royal Society of London.V. pages 13–24. Is compositionality of meaning possible? In P.  Harry Buhrman. Boston. pages 407–424. Springer-Verlag. Average-case analysis using Kolmogorov complexity. pages 59–64. pages –. Thierauf. editors. Jos de Bruin. Springer. 1996. 1996. Springer. In proc Symposium on Theoretical Aspects of Computer Science (STACS). pages 301–306. J. pages 75–86. 1996. Springer-Verlag. Monet and its geographic extensions: a novel approach to high performance GIS processing. Proceedings  Peter A. 11th IEEE Conference on Computational Complexity (CCC). volume 1046 of LNCS.
Institute for Logic. Apt From Chaotic Iteration to Constraint Propagation. of the 11th Amsterdam colloquium. L. pages 1–16. Li and P. In Lecture Notes in Artiﬁcial Intelligence. Dekker. Springer-Verlag. Schaerf Search and Imperative Programming Proc. Berlijn. Fortnow.  T. Proceedings  K. Springer..A. Van Emde Boas. Seiferas. 9th European Conference on Machine Learning. pages 441–451. In Proc. Springer-Verlag. Buhrman. In Proceedings of the 14th Symposium on Theoretical Aspects of Computer Science (STACS). Torenvliet. A compositional semantics for the game-theoretical interpretation of logic. Kolmogorov random graphs and the incompressibility method.H. pages 105–116. Mach. 1997.. Cleve and H. Two heads are better than two tapes. New York.  K.  H.B. number 1279 in Lecture Notes in Computer Science. 8 . Heidelberg. 1997. 56(2):1201–1204. Resource-bounded Kolmogorov complexity revisited. Springer-Verlag. number 1279 in Lecture Notes in Computer Science.  H. In Proc. Li. and L. 1997.R. Resistance is futile: observations on the formal linguistic status of design patterns. Stephan and S. 1997. 1997. Heidelberg. Vit´ anyi. 1997. Venema P.  Ming Li and P. pages 2–12. volume 1228. and P.B. J. Fortnow. 1997. 1997. 1997. pages 67-79. de Wolf. and P. In J. and L. 11th Conference on Fundamentals of Computation Theory. number 1224 in Lecture Notes in Artiﬁcial Intelligence. In Proceedings 24th ICALP Lecture Notes in Computer Science.  H. Physical Review A. In Y. OOPSLA’97.  S. Vit´ anyi. Foundations of inductive logic programming. Heidelberg. of Philosophy.B.  T. Substituting quantum entanglement for communication complexity. Buhrman and L.M. Vit´ anyi. Stokhof. editor. Comp. Nienhuys-Cheng and R. 1997. pages 38–50. The complexity of universal text-learners.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. In Proceedings of the 12th IEEE Conference on Computational Complexity (CCC).C. Fortnow.  F.V. pages 188–194. Language and Information. Vit´ anyi.A. P. Buhrman.  M. Fenner.M.M. Terwijn. Proceedings 24th ICALP Lecture Notes in Computer Science. pages 14–30. Jiang. 1997. pages 181– 185. pages 237–256. 24th Annual SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL ’97). On prediction by data compression. IEEE Computer Society Press. M. Janssen. University of Amsterdam. Average-case analysis via incompressibility. Results on resource-bounded measure.  P. S. pages 2–12.R.  H. Proc. 1997. Springer. Assoc. 1997. IEEE. Springer-Verlag. In Proceedings of the 11-th International Symposium on Fundamentals of Computation Theory. Six hypotheses in search of a theorem. van Emde Boas 1997 Articles  R. Dept.M. In Proceedings of Conference on Compression and Complexity of Sequences. Buhrman. Buhrman. 1997. 1997. M. Apt and A.
Lecture Notes in Pure and Applied Mathematics. number 44 in 4. J. Amsterdam and The MIT Press.  M. Graduate Texts in Computer Science.  S.  M. P. Zurek. 5 1014–1066.  T. and T. Dordrecht.B. G´ acs. 1997. Li. Compositionality (with an appendix by B. From Logic Programming to Prolog. Torenvliet. J. Inc. In Advances in Algorithms. Olderog. editor. van Emde Boas The convenience of tilings. A. Inc. Sorbi. An introduction to kolmogorov complexity and its applications. correctness and algebraic compiler construction.. ter Meulen. Books  K.  K. Springer-Verlag.V. L. In A. 1997. and W. M. 1997.  H. Marcel Dekker. chapter 7.  M. 1998. Thierauf. Logic and Recursion Theory. Splittings. New York. In IEEE Trans. 1998. SIAM Journal on Computing.  H. Vit´ anyi. and L. Torenvliet. editor. 2:xx + 637 pages. pages 1407–1423. pages 417–473.B.M. Cambridge. Buhrman.  H. 199(1–2):25–56. Li. and L. Janssen. pages 331–362.M. Languages. Vit´ anyi. 1998. Brunekreef. Apt. In Physica D.R. Partington Alma-0: An Imperative Language that Supports Declarative Programming. 31(4):77–92. Kluwer Academic Publishers. van Benthem and A.R. New York. 2(3):637–653. robustness and the structure of complete sets. 1997. Fundamenta Informatica 34(3) 295–321. J. Veriﬁcation of Sequential and Concurrent Programs. Complexity. In ACM Toplas 20. Vit´ anyi. 1998. Functions computable with nonadaptive queries to NP.  K. number 120.R. Li and P. Lecture Notes in Pure and Applied Mathematics. 1998. In A. Complexity. P. Buhrman and L. editors. Tromp. Torenvliet. Lecture Notes in Logic 12. Elsevier.R. Sorbi. 1998. 1997. Prentice Hall. Buhrman.  C. 364 + xviii pages. Hoene. pages 168–176. 1997. 1997. 9 . SpringerVerlag. and Complexity. Reversible simulation of irreversible computation.Partee). Hemaspaandra.. Theoretical Computer Science.M. Kadin. Logic and Recursion Theory. A.M. van Emde Boas Chapters  T. Marcel Dekker.H. Apt A proof theoretic view of constraint programming.  P. Li and P.. Apt. Algebraic translations. Theory of Computing Systems. Janssen. Average-case analysis using Kolmogorov complexity.B.V. Apt and E. Information distance.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr.M. In J. P. Mass. Fischer. Witness-isomorphic reductions and local search. Handbook of logic and language. Vit´ anyi. Complete sets and structure in sub-recursive classes.Schaerf and V.-R. 12:45–78. Bennett. Information Theory. and P. 1998. 328 + xviii pages. 1998. pages 157–169. 1998 Articles  K. pages 207–223.
and T.  H. 1998. Torenvliet. In Proc. Wigderson. LNCS. and L. Metric indexing to improve distance joins. pages 481–489.M. Buhrman. Springer-Verlag. SpringerVerlag. Proceedings of the fourth annual conference of the Advanced School for Computing. 31th ACM Symp. 31th ACM Symp. Vit´ anyi. J. In Proc. pages 113–124. June 1998. van Melkbeek. Fortnow. Mosca.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr.  H.J Epema. Buhrman. Beigel. Fortnow. Buhrman. 9th ACM-SIAM Symposium on Discrete Algorithms. Buhrman and D. ter Haar. Proceedings  R.M.  H. Mutual search. Berlin. Sivakumar. In Distributed Computing.  R. van Dam. Springer. Li. and A. Buhrman.  H. editor. Tsigas. D. and A.M. Compiling Horn-clause rules in IBM’s Business System 12. D.A. pages 362–367. 1998. 13th IEEE Conference on Computational Complexity (CCC). 15th Symposium on Theoretical Aspects of Computer Science (STACS). pages 161–171. In Proc. P. COMPOS’97. Cleve. NP might not be as easy as detecting unique solutions. pages 170–181. 1998. classical communication and computation. Symposium . 1998. In Proc. Fortnow. Randomness is hard. M. Two queries. Torenvliet. M. 1998. Buhrman. Wolters. with an application. Mathematical Logic Quarterly. M. LNCS. pages 327–349. In Proc. on the Theory of Computing (STOC). number 1521 in Lecture Notes in Computer Science. Springer Verlag. Wolf. H. Buffalo NY. Quantum oracle interrogation: getting all information for almost half the price.V.  S. Cleve.  H. In Proc. 1998. 1998.H. editors. 15th Symposium on Theoretical Aspects of Computer Science (STACS). D.  Niels Nes. In Proc. Hard sets are hard to ﬁnd. 39th IEEE Symp. M. R. Janssen. In Branislav Rovan. K. Panconesi. 1998. Buhrman. van Melkebeek. Straus. 10 . Nonrelativizing separations. an early experiment in declarativeness. and P. of the 13th IEEE Conference on Computational Complexity (CCC). pages 68–88. F. Soc. 1998.B. In Proc. SOFSEM’98: Theory and Practice in Informatics.Langmaack. Buhrman.F. and P.  H. Press. H. 1998. and R. and Martin Kersten.  H.  H. Tromp. Randomized naming using waitfree shared variables. Arithmetical measure. In W-P de Roever. pages 352–361. quantum lower bounds by polynomials. pages 133–139. and M. IEEE Computer Society Press. 1998.  Ghica van Emde Boas & Peter van Emde Boas. 1997. Germany. 11. Regan. editors. Burhman and L. and P.H. Tonino. 1998. Thierauf. Buhrman and L. 13th IEEE Conference on Computational Complexity (CCC). Wilko Quak. Vit´ anyi. and A. J. In B. 44:277– 286.  W. In Proc. pages 249–260. 1998. L. A survey of compositional translations. Terwijn and L. In Proc. Bad Malente. pages 78–96. Vit´ anyi. 1998. van Emde Boas  A. Pnueli. Papatrintaﬁlou. on Foundations of Computer Science (FOCS). on the Theory of Computing (STOC) 63–69. J. pages 8–12. number 1536 in Lecture Notes in computer Science.M. A generalization of resource-bounded measure. 39th IEEE Symp. IEEE Comput. H.  T. de. on Foundations of Computer Science (FOCS). pages 13–19. Hoepman. Garay. Franklin. Beals. IEEE Conference on Compression and Complexity of SEQUENCES 1997. P. R. pages 203–209. 1998. Int. In Proc. Kolmogorov random graphs. Quantum vs.
J. Comp. 1999. Phys. Space-efﬁcient routing tables for almost all networks and the incompressibility method. J.A. August 1998. 1999. 1999 Articles  K.M. Vit´ anyi. Chinese Science Press. and A.W. de Wolf. Mach. J. A lower bound for quantum search of an ordered list. In Proceedings of 40th IEEE Symp. DiVincenzo and A. Fortnow. A. Grassl. Hoepman. Terhal. 60:881. Chuang. Zalka. Hoepman. Tromp. 1999.P.  B.L. 11 . Shor. 1999. In Paul Dekker. van Emde Boas  P. and J. Thapliyal. van Dam and L. I. and Kolmogorov complexity.  W.  H. Fortnow. D. H . 60(4):2737–2741.V. editor. Books  M. Minimum description length induction. Buhrman L. and B. Rev.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. Buhrman and L.  H. 46(2):517–536. SIAM Journal on Computing. Buhrman.B. Simulating quantum operations with mixed environments.H. Tapp. Physical Review A. Unextendible product bases and bound entanglement. 1999.A. P. (in Chinese). Sub-structural Logic. Journal of Modern Optics. Physical Review A. Proceedings of the 12th Amsterdam Colloquim. Vit´ anyi and M. 1999. In IEEE International Symposium on Information Theory. Mor. Description Complexity. on Foundations of Computer Science (FOCS). and P. Li. Smolin. 59(4):2635–2640. R. W.  H. Proceedings  Pieter Adriaans and Erik de Haas. a unifying framework for second generation data mining algorithms. J. and P. Terhal. D. DiVincenzo. 1999. and Ch. 1999. Vit´ anyi. pages 358–368. Bennett. Phys.  H. P. Two Queries.M. 1999.  C. Quantum communication using a non-local Zeno effect. special issue for the 13th IEEE Conference on Computational Complexity (CCC)  H. T. Apt The essence of constraint propagation Theoretical Computer Science 221(1-2):179– 210. Smolin. 70(5):205–209. M. Hardy.R. Vit´ anyi. R. J. One-sided Versus Two-sided Randomness. Garay. Buhrman. Franklin. Multiparty Quantum Communication Complexity. 1999. Buhrman.B. Terhal D. In Proceedings 16th Symposium on Theoretical Aspects of Computer Science (STACS).H.  H. Rev. 1999. M. Mutual Search. Assoc. Journal of Computer and System Sciences. Lett. Optimal Decompositions of Barely Separable States.P. van Dam.. Bayesianism. MIT. de Wolf. Cleve. 28(4):1414–1432. J. 1999.M.1999. Buhrman. Information Processing Letters.P.  H.  M. Bounds for small-error and zero-error quantum algorithms. DiVincenzo.M. P.. Li and P. 1998. Buhrman and R. 82.
In Proc. 12 . ICALP99. Li and P. pages 149–156. New applications of the incompressibility method. In James L. In Proc. The expected size of Heilbronn’s triangles. Springer-Verlag. pages 227–236. P. Cleve. In Proceedings of the 14th IEEE Conference on Computational Complexity (CCC).  Tao Jiang. and L. Decidability and undecidability of marked PCP. Halava. 2000 Articles  H. M. Buhrman. Steffen. Torenvliet. Proceedings. pp.) Springer Series in Artiﬁcial Intelligence. 1999. pp. 75-107 (1999)  K.  M. Simplicity. pages 210–219. and Paul Vit´ anyi. Cambridge University Press. pages pp. Twelfth Amsterdam Colloquium. 1999. Chapters  K. W. and Prediction. Ming Li. In Proceedings of the 14th IEEE Conference on Computational Complexity (CCC). Bounded Quantum Query Complexity. Springer-Verlag  Tao Jiang. Cussens.-R. Lecture Notes in Computer Science 1509. Apt and M. Dekker. Bezem Formulas as Programs The Logic Programming Paradigm: A 25-Year Perspective (K. Fortnow.  Erik de Haas and Pieter Adriaans. In Proceedings of 16th Symposium on Theoretical Aspects of Computer Science (STACS). Complicated Complementations. M. Warren. and Paul Vit´ anyi. Separating complexity classes using autoreducibility. Berlin. van Dam. or How First-Order Logic Can Help Us in Imperative Programming”. Springer-Verlag. and R. in Correct System Design.  V. In Proc. Quantum entanglement and the communication complexity of the inner product function. editor. Proceeding of the Language Learning in Logic Workshop Bled 1999. LNCS 1710. 1999. Springer.R.R. 1999. Buhrman. van Dam. 14th IEEE Conference on Computational Complexity (CCC). D. Buhrman and W. Lecture Notes in Computer Science 1563. 1999. 2000. Truszczy´ nski and D. 1999. Schaerf “The Alma Project. Ming Li. editor.V Janssen. Kolmogorov Complexity. Apt. and A. pages 105–113.). Vit´ anyi. page 453-462.S. In Proceedings of the First NASA International Conference on Quantum Computing and Quantum Communications. pages 220–229.R. van Emde Boas  H.  T. Lecture Notes in Computer Science 1644. Ming Li. and Paul Vit´ anyi. Simplicity. editors. University of Amsterdam. de Wolf. (E. ICALP99. 1999. M. Lecture Notes in Computer Science 1644. SIAM Journal on Computing. Hirvensalo.M. Berlin. L. eds. Information. In Michael McAleer Hugo A. Grammar induction as sub-structural inductive logic programming. 89-113 (1999). Torenvliet. Marek.W. Tao Jiang. May 1999. Tapp. In P. pages 61–74.M. eds. Average case complexity of Shellsort. Keuzenkamp and Arnold Zellner. 139–144. V. Nielsen.Apt and A. Buhrman and L. van Melkebeek.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. ILLC. 1999. Olderog. On the interpretation of if-logic.  H. mh  R. 1999. 29(5):1497–1520. IEEE Computer Society.  H. B.
Tromp and P. M. SIAM Journal on Computing. T. 2000. J. Fenner.M. 2000. W. June 2000. J. 2000. M.B. and R.M.  A. Jiang.M. and Kolmogorov Complexity. Vit´ anyi. Vit´ anyi.  A. Optimal Proof Systems and Sparse Sets. L.  A. Vit´ anyi. A discipline of evolutionary programming. Proceedings of the 15th IEEE Conference on Computational Complexity (CCC). Italy. Inform. Mosca. and P. Steane and W. Gasarch. IT-46(2):446–464. Buhrman and L. LNCS. 47(5):905–911.B. 13 . is consensus really universal. J. Panconesi. Buhrman. Mach.M. On the importance of having an identity or. Buhrman. and P. on Foundations of Computer Science (FOCS). 2000.  H. and D. pages 133–144.M. on the Theory of Computing (STOC).M. Kalayanasundaram. Physicists triumph at ’Guess My Number’. van Melkebeek. Radhakrishnan. Minimum Description Length Induction. S.M.. Laplante.M. Fortnow. P.B. Journal of Computer Science and Technology.B. Venkatesch. M. Li. 2000. Bayesianism.M. Theoretical Computer Science.B. pages 407–418. 2000. Kolmogorov random graphs and the incompressibility method. Tapp. and S. 2000. New applications of the incompressibility method: Part II. The communication complexity of enumeration. de Wolf Average-Case Quantum Query Complexity. 53(2):35–39. Vit´ anyi. M. and P.B. Applying MDL to learning best model granularity.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr.  T. Buhrman. Are bitvectors optimal? In Proceedings ACM Symp.  H.B. Gao.I. Buhrman. 240–249.M. Vit´ anyi. Theory. B. Bro Miltersen. Bro Miltersen.M.B. Assoc.  M. Vit´ anyi. S. R.K. 2000. Torenvliet. Private quantum channels. 2000. Ambainis. van Dam. and P. van Dam and S. 235(1):59–70. A. and P. 29(2):590–599. Physics Today. Randomness is Hard. and P.M. In Proceedings 15th IEEE Conference on Computational Complexity (CCC). de Wolf. W. Comp. In Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS’2000).  P. Ambainis and R. 1770. Jiang. Proceedings  A.  H. Torenvliet. elimination and selection. Artiﬁcial Intelligence. Buhrman. Theoretical Computer Science. Springer Lecture Notes in Computer Science. Li.K. IEEE Trans. Li. P. M.M. A. Vit´ anyi. 2000  A.  H. 30(5):1485–1501.  Q. In Proceedings Symposium on Theoretical Aspects of Computer Science (STACS). Li and P.M. In Proceedings of the 15th IEEE Conference on Computational Complexity (CCC).M. Ambainis. 2000. Vit´ anyi. Florence. pages 449–458. Berthiaume. 2000.M. Silvestri. Buhrman. Li.M. 2000.  H. H. Average-case complexity of Stacksort and Queuesort. Laplante. and L. 241(1-2):3–23. 2000. van Emde Boas  H. New bounds for the language compression problem. In Proceedings of 41st IEEE Symp. 2000. 2000. pages 44–53.M.  T. M. SIAM Journal on Computing. Springer.  H. Buhrman. Jiang. Quantum Kolmogorov Complexity. A lower bound on the average-case complexity of Shellsort. 121(1-2):1–29. Li. In Distributed Computing Conference (DISC’00).
Hlavac. 2000. de Wolf. Journal of Physics A: Mathematical and General. Buhrman. Three Approaches to the Quantitative Deﬁnition of Information in Individual Pure Quantum State. 2000. SOFSEM 2000: Theory and Practice of Informatics.M. Baclawski and H. Vit´ anyi. Kalayanasundaram. Characterization of non-deterministic quantum query and quantum communication complexity. van Emde Boas. pages 62–66. Mosca. volume 1968 of Lecture Notes in Artiﬁcial Intelligence.  T. M. Grammar induction as sub-structural inductive logic programming.K. Springer Verlag. H.  E. Interaction. Towards and algorithmic statistics. In Proceedings of the fourth Conference on Computational Natural Language Learning and of the Second Language Learning in Logic Workshop.B. 10 Years Ahead. Lecture Notes in Computer Science 1963. pages 176–183. G´ acs.  E.M.  P. Torenvliet. 2000. Boston Mass. and P. Ninth OOPSLA workshop on Behavioral Semantics.M. SOFSEM 2000.  P. volume 1925 of Lecture Notes in AI . pages 41–55. M. In Proc.  R. a reminder from the 80-ies. de Haas and P. 2000. P. Language Learning in Logic. Wiedermann. Adriaans. Comp.  A. 2000. pages 263–270. 63:148-184. 2000. de Haas Grammar induction as sub-structural inductive logic programming. The communication complexity of enumeration. Berlin: Springer Verlag. Learning from a sub-structural perspective. Mach. In K. Quantum lower bounds by polynomials. Springer-Verlag. and P. Complexity. In Proceedings ALT 2000. Journal of Computer and System Sciences. R. and R. W.I. Objects. van Emde Boas  P. Chapters  P.B. Berlin. Springer-Verlag. Adriaans and M. pages 271–278.M. 2001. In Learning Language in Logic pages 127–142.M.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. J. Berlin. In Proceedings of 15th IEEE Conference on Computational Complexity (CCC). de Wolf. In Proceedings of the 15th IEEE Conference on Computational Complexity (CCC). pages 173–186. 48(4):778–797. 2000. Average-case quantum query complexity. D. Ambainis and R.  M. Vit´ anyi.B. Tromp. Kilov. The quantum computing challenge. Berlin. Adriaans. elimination and selection. and L. pages 36–53. 2001 Articles  A.  R.  P. 14 . In J. 2000. 2001. 2000. Trautwein. Assoc. P. editors. Games. Dzeroski Cussens. 2001. Jiang. Lecture Notes in Computer Science 1963. de Wolf. V.B. Li. Gasarch. B. Ambainis. editor. Buhrman. pages 127–142. Adriaans and E. Vervoort Towards high speed grammar induction on large text corpora. The incompressibility method. de Haas and P. Beals. Vit´ anyi. H. editors. J. volume 2000 of Lecture Notes in Computer Science. 34(35):6741-6754. Northeastern University 2000. Vit´ anyi. Springer Verlag. In G. Cleve. Berlin. Feffrey and J. In Proceedings Dagstuhl Informatics—10 Years Back.
Cleve. 2001. 2001. and P.  H. . F. Smelser and P. Inform. SIAM Journal on Computing. . Time and space bounds for reversible simulation. Buhrman. Hirvensalo. Time and space bounds for reversible simulation. Alignment-based learning versus Emile: A comparison. Proceedings of the 13th Dutch-Belgian Artiﬁcial Intelligence Conference. P. P. pages 120-130. 2001. International Encyclopedia of the Social & Behavioral Sciences. J. Tromp.  P. Springer Verlag. On a generalized ruin problem. 25-26 October 2001. . De Rode Hoed.M. 10:93-116.Høyer F.  P. and R. M. J. Complexity. de Wolf. 2001. . de Wolf. Inform. Vit´ anyi. R. pages 315-322. de Wolf. editor. 34:6821-6830. Lecture Notes in Computer Science 2076. S. In Proc. Buhrman.  V. Ch. 2001. In N. Theoretical Computer Science.. Vit´ anyi. Tromp and P. de Wolf. In Proc. Randomness is hard. and R. P.  H.  H.  Menno van Zaanen and Pieter Adriaans. IEEE Trans. Behavior and Brain Sciences. 2001. . Baltes. pages 131-137. October 2001. Vit´ anyi. G´ acs. . Buhrman. Watanabe. Journal of Physics A: Mathematical and General. M. RANDOM 2001. Two oracles that force a big crunch. Th. Complexity measures and decision tree complexity: A survey. Vit´ anyi. Fortnow. . Heiligman P. Buhrman and R de Wolf.  H. Quantum ﬁngerprinting. IEEE Trans. Quantum algorithms for element distinctness.  H.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr. . 87(16). and R.B. Ch. J. Vit´ anyi Algorithmic statistics.B. D¨ urr. . de Wolf. Fenner. Vit´ anyi.  K. 2001. Communication complexity lower bounds by polynomials. Li and P. and P.  N. J. Theoretical Computer Science. L. Algorithmic complexity. Torenvliet. 2001. Th. and O. Watrous.J. Steward N. In Proceedings of 16th IEEE Conference on Computational Complexity (CCC). In Proceedings of 16th IEEE Conference on Computational Complexity (CCC). D¨ urr and R. Marked PCP is decidable. . 255:193-204. In Proceedings of 16th IEEE Conference on Computational Complexity (CCC). ICALP 2001. Amsterdam. 2001. 2001. Santha H. . 47(6):2464-2479. Physical Review Letters. J. 2001. Amano. In Ben Kr¨ ose. 15 . Proceedings  H. 47(6):24432463. Buhrman. and L. Buhrman and R. 2001. Chapters  M. pages 131-137. Magniez. Pergamon. van Emde Boas  H. Chater. Buhrman. Høyer. Lecture Notes in Computer Science. Universal generalization and universal inter-item confusability. Heiligman. P. 2001. Quantum kolmogorov complexity based on classical descriptions. Santha.  H. Springer-Verlag. M. 2001. Torenvliet. Buhrman and L.B. 2001.. Buhrman. Vit´ anyi.  M. Magniez M. Tromp. 30(5):1485-1501. Quantum algorithms for element distinctness. Halava. editors.M. Tromp.
M. . 16 . The quantum computing challenge. Springer Verlag. van Emde Boas  P. 10 Years Ahead. Lecture Notes in Computer Science. Vit´ anyi. P. In Informatics: 10 Years Back.B. 2001.University Programme name Research director : : : University of Amsterdam Algorithms and Complexity Dr.
This action might not be possible to undo. Are you sure you want to continue?