2010 | ||
---|---|---|
106 | Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings Springer 2010 | |
2009 | ||
105 | Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009) | |
2008 | ||
104 | Jirí Wiedermann, Jan van Leeuwen: How We Think of Computing Today. CiE 2008: 579-593 | |
103 | Hans L. Bodlaender, Richard B. Tan, Thomas C. van Dijk, Jan van Leeuwen: Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint. SWAT 2008: 102-113 | |
2007 | ||
102 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II Institute of Computer Science AS CR, Prague 2007 | |
101 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Springer 2007 | |
100 | Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen: Performance ratios of the Karmarkar-Karp differencing method. J. Comb. Optim. 13(1): 19-32 (2007) | |
2005 | ||
99 | Fernando Orejas, Jan van Leeuwen: Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331(1): 1-2 (2005) | |
2004 | ||
98 | Peter Verbaan, Jan van Leeuwen, Jirí Wiedermann: Complexity of Evolving Interactive Systems. Theory Is Forever 2004: 268-281 | |
97 | Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen: Approximations for lambda-Colorings of Graphs. Comput. J. 47(2): 193-204 (2004) | |
2003 | ||
96 | Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen: Performance Ratios for the Differencing Method Applied to the Balanced Number Partitioning Problem. STACS 2003: 583-595 | |
95 | Hans L. Bodlaender, Richard B. Tan, Jan van Leeuwen: Finding a bigtriangleup-regular supergraph of minimum order. Discrete Applied Mathematics 131(1): 3-9 (2003) | |
94 | Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen: Performance Ratios for the Karmarkar-Karp Differencing Method. Electronic Notes in Discrete Mathematics 13: 71-75 (2003) | |
2002 | ||
93 | Jirí Wiedermann, Jan van Leeuwen: Relativistic Computers and Non-uniform Complexity Theory. UMC 2002: 287-299 | |
92 | Jirí Wiedermann, Jan van Leeuwen: The emergent computational potential of evolving artificial living systems. AI Commun. 15(4): 205-215 (2002) | |
2001 | ||
91 | Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings Springer 2001 | |
90 | Jirí Wiedermann, Jan van Leeuwen: Emergence of a Super-Turing Computational Potential in Artificial Living Systems. ECAL 2001: 55-65 | |
89 | Jan van Leeuwen, Jirí Wiedermann: Beyond the Turing Limit: Evolving Interactive Systems. SOFSEM 2001: 90-109 | |
2000 | ||
88 | Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings Springer 2000 | |
87 | Jan van Leeuwen, Jirí Wiedermann: On the Power of Interactive Computing. IFIP TCS 2000: 619-623 | |
86 | Jan van Leeuwen, Jirí Wiedermann: On Algorithms and Interaction. MFCS 2000: 99-113 | |
85 | Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen: lambda-Coloring of Graphs. STACS 2000: 395-406 | |
1998 | ||
84 | Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela: The Complexity of Interval Routing on Random Graphs. Comput. J. 41(1): 16-25 (1998) | |
1997 | ||
83 | Hans L. Bodlaender, Jan van Leeuwen, Richard B. Tan, Dimitrios M. Thilikos: On Interval Routing Schemes and Treewidth. Inf. Comput. 139(1): 92-109 (1997) | |
1995 | ||
82 | Jan van Leeuwen: Computer Science Today: Recent Trends and Developments Springer 1995 | |
81 | Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela: The Complexity of Interval Routing on Random Graphs. MFCS 1995: 37-49 | |
80 | Hans L. Bodlaender, Richard B. Tan, Dimitrios M. Thilikos, Jan van Leeuwen: On Interval Routing Schemes and Treewidth. WG 1995: 181-196 | |
1994 | ||
79 | Jan van Leeuwen: Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings Springer 1994 | |
78 | Jan van Leeuwen: Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings Springer 1994 | |
77 | Jan van Leeuwen, Richard B. Tan: Compact Routing Methods: A Survey. SIROCCO 1994: 99-110 | |
1993 | ||
76 | Jan van Leeuwen, Derick Wood: Interval Heaps. Comput. J. 36(3): 209-216 (1993) | |
75 | Erwin M. Bakker, Jan van Leeuwen, Richard B. Tan: Prefix Routing Schemes in Dynamic Networks. Computer Networks and ISDN Systems 26(4): 403-421 (1993) | |
74 | Johannes A. La Poutré, Jan van Leeuwen, Mark H. Overmars: Maintenance of 2- and 3-edge- connected components of graphs I. Discrete Mathematics 114(1-3): 329-359 (1993) | |
1992 | ||
73 | Jan van Leeuwen: Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 North-Holland 1992 | |
1991 | ||
72 | Jan van Leeuwen, Nicola Santoro: Distributed Algorithms, 4th International Workshop, WDAG '90, Bari, Italy, September 24-26, 1990, Proceedings Springer 1991 | |
71 | Emile H. L. Aarts, Jan van Leeuwen, Martin Rem: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings Springer 1991 | |
70 | Emile H. L. Aarts, Jan van Leeuwen, Martin Rem: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings Springer 1991 | |
69 | Peter M. W. Knijnenburg, Jan van Leeuwen: On Models for Propositional Dynamic Logic. Theor. Comput. Sci. 91(2): 181-203 (1991) | |
1990 | ||
68 | Jan van Leeuwen: Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity Elsevier and MIT Press 1990 | |
67 | Jan van Leeuwen: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics Elsevier and MIT Press 1990 | |
66 | Goos Kant, Jan van Leeuwen: The File Distribution Problem for Processor Networks. SWAT 1990: 48-59 | |
65 | Jan van Leeuwen: Graph Algorithms. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 525-631 | |
64 | Goos Kant, Jan van Leeuwen: On special multiples of integers. Bulletin of the EATCS 41: 210-211 (1990) | |
63 | Hans L. Bodlaender, Peter Gritzmann, Victor Klee, Jan van Leeuwen: Computational complexity of norm-maximization. Combinatorica 10(2): 203-225 (1990) | |
1989 | ||
62 | Jan van Leeuwen: Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG '88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings Springer 1989 | |
61 | Bertha Scholten, Jan van Leeuwen: Structured NC. WADS 1989: 487-498 | |
60 | Hagit Attiya, Jan van Leeuwen, Nicola Santoro, Shmuel Zaks: Efficient Elections in Chordal Ring Networks. Algorithmica 4(3): 437-446 (1989) | |
1988 | ||
59 | Jan van Leeuwen: Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings Springer 1988 | |
58 | Nicolien J. Drost, Jan van Leeuwen: Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. Concurrency 1988: 320-334 | |
57 | Marc Bezem, Jan van Leeuwen: On Estimating the Complexity of Logarithmic Decompositions. Inf. Process. Lett. 26(6): 321-324 (1988) | |
56 | Jyrki Katajainen, Jan van Leeuwen, Martti Penttonen: Fast Simulation of Turing Machines by Random Access Machines. SIAM J. Comput. 17(1): 77-88 (1988) | |
55 | Gerard Tel, Richard B. Tan, Jan van Leeuwen: The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols. Sci. Comput. Program. 10(1): 107-137 (1988) | |
1987 | ||
54 | Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, Shmuel Zaks: Guessing Games and Distributed Computations in Synchronous Networks. ICALP 1987: 347-356 | |
53 | Gerard Tel, Richard B. Tan, Jan van Leeuwen: The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols. STACS 1987: 445-455 | |
52 | Johannes A. La Poutré, Jan van Leeuwen: Maintenance of Transitive Closures and Transitive Reductions of Graphs. WG 1987: 106-120 | |
51 | Jan van Leeuwen, Jirí Wiedermann: Array Processing Machines: An Abstract Model. BIT 27(1): 25-43 (1987) | |
50 | Gerard Tel, Jan van Leeuwen: A non-deterministic algorithm and its analysis. Bulletin of the EATCS 33: 100-102 (1987) | |
49 | Jan van Leeuwen, Richard B. Tan: Interval Routing. Comput. J. 30(4): 298-307 (1987) | |
48 | Jan van Leeuwen, Richard B. Tan: An Improved Upperbound for Distributed Election in Bidirectional Rings of Processors. Distributed Computing 2(3): 149-160 (1987) | |
47 | Harry A. G. Wijshoff, Jan van Leeuwen: On Linear Skewing Schemes and d-Ordered Vectors. IEEE Trans. Computers 36(2): 233-239 (1987) | |
1986 | ||
46 | Jan van Leeuwen: Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 5-6 | |
45 | Hans L. Bodlaender, Jan van Leeuwen: New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors. STACS 1986: 119-129 | |
44 | Anneke A. Schoone, Hans L. Bodlaender, Jan van Leeuwen: Improved Diameter Bounds for Altered Graphs. WG 1986: 227-236 | |
43 | Hans L. Bodlaender, Jan van Leeuwen: Simulation of Large Networks on Smaller Networks Information and Control 71(3): 143-180 (1986) | |
1985 | ||
42 | Jan van Leeuwen, Jirí Wiedermann: Array processing machines. FCT 1985: 257-268 | |
41 | Hans L. Bodlaender, Jan van Leeuwen: Simulation of Large Networks on Smaller Networks. STACS 1985: 47-58 | |
40 | Harry A. G. Wijshoff, Jan van Leeuwen: The Structure of Periodic Storage Schemes for Parallel Memories. IEEE Trans. Computers 34(6): 501-505 (1985) | |
39 | Marek Karpinski, Jan van Leeuwen: Preface Information and Control 64(1-3): 1 (1985) | |
1984 | ||
38 | Herbert Edelsbrunner, Jan van Leeuwen, Thomas Ottmann, Derick Wood: Computing the Connected Components of Simple Rectilinear Geometrical Objects in D-Space. ITA 18(2): 171-183 (1984) | |
37 | Mark R. Kramer, Jan van Leeuwen: Systolische Berechnungen und VLSI. Informatik Spektrum 7(3): 154-165 (1984) | |
36 | Harry A. G. Wijshoff, Jan van Leeuwen: Arbitrary versus Periodic Storage Schemes and Tessellations of the Plane Using One Type of Polyomino Information and Control 62(1): 1-25 (1984) | |
35 | Robert Endre Tarjan, Jan van Leeuwen: Worst-case Analysis of Set Union Algorithms. J. ACM 31(2): 245-281 (1984) | |
1983 | ||
34 | Jan van Leeuwen, Harry A. G. Wijshoff: Data Mappings in Large Parallel Computers. GI Jahrestagung 1983: 8-20 | |
33 | Mark R. Kramer, Jan van Leeuwen: The VLSI complexity of Boolean functions. Logic and Machines 1983: 397-407 | |
32 | Harry A. G. Wijshoff, Jan van Leeuwen: Periodic versus arbitrary tessellations of the plane using polyominos of a single type. Theoretical Computer Science 1983: 353-366 | |
1982 | ||
31 | Mark H. Overmars, Jan van Leeuwen: Dynamic Multi-Dimensional Data Structures Based on Quad- and K - D Trees. Acta Inf. 17: 267-285 (1982) | |
30 | Jan van Leeuwen, Mark H. Overmars: Stratified Balanced Search Trees. Acta Inf. 18: 345-359 (1982) | |
29 | Jan van Leeuwen, Maurice Nivat: Efficient Recognition of Rational Relations. Inf. Process. Lett. 14(1): 34-38 (1982) | |
1981 | ||
28 | Jan van Leeuwen, Mark H. Overmars: The Art of Dynamizing. MFCS 1981: 121-131 | |
27 | Mark H. Overmars, Jan van Leeuwen: Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds. Theoretical Computer Science 1981: 224-233 | |
26 | Mark H. Overmars, Jan van Leeuwen: Some Principles for Dynamizing Decomposable Searching Problems. Inf. Process. Lett. 12(1): 49-53 (1981) | |
25 | Mark H. Overmars, Jan van Leeuwen: Worst-Case Optimal Insertion and Deletion Methods for Decomposable Searching Problems. Inf. Process. Lett. 12(4): 168-173 (1981) | |
24 | Jan van Leeuwen, Derick Wood: The Measure Problem for Rectangular Ranges in d-Space. J. Algorithms 2(3): 282-300 (1981) | |
23 | Mark H. Overmars, Jan van Leeuwen: Maintenance of Configurations in the Plane. J. Comput. Syst. Sci. 23(2): 166-204 (1981) | |
1980 | ||
22 | J. W. de Bakker, Jan van Leeuwen: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings Springer 1980 | |
21 | Mark H. Overmars, Jan van Leeuwen: Dynamically Maintaining Configurations in the Plane (Detailed Abstract) STOC 1980: 135-145 | |
20 | Jan van Leeuwen, Derick Wood: Dynamization of Decomposable Searching Problems. Inf. Process. Lett. 10(2): 51-56 (1980) | |
19 | Mark H. Overmars, Jan van Leeuwen: Further Comments on Bykat's Convex Hull Algorithm. Inf. Process. Lett. 10(4/5): 209-212 (1980) | |
18 | Jan van Leeuwen: Über Programmeffizienz und algebraische Komplexität. Informatik Spektrum 3(3): 172-180 (1980) | |
17 | Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen: Stack Machines and Classes of Nonnested Macro Languages. J. ACM 27(1): 96-117 (1980) | |
1979 | ||
16 | Helmut Alt, Jan van Leeuwen: The complexity of complex division (extended abstract). FCT 1979: 13-17 | |
15 | Peter van Emde Boas, Jan van Leeuwen: Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science 1979: 101-112 | |
14 | Jan van Leeuwen: A Useful Lemma for Context-Free Programmed Grammars. Acta Inf. 11: 373-386 (1979) | |
13 | Jan van Leeuwen: On Compromising Statistical Data-Bases with a few Known Elements. Inf. Process. Lett. 8(3): 149-153 (1979) | |
12 | Nicholas V. Findler, Jan van Leeuwen: On the Complexity of Decision Trees, the Quasi-Optimizer, and the Power of Heuristic rules Information and Control 40(1): 1-19 (1979) | |
1976 | ||
11 | Jan van Leeuwen: Variations of a New Machine Model FOCS 1976: 228-235 | |
10 | Jan van Leeuwen: On the Construction of Huffman Trees. ICALP 1976: 382-410 | |
9 | David P. Dobkin, Jan van Leeuwen: The Complexity of Vector-Products. Inf. Process. Lett. 4(6): 149-154 (1976) | |
8 | Robert M. Baer, Jan van Leeuwen: The Halting Problem for Linear Turing Assemblers. J. Comput. Syst. Sci. 13(2): 119-135 (1976) | |
7 | Jan van Leeuwen, Derick Wood: A Decomposition Theorem for Hyper-Algebraic Extensions of Language Families. Theor. Comput. Sci. 1(3): 199-214 (1976) | |
1975 | ||
6 | Jan van Leeuwen: The Membership Question for ET0L-Languages is Polynomially Complete. Inf. Process. Lett. 3(5): 138-143 (1975) | |
5 | Jan van Leeuwen: The Tape-Complexity of Context-Independent Developmental Languages. J. Comput. Syst. Sci. 11(2): 203-211 (1975) | |
1974 | ||
4 | Jan van Leeuwen: A Generalisation of Parikh's Theorem in Formal Language Theory. ICALP 1974: 17-26 | |
3 | Jan van Leeuwen: Notes on Pre-Set Pushdown Automata. L Systems 1974: 177-188 | |
2 | Jan van Leeuwen: A Partial Solution to the Reachability-Problem for Vector-Addition Systems STOC 1974: 303-309 | |
1 | Jan van Leeuwen, Carl H. Smith: An Improved Bound for Detecting Looping Configurations in Deterministic DPA's. Inf. Process. Lett. 3(1): 22-24 (1974) |