The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Call-by-value (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1965-1981 (15) 1982-1990 (17) 1991-1993 (15) 1994-1995 (17) 1996-1998 (24) 1999-2000 (20) 2001-2002 (30) 2003-2004 (30) 2005 (18) 2006-2007 (31) 2008 (15) 2009 (23) 2010-2013 (17) 2014-2015 (15) 2016-2018 (17) 2019-2020 (15) 2021-2022 (20) 2023-2024 (12)
Publication types (Num. hits)
article(96) inproceedings(252) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(33) POPL(26) FoSSaCS(16) CSL(14) LICS(13) TLCA(12) ACM Trans. Program. Lang. Syst...(11) APLAS(11) ICALP(11) ICFP(10) Log. Methods Comput. Sci.(9) PPDP(9) ESOP(8) Theor. Comput. Sci.(7) MFPS(6) High. Order Symb. Comput.(5) More (+10 of total 106)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 181 occurrences of 127 keywords

Results
Found 351 publication records. Showing 351 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72Paul Blain Levy Call-by-push-value: Decomposing call-by-value and call-by-name. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value
57Robert F. Stärk Call-by-Value, Call-by-Name and the Logic of Values. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
56Johan Nordlander, Magnus Carlsson, Andy Gill Unrestricted pure call-by-value recursion. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF value recursion, semantics, implementation, combinator libraries, call-by-value
51Kohei Honda 0001, Nobuko Yoshida Game Theoretic Analysis of Call-by-Value Computation. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
49Daisuke Kimura Call-by-Value Is Dual to Call-by-Name, Extended. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Yoshihiko Kakutani Duality between Call-by-Name Recursion and Call-by-Value Iteration. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Peter A. Jonsson, Johan Nordlander Positive supercompilation for a higher order call-by-value language. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deforestation, supercompilation, call-by-value
41Yoshihiko Kakutani Call-by-Name and Call-by-Value in Normal Modal Logic. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Philip Wadler Call-by-value is dual to call-by-name. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
37John Gateley, Bruce F. Duba Call-by-Value Combinatory Logic and the Lambda-Value Calculus. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
34Luca Paolini Call-by-Value Separability and Computability. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Search on Bibsonomy MFPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
33François-Régis Sinot Call-by-Name and Call-by-Value as Token-Passing Interaction Nets. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Jérôme Rocheteau lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Richard J. Fateman, Raymond Toy Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fortran, lisp, conversion, call
33Thomas Noll 0001 On the First-Order Equivalence of Call-by-Name and Call-by-Value. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Samson Abramsky, Guy McCusker Call-by-Value Games. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Ken-etsu Fujita Polymorphic Call-by-Value Calculus Based on Classical Proofs. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Amr Sabry, Philip Wadler A Reflection on Call-by-Value. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compiling, continuations, category theory, Galois connections
31Jon G. Riecke A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Paul Blain Levy Call-by-Push-Value: A Subsuming Paradigm. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Roy Dyckhoff, Stéphane Lengrand LJQ: A Strongly Focused Calculus for Intuitionistic Logic. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused
30Anton Setzer Java as a Functional Programming Language. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
30Ichiro Ogata A Proof Theoretical Account of Continuation Passing Style. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
28Stefano Guerrini, Andrea Masini Proofs, tests and continuation passing style. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value
25Yann Régis-Gianas, François Pottier A Hoare Logic for Call-by-Value Functional Programs. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Peter Selinger, Benoît Valiron A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Kazuyuki Asada Extensional Universal Types for Call-by-Value. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Tom Hirschowitz, Xavier Leroy, J. B. Wells Compilation of extended recursion in call-by-value functional languages. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compilation, semantics, recursion, functional languages
25Malgorzata Biernacka, Dariusz Biernacki Context-based proofs of termination for typed delimited-control operators. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
24Dylan McDermott, Alan Mycroft Galois connecting call-by-value and call-by-name. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. Search on Bibsonomy CC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Dylan McDermott, Alan Mycroft Galois connecting call-by-value and call-by-name. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
24Mateusz Pyzik Call-By-Name Is Just Call-By-Value with Delimited Control. Search on Bibsonomy MFPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Dylan McDermott, Alan Mycroft Galois Connecting Call-by-Value and Call-by-Name. Search on Bibsonomy FSCD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Claudia Faggian, Giulio Guerrieri Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Claudia Faggian, Giulio Guerrieri Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Jennifer Hackett, Graham Hutton Call-by-need is clairvoyant call-by-value. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Thomas Ehrhard, Giulio Guerrieri The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Dariusz Biernacki, Sergueï Lenglet Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. Search on Bibsonomy MFPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Ali Assaf 0002, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Daisuke Kimura, Makoto Tatsuta Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Philip Wadler Call-by-Value Is Dual to Call-by-Name - Reloaded. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Stéphane Lengrand Call-by-value, call-by-name, and strong normalization for the classical sequent calculus. Search on Bibsonomy WRS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Matthew Hennessy The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Alan Mycroft The Theory and Practice of Transforming Call-by-need into Call-by-value. Search on Bibsonomy Symposium on Programming The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Gordon D. Plotkin Call-by-Name, Call-by-Value and the lambda-Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
24Willem P. de Roever First-Order Reductions of Call-by-Name to Call-by-Value. Search on Bibsonomy MFCS The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
24Willem P. de Roever Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. Search on Bibsonomy MFCS The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
24Roman L. Weil Testing the understanding of the difference between call by name and call by value in ALGOL 60. Search on Bibsonomy Commun. ACM The full citation details ... 1965 DBLP  DOI  BibTeX  RDF ALGOL
23Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca Elementary Affine Logic and the Call-by-Value Lambda Calculus. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Maribel Fernández, Ian Mackie Call-by-Value lambda-Graph Rewriting Without Rewriting. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Pierre-Louis Curien, Hugo Herbelin The duality of computation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Ugo Dal Lago, Simone Martini 0001 On Constructor Rewrite Systems and the Lambda-Calculus. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Frank Pfenning Subtyping and intersection types revisited. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Søren B. Lassen Eager Normal Form Bisimulation. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21David Sands 0001, Jörgen Gustavsson, Andrew Moran Lambda Calculi and Linear Speedups. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Hugo Herbelin, Stéphane Zimmermann An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal Lazy call-by-value evaluation. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging techniques, laziness
20Gregory H. Cooper, Shriram Krishnamurthi Embedding Dynamic Dataflow in a Call-by-Value Language. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Tom Hirschowitz, Xavier Leroy, J. B. Wells Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Jana Dunfield, Frank Pfenning Type Assignment for Intersections and Unions in Call-by-Value Languages. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Paul Blain Levy Possible World Semantics for General Storage in Call-By-Value. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Masahito Hasegawa, Yoshihiko Kakutani Axioms for Recursion in Call-by-Value. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Ken-etsu Fujita Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Yoshiki Kinoshita, John Power Data-Refinement for Call-By-Value Programming Languages. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Jon G. Riecke, Anders Sandholm 0001 A Relational Account of Call-by-Value Sequentiality. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Mads Tofte, Jean-Pierre Talpin Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
20Bernard Lang Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
20Hugo Herbelin, Silvia Ghilezan An approach to call-by-name delimited continuations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boehm separability, delimited control, observational completeness, classical logic
20Robert Harper 0001, Mark Lillibridge Explicit Polymorphism and CPS Conversion. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
17Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard A functional correspondence between evaluators and abstract machines. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
17Pietro Cenciarelli An Algebraic View of Program Composition. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Sergey Goncharov 0001 Representing Guardedness in Call-by-Value and Guarded Parametrized Monads. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Tatsuya Abe 0001, Daisuke Kimura Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. Search on Bibsonomy FLAP The full citation details ... 2023 DBLP  BibTeX  RDF
15Cynthia Kop, Deivid Vale Complexity Analysis for Call-by-Value Higher-Order Rewriting. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri, Maico Leberle Strong Call-by-Value and Multi Types. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Dániel Horpácsi, Péter Bereczky, Simon J. Thompson Program equivalence in an untyped, call-by-value functional language with uncurried functions. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri, Maico Leberle Strong Call-by-Value and Multi Types. Search on Bibsonomy ICTAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. Search on Bibsonomy LICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Sergey Goncharov 0001 Representing Guardedness in Call-By-Value. Search on Bibsonomy FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Cynthia Kop, Deivid Vale Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. Search on Bibsonomy FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri The theory of call-by-value solvability. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Dániel Horpácsi, Péter Bereczky, Simon J. Thompson Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri The Theory of Call-by-Value Solvability (long version). Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri Call-by-Value Solvability and Multi Types. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
15José Espírito Santo, Luís Pinto 0001, Tarmo Uustalu Plotkin's call-by-value λ-calculus as a modal calculus. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Taro Sekiyama, Takeshi Tsukada CPS transformation with affine types for call-by-value implicit polymorphism. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Giulio Guerrieri, Maico Leberle Semantic Bounds and Strong Call-by-Value Normalization. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Malgorzata Biernacka, Witold Charatonik, Tomasz Drab Strong Call by Value is Reasonable for Time. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen Strong Call-by-Value is Reasonable, Implosively. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
15Ryu Hasegawa Complete Call-by-Value Calculi of Control Operators II: Strong Termination. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  BibTeX  RDF
15Frank S. de Boer, Hans-Dieter A. Hiep Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen Strong Call-by-Value is Reasonable, Implosively. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca Call-By-Value, Again! Search on Bibsonomy FSCD The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 351 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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