The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2000 (20) 2001-2002 (15) 2003-2004 (18) 2005-2006 (41) 2007-2008 (18) 2009-2011 (29) 2013 (15) 2014-2015 (25) 2017-2018 (24) 2019-2022 (31) 2023 (11)
Publication types (Num. hits)
article(28) incollection(2) inproceedings(206) phdthesis(1) proceedings(10)
Venues (Conferences, Journals, ...)
ACL2(119) FMCAD(14) J. Autom. Reason.(11) TPHOLs(11) CAV(9) ITP(5) AISC(4) CADE(4) Calculemus/MKM(3) CHARME(3) Formal Aspects Comput.(3) LOPSTR(3) LPAR(3) IEEE Trans. Software Eng.(2) IJCAR(2) PADL(2) More (+10 of total 61)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 142 occurrences of 82 keywords

Results
Found 247 publication records. Showing 247 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
192Ruben Gamboa, John R. Cowles Implementing a cost-aware evaluator for ACL2 expressions. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ACL2 evaluator, function cost, evaluators
178Warren A. Hunt Jr., Erik Reeber A SAT-based procedure for verifying finite state machines in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF satisfiability solving, theorem proving, hardware verification, ACL2
172Robert S. Boyer, Warren A. Hunt Jr. Function memoization and unique object representation for ACL2 functions. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ACL2 workshop, function memoization, hash CONS, hash CONSing, Lisp, ACL2
164Dale Vaillancourt, Rex L. Page, Matthias Felleisen ACL2 in DrScheme. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DrScheme, TeachScheme!, formal methods, pedagogy, ACL2
143Julien Schmaltz, Dominique Borrione Towards a formal theory of on chip communications in the ACL2 logic. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal theory, network on a chip, theorem proving, communication theory
143Lee Pike, Mark Shields, John Matthews A verifying core for a cryptographic language compiler. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
136David L. Rager Adding parallelism capabilities to ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pand, parallel ACL2, pcall, plet, por, granularity, functional language
136Jared Davis Reasoning about ACL2 file input. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UTF-8, file input, ACL2, unicode, exhaustive testing
136Sol Swords, William R. Cook Soundness of the simply typed lambda calculus in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lambda-calculus, soundness, ACL2
136Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds An embedding of the ACL2 logic in HOL. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HOL4, proof oracle, sound translation, verification, formal methods, logic, first-order logic, higher-order logic, ACL2, HOL
132Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann An Integration of HOL and ACL2. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
129Matt Kaufmann, J Strother Moore Double rewriting for equivalential reasoning in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations
129David A. Greve Parameterized congruences in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
123Jared Davis Memories: array-like records for ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MBE, fixnum optimization, linear address spaces, arrays, records, ACL2
123John R. Cowles, Ruben Gamboa Unique factorization in ACL2: Euclidean domains. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boyer-Moore logic, Euclidean domains, unique factorization, ACL2
119Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith Meta Reasoning in ACL2. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
115Erik Reeber, Jun Sawada Combining ACL2 and an automated verification tool to verify a multiplier. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, theorem proving, hardware verification
115David S. Hardin, Eric W. Smith, William D. Young A robust machine code proof framework for highly secure applications. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
112Carl Eastlund, Matthias Felleisen Making induction manifest in modular ACL2. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF theorem provers, acl2, module systems
109David S. Hardin, Samuel S. Hardin ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2 Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
109Matt Kaufmann, J Strother Moore How Can I Do That with ACL2? Recent Enhancements to ACL2 Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
109Warren A. Hunt Jr., Serita M. Nelesen Phylogenetic trees in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ACL2, phylogenetics
105Peter C. Dillinger, Panagiotis Manolios, Daron Vroon 0001, J Strother Moore ACL2s: "The ACL2 Sedan". Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
105Warren A. Hunt Jr., Robert Bellarmine Krug, J Strother Moore Linear and Nonlinear Arithmetic in ACL2. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
101Sandip Ray Quantification in tail-recursive function definitions. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, logic, ACL2, conservativity, skolemization
91Carl Eastlund, Matthias Felleisen Toward a Practical Module System for ACL2. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
91Erik Reeber, Warren A. Hunt Jr. A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
87Alessandro Coglio A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
87Alessandro Coglio A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
87Alessandro Coglio A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
87Jónathan Heras, Ekaterina Komendantskaya ACL2(ml): Machine-Learning for ACL2. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
87Jared Davis, Sol Swords Verified AIG Algorithms in ACL2 Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
87Matt Kaufmann, J Strother Moore Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
87Caleb Eggensperger Proof Pad: A New Development Environment for ACL2 Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
87Peter Reid, Ruben Gamboa Implementing an Automatic Differentiator in ACL2 Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
87Sol Swords, Jared Davis Bit-Blasting ACL2 Theorems Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
87John R. Cowles, Ruben Gamboa Verifying Sierpinski and Riesel Numbers in ACL2 Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
79Tony Hoare The ideal of verified software. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
77Ruben Gamboa, John R. Cowles Theory Extension in ACL2(r). Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T15, 03B35, 03H15
77J Strother Moore Finite Set Theory in ACL2. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
77Panagiotis Manolios, Sudarshan K. Srinivasan A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pipelined machines, bit-level, verification, refinement, automated reasoning, ACL2
77Panagiotis Manolios, Daron Vroon 0001 Ordinal Arithmetic: Algorithms and Mechanization. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated reasoning, arithmetic, ACL2, ordinal
71Panagiotis Manolios, J Strother Moore Partial Functions in ACL2. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ACL2, partial functions
69Jun Sawada, Erik Reeber ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69J Strother Moore Functional formal methods. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
66Matt Kaufmann, J Strother Moore Advances in ACL2 Proof Debugging Tools. Search on Bibsonomy ACL2 The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
66Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck A Case Study in Analytic Protocol Analysis in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
66Grant O. Passmore ACL2 Proofs of Nonlinear Inequalities with Imandra. Search on Bibsonomy ACL2 The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
66David S. Hardin Verification of a Rust Implementation of Knuth's Dancing Links using ACL2. Search on Bibsonomy ACL2 The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
66Mertcan Temel Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
66Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai Syntheto: A Surface Language for APT and ACL2. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
66Ruben Gamboa, Alicia Thoney Using ACL2 To Teach Students About Software Testing. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
66David S. Hardin Hardware/Software Co-Assurance using the Rust Programming Language and ACL2. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
66William D. Young Modeling Asymptotic Complexity Using ACL2. Search on Bibsonomy ACL2 The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
66Alessandro Coglio Ethereum's Recursive Length Prefix in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
66Mertcan Temel RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
66Ruben Gamboa, John R. Cowles, Woodrow Gamboa Quadratic Extensions in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
66David M. Russinoff Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2. Search on Bibsonomy ACL2 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
66Matt Kaufmann, J Strother Moore Iteration in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
66Carl Kwan, Mark R. Greenstreet Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r). Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66Alessandro Coglio, Shilpi Goel Adding 32-bit Mode to the ACL2 Model of the x86 ISA. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66Carl Kwan, Mark R. Greenstreet Convex Functions in ACL2(r). Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66Sol Swords Hint Orchestration Using ACL2's Simplifier. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66David S. Hardin, Konrad Slind Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66Ruben Gamboa, John R. Cowles The Fundamental Theorem of Algebra in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66Mihir Parang Mehta Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
66John R. Cowles, Ruben Gamboa The Cayley-Dickson Construction in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
66John R. Cowles, Ruben Gamboa Perfect Numbers in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
66Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr. Fourier Series Formalization in ACL2(r). Search on Bibsonomy ACL2 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
66Alessandro Coglio Second-Order Functions and Theorems in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
66Yan Peng, Mark R. Greenstreet Extending ACL2 with SMT Solvers. Search on Bibsonomy ACL2 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
66Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Matt Kaufmann, J Strother Moore Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Jared Davis, Matt Kaufmann Industrial-Strength Documentation for ACL2. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios Data Definitions in the ACL2 Sedan. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Benjamin Selfridge, Eric Smith Polymorphic Types in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Benjamin Selfridge An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66John W. O'Leary, David M. Russinoff Modeling Algorithms in SystemC and ACL2. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg Development of a Translator from LLVM to ACL2. Search on Bibsonomy ACL2 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
66Ruben Gamboa, Jared Davis (eds.) Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66Bernard van Gastel, Julien Schmaltz A formalisation of XMAS Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66David A. Greve, Konrad Slind A Step-Indexing Approach to Partial Functions Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66Lucas Helms, Ruben Gamboa An Interpreter for Quantum Circuits Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann Abstract Stobjs and Their Application to ISA Modeling Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz A Macro for Reusing Abstract Functions and Theorems Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66Freek Verbeek, Julien Schmaltz Verification of Building Blocks for Asynchronous Circuits Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
66David S. Hardin, Julien Schmaltz (eds.) Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
66Freek Verbeek, Julien Schmaltz Formal verification of a deadlock detection algorithm Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
66Peter-Michael Seidel Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
66Mike Dahlin, Ryan Johnson 0003, Robert Bellarmine Krug, Michael McCoyd, William D. Young Toward the Verification of a Simple Hypervisor Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
66Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios Integrating Testing and Interactive Theorem Proving Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
66Panagiotis Manolios, Matthew Wilding (eds.) Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006 Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  BibTeX  RDF
63Matt Kaufmann, J Strother Moore An ACL2 Tutorial. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina A Formal Proof of Dickson's Lemma in ACL2. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina Formal Verification of Molecular Computational Models in ACL2: A Case Study. Search on Bibsonomy CAEPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Robert S. Boyer, J Strother Moore Single-Threaded Objects in ACL2. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos Formalizing Rewriting in the ACL2 Theorem Prover. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 247 (100 per page; Change: )
Pages: [1][2][3][>>]
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