The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1936-1963 (18) 1964-1966 (20) 1967-1968 (16) 1969-1971 (19) 1972-1973 (30) 1974 (29) 1975 (43) 1976 (26) 1977 (62) 1978 (35) 1979 (21) 1980 (70) 1981 (85) 1982 (92) 1983 (71) 1984 (49) 1985 (68) 1986 (100) 1987 (154) 1988 (211) 1989 (199) 1990 (270) 1991 (190) 1992 (239) 1993 (280) 1994 (307) 1995 (332) 1996 (305) 1997 (431) 1998 (530) 1999 (632) 2000 (746) 2001 (902) 2002 (1061) 2003 (1164) 2004 (1578) 2005 (2033) 2006 (2176) 2007 (2606) 2008 (2413) 2009 (1959) 2010 (898) 2011 (511) 2012 (501) 2013 (584) 2014 (494) 2015 (580) 2016 (585) 2017 (605) 2018 (557) 2019 (583) 2020 (590) 2021 (571) 2022 (667) 2023 (627) 2024 (124)
Publication types (Num. hits)
article(6201) book(224) data(1) incollection(850) inproceedings(22336) phdthesis(314) proceedings(123)
Venues (Conferences, Journals, ...)
WG(1315) ACIVS(991) CoRR(706) SIGCSE(361) HICSS(261) GPCE(213) ITiCSE(160) Database Technologies: Concept...(159) WSC(140) SAC(131) DASFAA(124) CogSci(108) ICALT(107) ACM Multimedia(105) ICCS(102) ISCO(100) More (+10 of total 4766)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21168 occurrences of 7577 keywords

