The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Turing with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1937-1963 (17) 1964-1966 (18) 1967-1968 (18) 1969-1970 (20) 1971-1973 (17) 1974-1976 (19) 1977-1978 (26) 1979-1980 (27) 1981 (15) 1982-1983 (34) 1984 (15) 1985-1986 (27) 1987 (25) 1988 (54) 1989 (35) 1990 (28) 1991 (16) 1992 (36) 1993 (33) 1994 (50) 1995 (56) 1996 (31) 1997 (51) 1998 (40) 1999 (60) 2000 (70) 2001 (71) 2002 (77) 2003 (97) 2004 (98) 2005 (124) 2006 (133) 2007 (143) 2008 (149) 2009 (130) 2010 (73) 2011 (63) 2012 (286) 2013 (116) 2014 (105) 2015 (71) 2016 (119) 2017 (211) 2018 (113) 2019 (271) 2020 (146) 2021 (178) 2022 (86) 2023 (193) 2024 (21)
Publication types (Num. hits)
article(1713) book(21) incollection(146) inproceedings(2006) phdthesis(15) proceedings(11)
Venues (Conferences, Journals, ...)
ACM TUR-C(387) CoRR(344) CiE(146) Theor. Comput. Sci.(88) MFCS(77) ICALP(55) Commun. ACM(52) STACS(49) Minds Mach.(48) J. ACM(43) The Turing Guide(42) Int. J. Bifurc. Chaos(39) CCC(38) J. Symb. Log.(36) TURC(33) Turing-100(33) More (+10 of total 895)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 944 occurrences of 549 keywords

