Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Erwig" ( http://dblp.L3S.de/Authors/Martin_Erwig )

URL (Homepage):  http://web.engr.oregonstate.edu/~erwig/  Author page on DBLP  Author page in RDF  Community of Martin Erwig in ASPL-2

Publication years (Num. hits)
1991-1997 (15) 1998-2000 (18) 2001-2004 (17) 2005-2006 (16) 2007-2009 (21) 2010-2011 (17) 2012 (1)
Publication types (Num. hits)
article(32) book(1) incollection(1) inproceedings(71)
Venues (Conferences, Journals, ...)
VL/HCC(16) J. Vis. Lang. Comput.(7) VL(7) J. Funct. Program.(6) DSL(4) AMAST(3) ICSE(3) PADL(3) SLE(3) ACM Trans. Softw. Eng. Methodo...(2) ASE(2) Grundlagen von Datenbanken(2) IEEE Trans. Knowl. Data Eng.(2) Implementation of Functional L...(2) PEPM(2) Sci. Comput. Program.(2) More (+10 of total 54)
Authors
Martin Erwig(105) Robin Abraham(19) Markus Schneider(13) Eric Walkingshaw(11) Ralf Hartmut Güting(8) Deling Ren(6) Chris Chambers(5) Margaret M. Burnett(5) Steve Kollmansberger(5) Tim Bauer(5) Alan Fern(4) Jervis Pinto(4) Zhe Fu(4) Michalis Vazirgiannis(3) Ben Pflaum(2) Christian S. Jensen(2) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 84 occurrences of 63 keywords
Results
Found 105 publication records. Showing 105 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Martin Erwig, Rahul Gopinath Explanations for Regular Expressions. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig Improving Policy Gradient Estimates with Influence Information. Search on Bibsonomy Journal of Machine Learning Research - Proceedings Track The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw The Choice Calculus: A Representation for Software Variation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric Walkingshaw, Martin Erwig A DSEL for Studying and Explaining Causation Search on Bibsonomy DSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto Adaptation-Based Programming in Haskell Search on Bibsonomy DSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrew J. Ko, Robin Abraham, Laura Beckwith, Alan F. Blackwell, Margaret M. Burnett, Martin Erwig, Christopher Scaffidi, Joseph Lawrance, Henry Lieberman, Brad A. Myers, Mary Beth Rosson, Gregg Rothermel, Mary Shaw, Susan Wiedenbeck The state of the art in end-user software engineering. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sheng Chen, Martin Erwig Optimizing the Product Derivation Process. Search on Bibsonomy SPLC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Duc Le, Eric Walkingshaw, Martin Erwig #ifdef confirmed harmful: Promoting understandable software variation. Search on Bibsonomy VL/HCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto Adaptation-based programming in java. Search on Bibsonomy PEPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw Semantics First! - Rethinking the Language Design Process. Search on Bibsonomy SLE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chris Chambers, Martin Erwig Reasoning about spreadsheets with labels and dimensions. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw Causal Reasoning with Neuron Diagrams. Search on Bibsonomy VL/HCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jácome Cunha, Martin Erwig, João Saraiva Automatically Inferring ClassSheet Models from Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chris Chambers, Martin Erwig, Markus Luckey SheetDiff: A Tool for Identifying Changes in Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Erwig A Language for Software Variation Research. Search on Bibsonomy SLE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Erwig A language for software variation research. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig Robust Learning for Adaptive Programs by Leveraging Program Structure. Search on Bibsonomy ICMLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw Program fields for continuous software. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig Mutation Operators for Spreadsheets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Erwig Software Engineering for Spreadsheets. Search on Bibsonomy IEEE Software The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris Chambers, Martin Erwig Automatic detection of dimension errors in spreadsheets. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Walkingshaw, Martin Erwig A domain-specific language for experimental game theory. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris Chambers, Martin Erwig Combining spatial and semantic label analysis. Search on Bibsonomy VL/HCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw Visual explanations of probabilistic reasoning. Search on Bibsonomy VL/HCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tim Bauer, Martin Erwig Declarative Scripting in Haskell. Search on Bibsonomy SLE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw A DSL for Explaining Probabilistic Reasoning. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Walkingshaw, Martin Erwig Varying Domain Representations in Hagl. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Margaret M. Burnett, Martin Erwig Spreadsheet Programming. Search on Bibsonomy Wiley Encyclopedia of Computer Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Eric Walkingshaw A visual language for representing and explaining strategies in game theory. Search on Bibsonomy VL/HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chris Chambers, Martin Erwig Dimension inference in spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig Test-driven goal-directed debugging in spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Deling Ren An update calculus for expressing type-safe program updates. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig ClassSheets - model-based, object-oriented design of spreadsheet applications. Search on Bibsonomy Journal of Object Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig UCheck: A spreadsheet type checker for end users. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Zhe Fu, Ben Pflaum Parametric Fortran: program generation in scientific computing. Search on Bibsonomy Journal of Software Maintenance The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig, Scott Andrew A Type System Based on End-User Vocabulary. Search on Bibsonomy VL/HCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Robin Abraham Understanding and Building Spreadsheet Tools. Search on Bibsonomy VL/HCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig Exploiting Domain-Specific Structures For End-User Programming Support Tools. Search on Bibsonomy End-User Software Engineering The full citation details ... 2007 DBLP  BibTeX  RDF
1Robin Abraham, Martin Erwig GoalDebug: A Spreadsheet Debugger for End Users. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Erwig Visual type inference. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein Gencel: a program generator for correct spreadsheets. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Steve Kollmansberger Functional Pearls: Probabilistic functional programming in Haskell. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Steve Kollmansberger Modeling Genome Evolution with a DSEL for Probabilistic Programming. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Probabilistic Programming, Genome Evolution, Functional Programming, Haskell
1Robin Abraham, Martin Erwig AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joseph Lawrance, Robin Abraham, Margaret M. Burnett, Martin Erwig Sharing reasoning about faults in spreadsheets: An empirical study. Search on Bibsonomy VL/HCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Zhe Fu, Ben Pflaum Generic programming in Fortran. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software maintenance, reuse, Fortran, haskell, scientific computing, generic programming, program generation
1Robin Abraham, Martin Erwig Type inference for spreadsheets. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inference, templates, end-user software engineering
1Robin Abraham, Martin Erwig Inferring templates from spreadsheets. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF spreadsheet specification, template inference, end-user software engineering
1Deling Ren, Martin Erwig A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF traversal strategy, generic programming
1Martin Erwig, Zhe Fu Software reuse for scientific computing through program generation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ocean science, Fortran, Software reuse, type system, Haskell, program generator, inverse modeling
1Robin Abraham, Martin Erwig How to communicate unit error messages in spreadsheets. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis, spreadsheet, end-user software engineering, error messages
1Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert Visual Specifications of Correct Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig Goal-Directed Debugging of Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Static Analysis, Debugging, Spreadsheet, End-User Software Engineering
1Gregor Engels, Martin Erwig ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, spreadsheet, end-user software engineering
1Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger Automatic generation and maintenance of correct spreadsheets. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type system, template, spreadsheet, end-user software engineering, program generation, error prevention
1Martin Erwig, Deling Ren Monadification of functional programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin Erwig Escape from Zurg: an exercise in logic programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Zhe Fu Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robin Abraham, Martin Erwig Header and Unit Inference for Spreadsheets Through Spatial Analyses. Search on Bibsonomy VL/HCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin Erwig Xing: a visual XML query language. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, Markus Schneider, Jose Ramon Rios Viqueira Spatio-temporal Models and Languages: An Approach Based on Data Types. Search on Bibsonomy Spatio-Temporal Databases: The CHOROCHRONOS Approach The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Erwig Toward the Automatic Derivation of XML Transformations. Search on Bibsonomy ER (Workshops) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Jianglin He KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. Search on Bibsonomy DEXA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Deling Ren Programming Type-Safe Program Updates. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider Spatio-Temporal Predicates. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Time in geographic information, spatio-temporal data types, representation of spatio-temporal objects, changes of spatial predicates, developments of spatial objects
1Martin Erwig, Deling Ren A rule-based language for programming software updates. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2002 DBLP  DOI  BibTeX  RDF type change, update program, update safey, Haskell, type correctness
1Martin Erwig, Margaret M. Burnett Adding Apples and Oranges. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF First-Order Functional Language, End-User Programming, Spreadsheet, Type Checking, Unit
1Margaret M. Burnett, Martin Erwig Visually Customizing Inference Rules About Apples and Oranges. Search on Bibsonomy HCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Deling Ren A rule-based language for programming software updates. Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF type change, update program, update safey, type correctness
1Martin Erwig Inductive graphs and functional graph algorithms. Search on Bibsonomy J. Funct. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Erwig Programs Are Abstract Data Types. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Erwig The graph Voronoi diagram with applications. Search on Bibsonomy Networks The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider, Michalis Vazirgiannis A foundation for representing and querying moving objects. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF moving point, moving region, spatio-temporal data types, moving objects, abstract data types, algebra, spatio-temporal databases
1Martin Erwig, Simon L. Peyton Jones Pattern Guards and Transformational Patterns. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin Erwig A Visual Language for XML. (PDF / PS) Search on Bibsonomy VL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases. Search on Bibsonomy VDB The full citation details ... 2000 DBLP  BibTeX  RDF
1Martin Erwig Random Access to Abstract Data Types. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF adt, graph algorithm, category theory, catamorphism
1Martin Erwig, Ralf Hartmut Güting, Markus Schneider, Michalis Vazirgiannis Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases. Search on Bibsonomy GeoInformatica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ralf Hartmut Güting, Martin Erwig Übersetzerbau - Techniken, Werkzeuge, Anwendungen Search on Bibsonomy 1999   RDF
1Martin Erwig, Markus Schneider Visual Specification of Spatio-Temporal Developments. (PDF / PS) Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Object Traces, Spatio-Temporal Databases, Predicates
1Martin Erwig Visual Graphs. (PDF / PS) Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Visualization, Semantics, Graph, Abstract Syntax
1Martin Erwig, Markus Schneider Developments in Spatio-Temporal Query Languages. (PDF / PS) Search on Bibsonomy DEXA Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Spatio-Temporal Query Language, Changes in Spatial Situations, SQL, Abstract Data Types
1Martin Erwig, Markus Schneider The Honeycomb Model of Spatio-Temporal Partitions. Search on Bibsonomy Spatio-Temporal Database Management The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Martin Erwig Abstract Syntax and Semantics of Visual Languages. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin Erwig Diets for Fat Sets. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin Erwig Visual Semantics - Or: What You See is What You Compute. Search on Bibsonomy VL The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin Erwig Categorical Programming with Abstract Data Types. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider, Ralf Hartmut Güting Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations. Search on Bibsonomy ER Workshops The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin Erwig, Ralf Hartmut Güting, Markus Schneider, Michalis Vazirgiannis Abstract and Discrete Modeling of Spatio-Temporal Data Types. Search on Bibsonomy ACM-GIS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin Erwig Semantics of Visual Languages. Search on Bibsonomy VL The full citation details ... 1997 DBLP  BibTeX  RDF
1Martin Erwig Functional Programming with Graphs. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider Vague Regions. Search on Bibsonomy SSD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Erwig Fully Persistent Graphs - Which One To Choose? Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Markus Schneider Partition and Conquer. Search on Bibsonomy COSIT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Erwig Active Patterns. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martin Erwig, Bernd Meyer Heterogeneous Visual Languages-Integrating Visual and Textual Programming. (PDF / PS) Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages
1Martin Erwig, Ralf Hartmut Güting Explicit Graphs in a Functional Model for Spatial Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF explicit graphs, order-sorted algebra, data type hierarchies, explicit modeling tool, explicit paths, object type hierarchy, dynamic generalization, spatial data types, spatially embedded networks, rivers, multilevel order-sorted algebra, query processing, graph theory, query languages, query language, data model, data modeling, spatial databases, database theory, visual databases, edges, nodes, functional model, public transport, graph structures, highways, object hierarchies
1Martin Erwig Graphs in Spatial Databases. Search on Bibsonomy GI Datenbank Rundbrief The full citation details ... 1994 DBLP  BibTeX  RDF
1Martin Erwig DEAL - A Language for Depicting Algorithms. Search on Bibsonomy VL The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 105 (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.