Results
Found 30049 publication records. Showing 30049 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
63Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
48Liza Leslie, Tat-Seng Chua, Ramesh C. Jain Annotation of paintings with high-level semantic concepts using transductive inference and ontology-based concept disambiguation. Search on Bibsonomy ACM Multimedia The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-expert, ontology-based disambiguation, paintings, concepts ontology, transductive inference
44Haim Shvaytser Learnable and Nonlearnable Visual Concepts. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF learnable visual concepts, nonlearnable visual concepts, Valiant's theory, pattern recognition, learning systems, learnability
42Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain Ontology-Based Annotation of Paintings Using Transductive Inference Framework. Search on Bibsonomy MMM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multi-expert, Paintings, Concepts Ontology, Transductive inference
41Matthew Canton The presence table: a reactive surface for ambient connection. Search on Bibsonomy TEI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
41Albert Le Xuan, Rajjan Shinghal Courseware Development by Topdown Conceptual Analysis. Search on Bibsonomy ICCAL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Topdown Conceptual Analysis, Subordinate Concepts, Coordinate Concepts, Supra-ordinate Concepts, Discrimination & Chains, Generalization, Conceptual Structure
41Peter Gottschling, Andrew Lumsdaine Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semantic verification, optimization, c++, concepts, loop unrolling, semantic properties
41Shi Wang, Yanan Cao, Xinyu Cao, Cungen Cao 0001 Learning Concepts from Text Based on the Inner-Constructive Model. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concepts acquisition, Concept Inner-Constructive Model, text mining, knowledge discovery
41Terence R. Smith, Marcia Lei Zeng, Olga Agapova, Olha A. Buchel, Michael Freeston, James Frew, Linda L. Hill, Laura Smart, Tim Tierney, Alex Ushakov Structured models of scientific concepts for organizing, accessing, and using learning materials. Search on Bibsonomy JCDL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF physical geography, ontologies, models, education, digital libraries, teaching, knowledge bases, concepts, learning materials
40Ralph-Johan Back, Joakim von Wright Refinement Concepts Formalized in Higher Order Logic. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
40Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou Ponder: Realising Enterprise Viewpoint Concepts. Search on Bibsonomy EDOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs
37Radim Belohlávek, Vladimir Sklenar, Jiri Zacpal Crisply Generated Fuzzy Concepts. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Stephen Kwek Learning Intermediate Concepts. Search on Bibsonomy ALT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF multiple concepts, mistake bound algorithm, PAC learning, membership queries, exact learning
35Michael J. Kearns, Robert E. Schapire Efficient Distribution-free Learning of Probabilistic Concepts (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF p-concepts, uncertain behaviour, distribution-free learning, probabilistic concepts, probabilistic behavior, weather prediction, model, machine learning
33Giovanni Sartor Legal concepts as inferential nodes and ontological categories. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Legal concepts, Ontology, Inference
33Andreas Zendler, Christian Spannagel Empirical Foundation of Central Concepts for Computer Science Education. Search on Bibsonomy ACM J. Educ. Resour. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Central concepts, fundamental ideas
33Martin Raubal Representing Concepts in Time. Search on Bibsonomy Spatial Cognition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF representation, algebraic specifications, concepts, time geography, Conceptual spaces
33Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. Search on Bibsonomy ICCSA (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP
32Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Search on Bibsonomy Models: Concepts, Theory, Logic, Reasoning and Semantics The full citation details ... 2018 DBLP  BibTeX  RDF
32Reiji Suda, Ken Naono, Keita Teranishi, John Cavazos Software Automatic Tuning: Concepts and State-of-the-Art Results. Search on Bibsonomy Software Automatic Tuning, From Concepts to State-of-the-Art Results The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Edgar R. Weippl, Markus D. Klemen, Stefan Raffeiner Improving Storage Concepts for Semantic Models and Ontologies. Search on Bibsonomy Database Technologies: Concepts, Methodologies, Tools, and Applications The full citation details ... 2009 DBLP  BibTeX  RDF
32Johan Jeuring Algorithms for Theorems. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Beverly A. Sanders Stepwise Refinement of Mixed Specifications of Concurrent Programs. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Pierre America, Frank S. de Boer A Proof System for Process Creation. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Shmuel Katz, Ira R. Forman, Michael Evangelist Language Constructs for Distributed Systems. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Jifeng He 0001, Mark B. Josephs, Charles Antony Richard Hoare A Theory of Synchrony and Asynchrony. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Christine Lafontaine Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Yolanda Ortega-Mallén, David de Frutos-Escrig Timed Observations: A Semantic Model for Real-Time Concurrency. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Limor Fix, Nissim Francez, Orna Grumberg Sematics-Driven Decompositions for the Verification of Distributed Programs. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Ursula Martin, Tobias Nipkow Automating Squiggol. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Jules Desharnais, Nazim H. Madhavji Abstract Relational Specifications. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Rob J. van Glabbeek The Refinement Theorem for ST-bisimulation Semantics. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Martin C. Henson Information Loss in the Programming Logic TK. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Albert Dietl Global Control for Communicating Processes. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Philip Wadler Linear Types can Change the World! Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Matthias Weber 0003 Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Jan J. M. M. Rutten Deriving Denotational Models for Bisimulation from Structured Operational Semantics. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Stephen J. Garland, John V. Guttag Using LP to Debug Specifications. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka Algebraic Reasoning for Probabilistic Concurrent Systems. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Furio Honsell, Simona Ronchi Della Rocca Reasoning About Interpretations in Qualitative λ-Models. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron ATP: an Algebra for Timed Processes. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Luca Cardelli, Xavier Leroy Abstract Types and the Dot Notation. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Rudolf Berghammer, Herbert Ehler, Bernhard Möller On the Refinement of Non-Deterministic Recursive Routines by Transformations. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32David M. Goldschlag Mechanizing Unity. Search on Bibsonomy Programming Concepts and Methods The full citation details ... 1990 DBLP  BibTeX  RDF
32Oscar Nierstrasz A Survey of Object-Oriented Concepts. Search on Bibsonomy Object-Oriented Concepts, Databases, and Applications The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop Conditional axioms and α/β-calculus in process algebra. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Jean-Pierre Jouannaud, B. Waldmann Reductive conditional term rewriting systems. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Peter D. Mosses, David A. Watt The use of action semantics. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog Failures without chaos: a new process semantics for fair abstraction. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Susumu Hayashi PX: a system extracting programs from proofs. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32M. Chadili, Irène Guessarian Notions of fairness for synchronous fork join nets. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Eike Best, Raymond R. Devillers Interleaving and partial orders in concurrency: a formal comparison. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Roberto M. Amadio, Giuseppe Longo Type-free compiling of parametric types. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Sarangapani Jagannathan A model of data backup and recovery in a computer system for functional programming. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Grazyna Mirkowska, Andrzej Salwicki Axiomatic definability of programming language semantics. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Matthias Felleisen, Daniel P. Friedman Control operators, the SECD-machine, and the λ-calculus. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Scott A. Smolka, Robert E. Strom A CCS semantics for NIL. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Saumya K. Debray, Prateek Mishra Denotational and operational semantics for PROLOG. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher PROLOG - II as an instance of the logic programming language scheme. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Mariangiola Dezani-Ciancaglini, Ines Margaria Polymorphic types, fixed-point combinators and continuous lambda-models. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Frank S. de Boer A proof rule for process-creation. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Pierpaolo Degano, Rocco De Nicola, Ugo Montanari Observational equivalences for concurrency models. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
32Manfred Broy, Martin Wirsing On the Algebraic Specification of Finitary Infinite. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Jan A. Bergstra, Jan Willem Klop Formal Proof Systems for Program Equivalence. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Ruurd Kuiper 0001, Willem P. de Roever Fairness Assumptions for CSP in a Temporal Logic Framework. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Manfred Broy Fixed PointTheory for Communication and Concurrency. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Guy Cousineau Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Guy Cousineau Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Peter Padawitz Equational Data Type Specifications and Recursive Program Schemes. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Ilaria Castellani, Paola Franceschi, Ugo Montanari Labeled Event Structures: A Model for Observable Concurrency. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Gordon D. Plotkin An Operational Semantics for CSP. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Jaco de Bakker Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado Properties of Conceptual and External Database Schemas. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Hartmann J. Genrich, P. S. Thiagarajan Well-Formed Flow Charts for Concurrent Programming. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Marie-Claude Gaudel Correctness Proof of Programming Language Translations. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Erich J. Neuhold Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32P. Lucas Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Harald Ganzinger Denotational Semantics for Languages with Modules. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Andrea Maggiolo-Schettini, Józef Winkowski Towards a Programming Language for Manipulating Relational Data Bases. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Eric G. Wagner Functorial Hierarchies of Functional Languages. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Eike Best Relational Semantics of Concurrent Programs (With Some Applications). Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig Recursive Decomposition Ordering. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Peter D. Mosses Abstract Semantic Algebras. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Andrzej Blikle Session Discussion. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Matthew C. B. Hennessy, Wei Li 0022 Translating a Subset of Ada into CCS. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Henning Christiansen 0001, Neil D. Jones Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
32Krzysztof R. Apt Equivalence of Operational and Denotational Semantics for a Fragment of Pascal. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Reiji Nakajima, Michio Honda, Hayao Nakahara Describing and Verifying Programs with Abstract Data Types. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Maarten M. Fokkinga Axiomatization of Declarations and the Formal Treatment of an Escape Construct. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Richard J. Lipton, Lawrence Snyder On the Power of Applicative Languages. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Fred Kröger A Uniform Logical Basis for the Description, Specification and Verification of Programs. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32John V. Guttag, James J. Horning, Ralph L. London A Proof Rule for Euclid Procedures. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Jaco de Bakker Recursive Programs as Predicate Transformers. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Patrick Cousot, Radhia Cousot Static Determination of Dynamic Properties of Recursive Procedures. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Axel van Lamsweerde From Verifying Termination to Guaranteeing it: A Case Study. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Arvind, Kim P. Gostelow Some Relationships Between Asynchronous Interpreters of a Dataflow Language. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Peter E. Lauer, Eike Best, Michael W. Shields On the Problem of Achieving Adequacy of Concurrent Programs. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Willem P. de Roever On Backtracking and Greatest Fixpoints. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Werner Damm, Elfriede Fehr, Klaus Indermark Higher Type Recursion and Self-Application as Control Structures. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
32Daniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa Models of Hierarchical Machine Support. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 30049 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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