The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2000-2009 (23) 2010-2014 (16) 2015-2018 (19) 2019-2020 (19) 2021 (15) 2022-2023 (21) 2024 (4)
Publication types (Num. hits)
article(39) book(1) incollection(1) inproceedings(74) phdthesis(2)
Venues (Conferences, Journals, ...)
CoRR(23) TYPES(8) PLPV(7) LSFA(6) CPP(5) ICFP(5) J. Funct. Program.(4) MPC(3) Proc. ACM Program. Lang.(3) FSCD(2) Haskell(2) HCI (17)(2) IFL(2) ITP(2) LICS(2) SBLP(2) More (+10 of total 50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 23 keywords

Results
Found 121 publication records. Showing 117 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
101Ulf Norell Dependently typed programming in Agda. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF programming, dependent types
82Ana Bove, Peter Dybjer, Ulf Norell A Brief Overview of Agda - A Functional Language with Dependent Types. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
82Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez Embedding a logical theory of constructions in Agda. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF general recursion, logical theory of constructions, type theory
82Fredrik Lindblad, Marcin Benke A Tool for Automated Theorem Proving in Agda. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
78Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell Verifying haskell programs using constructive type theory. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF GHC core, monadic translation, verification, haskell, type theory, partiality
58Ana Bove, Peter Dybjer Dependent Types at Work. Search on Bibsonomy LerNet ALFA Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Stephanie Weirich, Chris Casinghino Arity-generic datatype-generic programming. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF agda, arity-generic programming, generic haskell, dependent types
52Daniel R. Licata, Robert Harper 0001 Positively dependent types. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF agda, dependent types, polarity
41Zahra Gharaee, ZeMing Gong, Nicholas Pellegrino, Iuliia Zarubiieva, Joakim Bruslund Haurum, Scott C. Lowe, Jaclyn T. A. McKeown, Chris C. Y. Ho, Joschka McLeod, Yi-Yun C. Wei, Jireh Agda, Sujeevan Ratnasingham, Dirk Steinke, Angel X. Chang, Graham W. Taylor, Paul W. Fieguth A Step Towards Worldwide Biodiversity Assessment: The BIOSCAN-1M Insect Dataset. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Zahra Gharaee, ZeMing Gong, Nicholas Pellegrino, Iuliia Zarubiieva, Joakim Bruslund Haurum, Scott C. Lowe, Jaclyn T. A. McKeown, Chris C. Y. Ho, Joschka McLeod, Yi-Yun C. Wei, Jireh Agda, Sujeevan Ratnasingham, Dirk Steinke, Angel X. Chang, Graham W. Taylor, Paul W. Fieguth A Step Towards Worldwide Biodiversity Assessment: The BIOSCAN-1M Insect Dataset. Search on Bibsonomy NeurIPS The full citation details ... 2023 DBLP  BibTeX  RDF
41Agda L. G. Oliveira, Joaquim P. Lima, Thiago L. Brasco, Lucas R. Amaral The importance of modeling the effects of trend and anisotropy on soil fertility maps. Search on Bibsonomy Comput. Electron. Agric. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
41Veridianna Cristina Teodoro Ferreira, Agda Carvalho Thermoregulating and Hydrating Microcapsules: Contributions of Textile Technology in the Design of Wearable Products for Wheelchair Dependents. Search on Bibsonomy HCI (17) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
41Veridianna Cristina Teodoro Ferreira, Agda Carvalho Inclusive Design and Textile Technology in the Everyday Lives of Wheelchair Dependent. Search on Bibsonomy HCI (17) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Priscila Trovo, Adriana Valli, Nivia Ferreira, Agda Carvalho Interaction/Cognition in Design: The Red Bull Station's Classroom Case Study. Search on Bibsonomy HCI (21) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
41Wanding Zhou, Tenghui Chen, Hao Zhao, Agda Karina Eterovic, Funda Meric-Bernstam, Gordon B. Mills, Ken Chen 0001 Bias from removing read duplication in ultra-deep sequencing experiments. Search on Bibsonomy Bioinform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
39Noam Zeilberger Refinement types and computational duality. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF duality, effects, intersection types, focusing, union types
39Neil Sculthorpe, Henrik Nilsson Safe functional reactive programming through dependent types. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
39Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Peter Dybjer, Qiao Haiyan, Makoto Takeyama Combining Testing and Proving in Dependent Type Theory. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu Algebraic Effects Meet Hoare Logic in Cubical Agda. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Antoine Van Muylder, Andreas Nuyts, Dominique Devriese Internal and Observational Parametricity for Cubical Agda. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Maximilian Doré, Evan Cavallo, Anders Mörtberg Automating Boundary Filling in Cubical Agda. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Matteo Pradella Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Cosmo Viola, Max Fan, Talia Ringer Towards Proof Repair in Cubical Agda. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Axel Ljungström, Anders Mörtberg Formalizing π4(S^3) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Niccolò Veltri, Andrea Vezzosi Formalizing CCS and π-calculus in Guarded Cubical Agda. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Axel Ljungström, Anders Mörtberg Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda. Search on Bibsonomy LICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Fahad F. Alhabardi, Anton Setzer A model of Solidity-style smart contracts in the theorem prover Agda. Search on Bibsonomy AIBThings The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Thomas Lamiaux, Axel Ljungström, Anders Mörtberg Computing Cohomology Rings in Cubical Agda. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Joris Ceulemans, Andreas Nuyts, Dominique Devriese Sikkel: Multimode Simple Type Theory as an Agda Library. Search on Bibsonomy MSFP@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Sebastián Urciuoli A Formal Proof of the Strong Normalization Theorem for System T in Agda. Search on Bibsonomy LSFA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Thomas Lamiaux, Axel Ljungström, Anders Mörtberg Computing Cohomology Rings in Cubical Agda. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Zachary Murray Constructive Analysis in the Agda Proof Assistant. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Miguel Pagano, José E. Solsona Nominal Sets in Agda - A Fresh and Immature Mechanization. Search on Bibsonomy LSFA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva An approach to translating Haskell programs to Agda and reasoning about them. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Stephen Dolan Computing with generic trees in Agda. Search on Bibsonomy TyDe@ICFP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. Search on Bibsonomy NFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Guillaume Brunerie, Axel Ljungström, Anders Mörtberg Synthetic Integral Cohomology in Cubical Agda. Search on Bibsonomy CSL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman 0001, Ulf Norell Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Search on Bibsonomy Haskell The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois Towards an Extrinsic Formalization of Featherweight Java in Agda. Search on Bibsonomy CLEI Electron. J. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24William J. DeMeo The Agda Universal Algebra Library, Part 1: Foundation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24William J. DeMeo The Agda Universal Algebra Library, Part 2: Structure. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Gan Shen, Lindsey Kuper Toward SMT-Based Refinement Types in Agda. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Andreas Abel 0001 Birkhoff's Completeness Theorem for Multi-Sorted Algebras Formalized in Agda. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24William J. DeMeo The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr. Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Louis Warren First-order natural deduction in Agda. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Andrea Vezzosi, Anders Mörtberg, Andreas Abel 0001 Cubical Agda: A dependently typed programming language with univalence and higher inductive types. Search on Bibsonomy J. Funct. Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. Search on Bibsonomy TYPES The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Guillermo Calderón Formalizing Affinization of a Projective Plane in Agda. Search on Bibsonomy CLEI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Luca Ciccone, Francesco Dagnino, Elena Zucca Flexible Coinduction in Agda. Search on Bibsonomy ITP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr. Formal verification of authenticated, append-only skip lists in Agda. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Jason Z. S. Hu, Jacques Carette Formalizing category theory in Agda. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Uma Zalakain, Ornela Dardha π with Leftovers: A Mechanisation in Agda. Search on Bibsonomy FORTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Jason Z. S. Hu, Jacques Carette Proof-relevant Category Theory in Agda. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Uma Zalakain, Ornela Dardha π with leftovers: a mechanisation in Agda. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Pierre Lescanne Extensive Infinite Games and Escalation, an exercise in Agda. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Luca Ciccone Flexible Coinduction in Agda. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Matthew L. Daggitt, Ran Zmigrod, Timothy G. Griffin A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Wen Kokke, Jeremy G. Siek, Philip Wadler Programming language foundations in Agda. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano A formalisation of LEGv8 in Agda. Search on Bibsonomy SBLP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Guillaume Genestier Encoding Agda Programs Using Rewriting. Search on Bibsonomy FSCD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Cecilia Manzino, Alberto Pardo Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. Search on Bibsonomy LSFA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. Search on Bibsonomy LSFA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Luca Ciccone, Luca Padovani A Dependently Typed Linear π-Calculus in Agda. Search on Bibsonomy PPDP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Niccolò Veltri, Andrea Vezzosi Formalizing π-calculus in guarded cubical Agda. Search on Bibsonomy CPP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani Three equivalent ordinal notation systems in cubical Agda. Search on Bibsonomy CPP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Andrea Vezzosi, Anders Mörtberg, Andreas Abel 0001 Cubical agda: a dependently typed programming language with univalence and higher inductive types. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Martín Hötzel Escardó Introduction to Univalent Foundations of Mathematics with Agda. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24James Chapman 0001, Roman Kireev, Chad Nester, Philip Wadler System F in Agda, for Fun and Profit. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Jesper Cockx Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules. Search on Bibsonomy TYPES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Niccolò Veltri, Niels van der Weide Guarded Recursion in Agda via Sized Types. Search on Bibsonomy FSCD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Anton Setzer Modelling Bitcoin in Agda. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Jeremy Pope Formalizing Constructive Quantifier Elimination in Agda. Search on Bibsonomy MSFP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Paventhan Vivekanandan Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Philip Wadler Programming Language Foundations in Agda. Search on Bibsonomy SBMF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory. Search on Bibsonomy ITP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Emmanuel Gunther, Alejandro Gadea, Miguel Pagano Formalization of Universal Algebra in Agda. Search on Bibsonomy LSFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Guillermo Calderón Formalizing Constructive Projective Geometry in Agda. Search on Bibsonomy LSFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Sergio Antoy, Michael Hanus, Steven Libby Proving Non-Deterministic Computations in Agda. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Wen Kokke Formalising Type-Logical Grammars in Agda. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Andreas Abel 0001, Stephan Adelsberger, Anton Setzer Interactive programming in Agda - Objects and graphical user interfaces. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Bashar Igried, Anton Setzer Trace and Stable Failures Semantics for CSP-Agda. Search on Bibsonomy CoALP-Ty The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Jean-Philippe Bernardy, Patrik Jansson Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Aaron Stump Verified Functional Programming in Agda Search on Bibsonomy 2016   DOI  RDF
24Bashar Igried, Anton Setzer Defining Trace Semantics for CSP-Agda. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Adam Sandberg Eriksson, Patrik Jansson An agda formalisation of the transitive closure of block matrices (extended abstract). Search on Bibsonomy TyDe@ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Pepijn Kokke, Wouter Swierstra Auto in Agda - Programming Proof Search Using Reflection. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling Pi-Ware: Hardware Description and Verification in Agda. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Ernesto Copello, Alvaro Tasistro, Bruno Bianchi Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda. Search on Bibsonomy SBLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Alan Jeffrey Dependently Typed Web Client Applications - FRP in Agda in HTML5. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Christopher Schwaab, Jeremy G. Siek Modular type-safety proofs in Agda. Search on Bibsonomy PLPV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Paul van der Walt, Wouter Swierstra Engineering Proof by Reflection in Agda. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Peter Thiemann 0001, Manuel M. T. Chakravarty Agda Meets Accelerate. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Conor Thomas McBride Agda-curious?: an exploration of programming with dependent types. Search on Bibsonomy ICFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Karim Kanso Agda as a platform for the development of verified railway interlocking systems. Search on Bibsonomy 2012   RDF
24Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu Agda Implementors Meeting (NII Shonan Meeting 2011-2). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2011 DBLP  BibTeX  RDF
24Wouter Swierstra Sorted - Verifying the Problem of the Dutch National Flag in Agda. Search on Bibsonomy J. Funct. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 117 (100 per page; Change: )
Pages: [1][2][>>]
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