Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Felleisen" ( http://dblp.L3S.de/Authors/Matthias_Felleisen )

URL (Homepage):  http://www.ccs.neu.edu/home/matthias/  Author page on DBLP  Author page in RDF  Community of Matthias Felleisen in ASPL-2

Publication years (Num. hits)
1986-1990 (15) 1991-1994 (15) 1995-1998 (19) 1999-2002 (18) 2003-2006 (18) 2007-2009 (15) 2010-2011 (16) 2012 (5)
Publication types (Num. hits)
article(33) book(5) inproceedings(81) proceedings(2)
Venues (Conferences, Journals, ...)
POPL(16) ESOP(9) ICFP(9) PLDI(7) J. Funct. Program.(6) LISP and Functional Programmin...(5) CoRR(4) ACM Trans. Program. Lang. Syst...(3) ECOOP(3) GPCE(3) SIGPLAN Notices(3) Theor. Comput. Sci.(3) Comput. Lang.(2) DLS(2) Higher-Order and Symbolic Comp...(2) Inf. Comput.(2) More (+10 of total 48)
Authors
Matthias Felleisen(121) Shriram Krishnamurthi(21) Matthew Flatt(20) Robert Bruce Findler(20) Daniel P. Friedman(13) Cormac Flanagan(10) Sam Tobin-Hochstadt(9) Bruce F. Duba(7) John Clements(7) Robert Cartwright(7) Amr Sabry(5) Christos Dimoulas(5) Paul T. Graunke(5) Ryan Culpepper(5) Stephen Chang(5) Carl Eastlund(4) More (+10 of total 66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 40 keywords
Results
Found 121 publication records. Showing 121 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stephen Chang, Matthias Felleisen The Call-by-need Lambda Calculus, Revisited Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen Typing the Numeric Tower. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler Run your research: on the effectiveness of lightweight mechanization. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephen Chang, Matthias Felleisen The Call-by-Need Lambda Calculus, Revisited. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen Complete Monitors for Behavioral Contracts. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Matthias Felleisen On contract satisfaction in a higher-order world. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sam Tobin-Hochstadt, Matthias Felleisen The Design and Implementation of Typed Scheme: From Scripts to Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen Stepping Lazy Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen Languages as libraries. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen Correct blame for contracts: no more scapegoating. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Multilingual component programming in racket. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen TeachScheme! Search on Bibsonomy SIGCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ryan Culpepper, Matthias Felleisen Debugging hygienic macros. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stephen Chang, David Van Horn, Matthias Felleisen Evaluating Call-By-Need on the Control Stack Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1T. Stephen Strickland, Matthias Felleisen Contracts for first-class classes. Search on Bibsonomy DLS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sam Tobin-Hochstadt, Matthias Felleisen Logical types for untyped languages. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ryan Culpepper, Matthias Felleisen Fortifying macros. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen TeachScheme!: a checkpoint. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Adding types to untyped languages. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software contracts, type systems, scheme
1Stephen Chang, David Van Horn, Matthias Felleisen Evaluating Call-by-Need on the Control Stack. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carl Eastlund, Matthias Felleisen Hygienic Macros for ACL2. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Shriram Krishnamurthi Viewpoint - Why computer science doesn't matter. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xavier Leroy, Matthias Felleisen Editorial. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt Semantics Engineering with PLT Redex. Search on Bibsonomy 2009   RDF
1Carl Eastlund, Matthias Felleisen Toward a Practical Module System for ACL2. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1T. Stephen Strickland, Matthias Felleisen Contracts for first-class modules. Search on Bibsonomy DLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi A functional I/O system or, fun for freshman kids. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF introductory programming
1Carl 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
1Christos Dimoulas, Riccardo Pucella, Matthias Felleisen Future contracts. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software reliability, contracts, behavioral specifications, higher-order functions
1T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen Practical Variable-Arity Polymorphism. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Why teach programming languages in this day and age and how to go about it. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Sam Tobin-Hochstadt, Matthias Felleisen The design and implementation of typed scheme. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, scheme
1Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen Implementation and use of the PLT scheme Web server. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
1Martin Hofmann, Matthias Felleisen (eds.) Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 Search on Bibsonomy POPL The full citation details ... 2007 DBLP  BibTeX  RDF
1Ryan Culpepper, Matthias Felleisen Debugging macros. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen Adding delimited and composable control to a production programming environment. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Meunier, Robert Bruce Findler, Matthias Felleisen Modular set-based analysis from contracts. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modular analysis, runtime contracts, static debugging, set-based analysis
1Sam Tobin-Hochstadt, Matthias Felleisen Interlanguage migration: from scripts to programs. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interlanguage migration, contract, ?-calculus, module systems
1Matthew Flatt, Robert Bruce Findler, Matthias Felleisen Scheme with Classes, Mixins, and Traits. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dale 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
1Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Richard Cobbe, Matthias Felleisen Environmental acquisition revisited. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF environmental acquisition, object containment, object-oriented languages, object composition
1Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen Continuations from generalized stack inspection. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
1Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen Automatically Restructuring Programs for the Web. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lambda lifting, Web programming, continuation-passing style, CGI, closure conversion
1John Clements, Matthias Felleisen A tail-recursive machine with stack inspection. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF tail call optimization, Stack inspection, tail recursion
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi The structure and interpretation of the computer science curriculum. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ryan Culpepper, Matthias Felleisen Taming Macros. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Functional Objects. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthew Flatt, Matthias Felleisen Semantic Casts: Contracts and Structural Subtyping in a Nominal World. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen Validating the Unit Correctness of Spreadsheet Programs. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Welcome to the Educational Pearls Column. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Modeling Web Interactions. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John Clements, Matthias Felleisen A Tail-Recursive Semantics for Stack Inspections. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen DrScheme: a programming environment for Scheme. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mark Logan, Matthias Felleisen, David N. Blank-Edelman Environmental Acquisition in Network Management. Search on Bibsonomy LISA The full citation details ... 2002 DBLP  BibTeX  RDF
1Matthias Felleisen From POPL to the classroom and back. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Felleisen Contracts for higher-order functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
1Matthias Felleisen Developing Interactive Web Programs. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ron Cytron, Matthias Felleisen SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2001 DBLP  BibTeX  RDF
1Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Automatically Restructuring Programs for the We. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Felleisen Contract Soundness for Object-Oriented Languages. Search on Bibsonomy OOPSLA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Mario Latendresse, Matthias Felleisen Behavioral contracts and behavioral subtyping. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen Programming the Web with High-Level Programming Languages. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John Clements, Matthew Flatt, Matthias Felleisen Modeling an Algebraic Stepper. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Matthias Felleisen Componential Set-Based Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF soft typing, program analysis, scheme, static debugging, constraint-based analysis
1Cormac Flanagan, Matthias Felleisen The Semantics of Future and an Application. Search on Bibsonomy J. Funct. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba From Macros to Reusable Generative Programming. Search on Bibsonomy GCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Robert Cartwright Safety as a Metric. (PDF / PS) Search on Bibsonomy CSEE&T The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen A Programmer's Reduction Semantics for Classes and Mixins. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen Expressing Structural Properties as Language Constructs. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi The DrScheme Project: An Overview. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Matthias Felleisen Units: Cool Modules for HOT Languages. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML, SCHEME
1Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen Classes and Mixins. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
1Matthias Felleisen, Paul Hudak, Christian Queinnec (eds.) Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  BibTeX  RDF
1Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman Synthesizing Object-Oriented and Functional Design to Promote Re-Use. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi, Matthias Felleisen Toward a Formal Theory of Extensible Software. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Matthias Felleisen Program Units as Higher-Order Modules. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zena M. Ariola, Matthias Felleisen The Call-By-Need lambda Calculus. Search on Bibsonomy J. Funct. Program. The full citation details ... 1997 DBLP  BibTeX  RDF
1Cormac Flanagan, Matthias Felleisen Componential Set-Based Analysis. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
1Robert Cartwright, Matthias Felleisen Program Verification Through Soft Typing. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Daniel P. Friedman The little MLer. Search on Bibsonomy 1996   RDF
1Daniel P. Friedman, Matthias Felleisen The little schemer (4. ed.). Search on Bibsonomy 1996   RDF
1Daniel P. Friedman, Matthias Felleisen The seasoned schemer. Search on Bibsonomy 1996   RDF
1Matthias Felleisen, Daniel P. Friedman A little Java, a few patterns. Search on Bibsonomy 1996   RDF
1Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen Static Debugging: Browsing the Web of Program Invariants. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Matthias Felleisen The Semantics of Future and Its Use in Program Optimizations. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MULTILISP
1Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler The Call-by-Need Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1J. Gregory Morrisett, Matthias Felleisen, Robert Harper Abstract Models of Memory Management. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Andrew K. Wright, Matthias Felleisen A Syntactic Approach to Type Soundness Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen Fully Abstract Semantics for Observably Sequential Languages Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Amr Sabry, Matthias Felleisen Is Continuation-Passing Useful for Data Flow Analysis? Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Robert Cartwright, Matthias Felleisen Extensible Denotational Language Specifications. Search on Bibsonomy TACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Amr Sabry, Matthias Felleisen Reasoning about Programs in Continuation-Passing Style. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1993 DBLP  BibTeX  RDF
1Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The Essence of Compiling with Continuations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The essence of compiling with continuations (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Stephen Weeks, Matthias Felleisen On the Orthogonality of Assignments and Procedures in Algol. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ALGOL-60, ALGOL
1Matthias Felleisen, Robert Hieb The Revised Report on the Syntactic Theories of Sequential Control and State. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 121 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.