The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase set-constraints (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-1994 (18) 1995-1997 (15) 1998-2000 (19) 2001-2002 (18) 2003-2004 (15) 2005-2008 (18) 2009-2013 (15) 2014-2023 (16) 2024 (3)
Publication types (Num. hits)
article(48) inproceedings(88) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 79 occurrences of 53 keywords

Results
Found 137 publication records. Showing 137 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58Witold Charatonik, Andreas Podelski Set Constraints with Intersection. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
40Witold Charatonik, Leszek Pacholski Set constraints with projections are in NEXPTIME Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints
31Witold Charatonik, Jean-Marc Talbot Atomic Set Constraints with Projection. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot Entailment of Atomic Set Constraints is PSPACE-Complete. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27John Kodumal, Alex Aiken Regularly annotated set constraints. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability
25Rémi Gilleron, Sophie Tison, Marc Tommasi Solving Systems of Set Constraints with Negated Subset Relationships Search on Bibsonomy FOCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF systems of set constraints, negated subset relationships, tree automata techniques, satisfiability, decision procedure, regular tree languages
22John Kodumal, Alexander Aiken The set constraint/CFL reachability connection in practice. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF flow analysis, type qualifiers, set constraints, context-free language reachability
22Allan Cheng, Dexter Kozen A Complete Gentzen-Style Axiomatization for Set Constraints. Search on Bibsonomy ICALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Guido Tack, Christian Schulte 0001, Gert Smolka Generating Propagators for Finite Set Constraints. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Rémi Gilleron, Sophie Tison, Marc Tommasi Solving Systems of Set Constraints using Tree Automata. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Agostino Dovier, Carla Piazza, Gianfranco Rossi Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
20David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin Efficient field-sensitive pointer analysis of C. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pointer analysis, Set-constraints
20Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch ACID-Unification Is NEXPTIME-Decidable. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF E-Unification, Dag automata, Complexity, Tree automata, Set constraints
19Witold Charatonik, Andreas Podelski Co-definite Set Constraints. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
18Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch Unification Modulo ACU I Plus Homomorphisms/Distributivity. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem
18Roberto M. Amadio, Witold Charatonik On Name Generation and Set-Based Analysis in the Dolev-Yao Model. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF name generation, verification, cryptographic protocols, set constraints
18Pawel Rychlikowski, Tomasz Truderung Set Constraints on Regular Terms. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Jean Goubault-Larrecq Higher-Order Positive Set Constraints. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Dexter Kozen Rational Spaces and Set Constraints. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
18Dexter Kozen Logical Aspects of Set Constraints. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Tomás E. Uribe Sorted Unification Using Set Constraints. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
17Fabrice Bouquet, Bruno Legeard, Fabien Peureux CLPS-B - A Constraint Solver for B. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
15Franz Baader A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
15Leszek Pacholski, Andreas Podelski Set Constraints: A Pearl in Research on Constraints. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Alexander Aiken, Dexter Kozen, Edward L. Wimmers Decidability of Systems of Set Constraints with Negative Constraints Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Kjartan Stefánsson Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Hubert Comon, Véronique Cortier, John Mitchell Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers The Complexity of Set Constraints. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15Gianfranco Rossi From set unification to set constraints. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Gianfranco Rossi From Set Unification to Set Constraints. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
15Agha Iqbal Ali Reformulation of the set partitioning problem as apure network with special order set constraints. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Nevin Heintze, Joxan Jaffar Set Constraints and Set-Based Analysis. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Carmen Gervet Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
15Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner Staged information flow for javascript. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF integrity, web applications, confidentiality, flow analysis, set constraints
15Azzam Maraee, Mira Balaban Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. Search on Bibsonomy ECMDA-FA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
15Fabrice Bouquet, Bruno Legeard, Fabien Peureux CLPS-B - A constraint solver to animate a B specification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
15Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch Unification Modulo ACUI Plus Distributivity Axioms. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem
15David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin Efficient field-sensitive pointer analysis for C. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pointer analysis, set-constraints
15Thomas W. Reps Undecidability of context-sensitive data-independence analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
14V. Wiktor Marek, Jeffrey B. Remmel Set Constraints in Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Pawel Mielniczuk, Leszek Pacholski Tarskian Set Constraints Are in NEXPTIME. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
11Francisco Azevedo Cardinal: A Finite Sets Constraint Solver. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP
11Martin Müller 0001, Joachim Niehren, Andreas Podelski Inclusion Constraints over Non-empty Sets of Trees. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11John P. Gallagher, Germán Puebla Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Chang-Duo Liang, Ming-Feng Ge, Zhi-Wei Liu, Zhi-Wei Gu, Qian Chen Distributed Predefined-Time Optimization Control for Networked Marine Surface Vehicles Subject to Set Constraints. Search on Bibsonomy IEEE Trans. Intell. Transp. Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
10Meng Luan, Guanghui Wen, Hongzhe Liu, Tingwen Huang, Guanrong Chen, Wenwu Yu Distributed Discrete-Time Convex Optimization With Closed Convex Set Constraints: Linearly Convergent Algorithm Design. Search on Bibsonomy IEEE Trans. Cybern. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
10Hongli Wang, Yuqiang Feng, Liguo Fei Uncertain linear programming with cloud set constraints integrating fuzziness and randomness. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
10Nand Sharma, Joshua Millstein CausNet: generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints. Search on Bibsonomy BMC Bioinform. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
10Ping Zhan A Simple Characterization of Assignment Mechanisms on Set Constraints. Search on Bibsonomy Oper. Res. Forum The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
10Yao Zou, Kewei Xia, Bomin Huang, Ziyang Meng Distributed Optimization for Second-Order Discrete-Time Multiagent Systems With Set Constraints. Search on Bibsonomy IEEE Trans. Neural Networks Learn. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
10Nand Sharma, Joshua Millstein CausNet : Generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Chenyang Liu, Xiaohua Dou, Songsong Cheng, Yuan Fan A Gradient-free Penalty ADMM for Solving Distributed Convex Optimization Problems with Feasible Set Constraints. Search on Bibsonomy ICARCV The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Kaihong Lu, Qixin Zhu Distributed Algorithms Involving Fixed Step Size for Mixed Equilibrium Problems With Multiple Set Constraints. Search on Bibsonomy IEEE Trans. Neural Networks Learn. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
10Ruidong Yan, Hongwei Du 0001, Yi Li 0030, Wenping Chen, Yongcai Wang, Yuqing Zhu 0002, Deying Li 0001 Target users' activation probability maximization with different seed set constraints in social networks. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
10Joseph Eremondi Set Constraints, Pattern Match Analysis, and SMT. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
10Joseph Eremondi Set Constraints, Pattern Match Analysis, and SMT. Search on Bibsonomy TFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
10Catherine Dubois, Sulyvan Weppe Towards Coq Formalisation of {log} Set Constraints Resolution. Search on Bibsonomy SETS@ABZ The full citation details ... 2018 DBLP  BibTeX  RDF
10Michael Leuschel Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk). Search on Bibsonomy SETS@ABZ The full citation details ... 2018 DBLP  BibTeX  RDF
10Shilp Dixit, Umberto Montanaro, Saber Fallah, Mehrdad Dianati, David Oxtoby, Tom Mizutani, Alexandros Mouzakitis Trajectory Planning for Autonomous High-Speed Overtaking using MPC with Terminal Set Constraints. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
10Sergey Dovgal, Vlady Ravelomanana Shifting the Phase Transition Threshold for Random Graphs Using Degree Set Constraints. Search on Bibsonomy LATIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
10Rintaro Ikeshita, Masahito Togami, Yohei Kawaguchi, Yusuke Fujita, Kenji Nagamatsu Local Gaussian model with source-set constraints in audio source separation. Search on Bibsonomy MLSP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
10Huaxian Cai, Tian Tian, Yilin Cai Linear Programming Problem for Nonlinear Convex Set Constraints Based on Nonlinear Neural Network. Search on Bibsonomy J. Digit. Inf. Manag. The full citation details ... 2014 DBLP  BibTeX  RDF
10Hao Han, Lihong Li 0002, Chaijie Duan, Hao Zhang 0026, Yang Zhao, Zhengrong Liang A unified EM approach to bladder wall segmentation with coupled level-set constraints. Search on Bibsonomy Medical Image Anal. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
10Manuel Bodirsky, Martin Hils Tractable Set Constraints. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
10Franz Baader, Alexander Okhotin Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
10Victor W. Marek, Jeffrey B. Remmel Disjunctive Programs with Set Constraints. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
10Manuel Bodirsky, Martin Hils, Alex Krimkevitch Tractable Set Constraints Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
10Justin Yip, Pascal Van Hentenryck Checking and Filtering Global Set Constraints. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
10Manuel Bodirsky, Martin Hils, Alex Krimkevitch Tractable Set Constraints. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
10Witold Charatonik, Leszek Pacholski Set constraints with projections. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
10Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo Towards Parameterized Regular Type Inference Using Set Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
10Thomas Graf Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems. Search on Bibsonomy FG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
10Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms Bound Consistency for Binary Length-Lex Set Constraints. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
10Christoph Schnörr Signal and image approximation with level-set constraints. Search on Bibsonomy Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS Subject Classifications 68U10, 65K05, 65K10, 90C33
10Magnus Ågren 0002 Set Constraints for Local Search. Search on Bibsonomy 2007   RDF
10Hubert Comon, Véronique Cortier Tree automata with one memory set constraints and cryptographic protocols. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Christian Rinderknecht An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints. Search on Bibsonomy Comput. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Using parametric set constraints for locating errors in CLP programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
10Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Using parametric set constraints for locating errors in CLP programs. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen Tarskian Set Constraints. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Witold Charatonik, Andreas Podelski Set Constraints with Intersection. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Franck Seynhaeve Set constraints and topology. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Mitchell Wand, William D. Clinger Set constraints for destructive array update optimization. Search on Bibsonomy J. Funct. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Jean-Marc Talbot The forall-exists2 fragment of the first-order theory of atomic set constraints is Pi01-hard. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10David Melski, Thomas W. Reps Interconvertibility of a class of set constraints and context-free-language reachability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Jean-Marc Talbot, Philippe Devienne, Sophie Tison Generalized Definite Set Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Francisco Azevedo, Pedro Barahona Modelling Digital Circuits Problems with Set Constraints. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Rémi Gilleron, Sophie Tison, Marc Tommasi Set Constraints and Automata. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Witold Charatonik An Undecidable Fragment of the Theory of Set Constraints. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Thomas Drakengren, Peter Jonsson Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Witold Charatonik Set Constraints in Some Equational Theories. Search on Bibsonomy Inf. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Dexter Kozen Set Constraints and Logic Programming. Search on Bibsonomy Inf. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Philippe Devienne, Jean-Marc Talbot, Sophie Tison Co-definite Set Constraints with Membership Expressions. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
10Mitchell Wand, William D. Clinger Set Constraints for Destructive Array Update Optimization. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Gilles Richard, Frédéric Saubion, A. Tellez-Arenas Intensional Set Constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
10David Melski, Thomas W. Reps Interconveritibility of Set Constraints and Context-Free Language Reachability. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Manuel Fähndrich, Alexander Aiken Program Analysis Using Mixed Term and Set Constraints. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Philippe Devienne, Jean-Marc Talbot, Sophie Tison Solving Classes of Set Constraints with Tree Automata. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Dexter Kozen Rational Spaces and Set Constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 137 (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