Results
Found 3915 publication records. Showing 3912 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
109Yongming Li 0001 Approximation and universality of fuzzy Turing machines. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fuzzy Turing machine, fuzzy recursively enumerable language, fuzzy recursive language, universal fuzzy Turing machine, fuzzy algorithm
102Lane A. Hemaspaandra, Mayur Thakur Query-Monotonic Turing Reductions. Search on Bibsonomy COCOON The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
95Alasdair Urquhart S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
83Joseph Farfel, Vincent Conitzer Turing Trade: A Hybrid of a Turing Test and a Prediction Market. Search on Bibsonomy AMMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests
83Wolfgang Merkle, Frank Stephan 0001 On C-Degrees, H-Degrees and T-Degrees. Search on Bibsonomy CCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Robert I. Soare Computability and Incomputability. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Turing a-machine, Church-Turing Thesis, Kurt Gödel, Turing o-machine, computable approximations, effectively continuous functions on reals, computability in analysis, strong reducibilities reexamined, computability, Alan Turing
72John Dermot Turing The man with the terrible trousers. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
72Laurent Bienvenu, David Doty, Frank Stephan 0001 Constructive Dimension and Turing Degrees. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Randomness, Extractor, Degree, Turing, Constructive dimension
70 Turing's legacy: developments from Turing's ideas in logic. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
70José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard Turing Tests with Turing Machines. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
64Amashini Naidoo, Nelishia Pillay Using Genetic Programming for Turing Machine Induction. Search on Bibsonomy EuroGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF genetic programming, grammatical inference, Turing machines
64R. Gregory Taylor Motivating the Church-Turing thesis in the twenty-first century. Search on Bibsonomy ITiCSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Church-Turing thesis, Markov algorithm, vector machine, Turing machine, computability theory, register machine
58Thomas C. Hales Mathematics in the age of the Turing machine. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Robert Irving Soare Turing and the discovery of computability. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Anil Nerode Musings on Turing's Thesis. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Steven Homer, Alan L. Selman Turing and the development of computational complexity. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Charles F. Miller Turing machines to word problems. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Cameron E. Freer, Daniel M. Roy 0001, Joshua B. Tenenbaum Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Dag Normann Higher generalizations of the Turing Model. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Lenore Blum Alan Turing and the other theory of computation (expanded). Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Jeremy Avigad, Vasco Brattka Computability and analysis: the legacy of Alan Turing. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Rod Downey Computability theory, algorithmic randomness and Turing's anticipation. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Harry Buhrman Turing in Quantumland. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58John White Welcome to the ACM Turing Centenary Celebration! Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman Turing the Man. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao The Turing Computational Model. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Vinton G. Cerf Welcome to the ACM Turing Centenary Program. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Alan C. Kay Extracting Energy from the Turing Tarpit. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Daniel Leivant Alternating Turing machines and the analytical hierarchy. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Edgar G. Daylight Turing's Influence on Programming. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Rao Mikkilineni, Albert Comparini, Giovanni Morana The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Michael Stephen Fiske Turing Incomputable Computation. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Rusins Freivalds Ultrametric automata and Turing machines. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Jozef Kelemen A Note on Turing's Three Pioneering Initiatives and on Their Interplays. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Yun Shang, Xian Lu, Ruqian Lu The computing power of Turing machine based on quantum logic. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Jeroen Fokker The chess example in Turing's Mind paper is really about ambiguity. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Peter Wegner, Eugene Eberbach, Mark Burgin Computational Completeness of Interaction Machines and Turing Machines. Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
57Eugene Eberbach, Mark Burgin Evolution of evolution: Self-constructing Evolutionary Turing Machine case study. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Dina Q. Goldin, Peter Wegner The Church-Turing Thesis: Breaking the Myth. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki Some Properties of One-Pebble Turing Machines with Sublogarithmic Space. Search on Bibsonomy ISAAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Natalie K. Person, Arthur C. Graesser Human or Computer? AutoTutor in a Bystander Turing Test. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56James R. Cordy, T. C. Nicholas Graham Design of an interpretive environment for Turing. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF TURING
56Ruqian Lu, Hongge Liu, Songmao Zhang, Zhi Jin, Zichu Wei Some Cognitive Aspects of a Turing Test for Children. Search on Bibsonomy Cognitive Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Children Turing test, knowledge, intelligence, cognitive system, Turing test
53Harry Buhrman, Montserrat Hermo On the Sparse Set Conjecture for Sets with Low Denisty. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
52David Doty Every Sequence Is Decompressible from a Random One. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compression, Kolmogorov complexity, martingale, Turing reduction, random sequence, Constructive dimension
49Damien Woods, Turlough Neary The Complexity of Small Universal Turing Machines. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Bruno Durand 0001, Andrei A. Muchnik, Maxim Ushakov, Nikolai K. Vereshchagin Ecological Turing Machines. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir Turing Machines with Finite Memory. Search on Bibsonomy SBRN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Benedikt Löwe Turing cones and set theory of the reals. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000):03D28, 03E60, 03D65, 03E50, 03E15
49Saul Kripke From the Church-Turing Thesis to the First-Order Algorithm Theorem. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Alan M. Turing, D. Bayley Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946. Search on Bibsonomy Cryptologia The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
49Alan M. Turing Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe. Search on Bibsonomy Cryptologia The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Wilfried Sieg On mind & Turing's machines. Search on Bibsonomy Nat. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine
49Jingbo Hao, Jianping Yin, Boyun Zhang Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Viral Agent, Persistent Turing Machine, Dynamics, Cellular Automaton
49Jérôme Durand-Lose Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation
49Jérôme Durand-Lose Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation
49Héctor Fabio Restrepo, Daniel Mange An Embryonics Implementation of a Self-Replicating Universal Turing Machine. Search on Bibsonomy ICES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF universal Turing machine, cellular automata, self-repair, self-replication, Embryonics
49Stephen G. Perelgut, James R. Cordy Turing Plus: a comparison with C and Pascal. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF C, Pascal, TURING
47Bruce Edmonds, Carlos Gershenson Learning, Social Intelligence and the Turing Test - Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test. Search on Bibsonomy CiE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Diane Proudfoot The Turing test - from every angle. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Stephen Wolfram A century of Turing. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Doron Swade Turing, Lovelace, and Babbage. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46David Leavitt Turing and the paranormal. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Mark D. Sprevak Turing's model of the mind. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Diane Proudfoot Turing's concept of intelligence. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Thomas E. Woolley, Ruth E. Baker, Philip K. Maini Turing's theory of morphogenesis. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Brian Randell Turing and the origins of digital computers. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Jonathan P. Bowen, Jack Copeland Turing's legacy. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Jack Copeland Turing's great invention: the universal computing machine. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Bernard Richards Radiolaria: validating the Turing theory. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Ivor Grattan-Guinness Turing's mentor, Max Newman. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Brian E. Carpenter, Robert W. Doran Turing's Zeitgeist. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Rod Downey Turing and randomness. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Robin Whitty, Robin Wilson Introducing Turing's mathematics. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Simon Greenish, Jonathan P. Bowen, Jack Copeland Turing's Monument. Search on Bibsonomy The Turing Guide The full citation details ... 2017 DBLP  BibTeX  RDF
46Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker Turing's Theory of Developmental Pattern Formation. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46J. M. E. Hyland The Forgotten Turing. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Philip D. Welch Turing Transcendent: Beyond the Event Horizon. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Stuart A. Kauffman Answering Descartes: Beyond Turing. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Solomon Feferman Turing's 'Oracle': From Absolute to Relative Computability and Back. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Scott Aaronson The Ghost in the Quantum Turing Machine. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Kanti V. Mardia, S. Barry Cooper Alan Turing and Enigmatic Statistics. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Richard Gordon Walking the Tightrope: The Dilemma of Hierarchical Instabilities in Turing's Morphogenesis. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Stephen Wolfram What Alan Turing Might Have Discovered. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Ueli Maurer Cryptography and Computation after Turing. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Andrew R. Booker Turing and the Primes. Search on Bibsonomy The Once and Future Turing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
46Wilfried Sieg Step by recursive step: Church's analysis of effective calculability. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
46Philip D. Welch Transfinite machine models. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
46Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov Computable model theory. Search on Bibsonomy Turing's Legacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
46 ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Andrei Voronkov (eds.) Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 Search on Bibsonomy Turing-100 The full citation details ... 2012 DBLP  BibTeX  RDF
46Edmund M. Clarke Computable Real Numbers and Why They Are Still Important Today. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Butler W. Lampson What Computers Do: Model, Connect and Engage. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Dana S. Scott Lambda Calculus Then and Now. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth Programming Languages - Past Achievements and Future Challenges. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker Computer Architecture. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy Human and Machine Intelligence. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir Information, Data, Security in a Networked Future. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
46Christos H. Papadimitriou, Leonard M. Adleman, Richard M. Karp, Donald E. Knuth, Robert E. Tarjan, Leslie G. Valiant An Algorithmic View of the Universe. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3912 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license