The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1984-1995 (15) 1996-2001 (16) 2002-2003 (17) 2004-2006 (23) 2007-2008 (22) 2009-2015 (15) 2016-2020 (8)
Publication types (Num. hits)
article(33) incollection(2) inproceedings(80) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 114 occurrences of 74 keywords

Results
Found 116 publication records. Showing 116 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu Typechecking XML views of relational databases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF typechecking, XML, Complexity, relational databases, logic
102Dan Suciu The XML Typechecking Problem. Search on Bibsonomy SIGMOD Rec. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
94Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner Deep typechecking and refactoring. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF JPA query analysis, cross language refactoring, cross language typechecking
79Jerzy Marcinkowski, Piotr Wieczorek Modulo Constraints and the Complexity of Typechecking XML Views. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Typechecking, XML, Complexity, Relational databases, Logic
79Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Extensible datatypes, extensible functions, modular typechecking
79Todd D. Millstein, Mark Reay, Craig Chambers Relaxed MultiJava: balancing extensibility and modular typechecking. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF class loader, external methods, relaxed MultiJava, multimethods, modular typechecking
79Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF extensible datatypes, extensible functions, modular typechecking
71Alain Frisch, Haruo Hosoya Towards Practical Typechecking for Macro Tree Transducers. Search on Bibsonomy DBPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Wim Martens, Frank Neven Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Wim Martens, Frank Neven Typechecking Top-Down Uniform Unranked Tree Transducers. Search on Bibsonomy ICDT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
71Tova Milo, Dan Suciu, Victor Vianu Typechecking for XML Transformers. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
68Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay Session Types for Functional Multithreading. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static typechecking, specification of communication protocols, concurrent programming, Session types
56Piotr Wieczorek Complexity of Typechecking XML Views of Relational Databases. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Florent Jacquemard, Michaël Rusinowitch Rewrite-based verification of XML updates. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hedge automata, static typechecking, xml access control policies, xml updates, term rewriting
53Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth Expressive and modular predicate dispatch for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic dispatch, Predicate dispatch, modular typechecking
53Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers MultiJava: Design rationale, compiler implementation, and applications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
48Craig Chambers, Gary T. Leavens Typechecking and Modules for Multimethods. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static typechecking, inheritance, subtyping, encapsulation, multimethods
46Haiming Chen, Lei Chen Inclusion Test Algorithms for One-Unambiguous Regular Expressions. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF One-unambiguous regular expression, algorithm, inclusion
46James Cheney Regular Expression Subtyping for XML Query and Update Languages. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Christopher A. Stone, Robert Harper 0001 Deciding Type Equivalence with Singleton Kinds. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Jana Dunfield Refined typechecking with Stardust. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
38Brian Chin, Shane Markstrum, Todd D. Millstein Semantic type qualifiers. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensible typechecking, type qualifiers, type soundness
38Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting CZT Support for Z Extensions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
38Todd D. Millstein Practical predicate dispatch. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic dispatch, predicate dispatch, modular typechecking
38John M. Rushby, Sam Owre, Natarajan Shankar Subtypes for Specifications: Predicate Subtyping in PVS. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
30Michael Benedikt, James Cheney Semantics, Types and Effects for XML Updates. Search on Bibsonomy DBPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis Refinement Types for Secure Implementations. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel XML transformation by tree-walking transducers with invisible pebbles. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tree transducer, XML, pebble
30Michel de Rougemont, Adrien Vieilleribière Approximate Data Exchange. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Simon J. Gay, Malcolm Hole Subtyping for session types in the pi calculus. Search on Bibsonomy Acta Informatica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Thierry Coquand, Randy Pollack, Makoto Takeyama A Logical Framework with Dependently Typed Records. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Ferruccio Damiani Rank 2 intersection types for modules. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type inference, separate compilation, principal typings
30Karina Olmos, Eelco Visser Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Davide Ancona, Giovanni Lagorio, Elena Zucca A Formal Framework for Java Separate Compilation. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Peter Buneman, Atsushi Ohori Polymorphism and Type Inference in Database Programming. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF generalized relational algebra, record calculus, object-oriented databases, inheritance, polymorphism, type inference
30Myra Van Inwegen, Elsa L. Gunter HOL-ML. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26A. Laura Voinea, Ornela Dardha, Simon J. Gay Typechecking Java Protocols with [St]Mungo. Search on Bibsonomy FORTE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Jana Dunfield, Neelakantan R. Krishnaswami Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren XML Typechecking. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Kazuhiro Abe, Keisuke Nakano 0001 Towards Practical Typechecking for Macro Forest Transducers. Search on Bibsonomy J. Inf. Process. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Anthony Canino, Yu David Liu Proactive and adaptive energy-aware programming with mixed typechecking. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Jana Dunfield, Neelakantan R. Krishnaswami Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
26Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay Typechecking protocols with Mungo and StMungo. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Ronan Saillard Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice. (Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique). Search on Bibsonomy 2015   RDF
26Jana Dunfield, Neelakantan R. Krishnaswami Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
26Jana Dunfield, Neelakantan R. Krishnaswami Complete and easy bidirectional typechecking for higher-rank polymorphism. Search on Bibsonomy ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Jana Dunfield Annotations for Intersection Typechecking. Search on Bibsonomy ITRS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Jana Dunfield Untangling Typechecking of Intersections and Unions Search on Bibsonomy ITRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts Typechecking Higher-Order Security Libraries. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren XML Typechecking. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Joost Engelfriet The time complexity of typechecking tree-walking tree transducers. Search on Bibsonomy Acta Informatica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Wim Martens, Frank Neven, Marc Gyssens Typechecking top-down XML transformations: Fixed input or output schemas. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Gavin M. Bierman, Matthew J. Parkinson, James Noble 0001 UpgradeJ: Incremental Typechecking for Class Upgrades. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Wim Martens, Frank Neven Frontiers of tractability for typechecking simple XML transformations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Alain Frisch, Haruo Hosoya Towards Practical Typechecking for Macro Tree Transducers Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
26Simon J. Gay, Rajagopal Nagarajan Types and typechecking for Communicating Quantum Processes. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Wim Martens, Frank Neven, Marc Gyssens On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
26Wim Martens, Frank Neven On the complexity of typechecking top-down XML transformations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter Typechecking Safe Process Synchronization. Search on Bibsonomy FGUC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Jana Dunfield, Frank Pfenning Tridirectional typechecking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type refinements, dependent types, intersection types, union types
26Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu XML with data values: typechecking revisited. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Tova Milo, Dan Suciu, Victor Vianu Typechecking for XML transformers. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Antti-Juhani Kaijanaho On Typechecking B. Search on Bibsonomy SPLST The full citation details ... 2003 DBLP  BibTeX  RDF
26Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu Typechecking XML Views of Relational Databases. Search on Bibsonomy LICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu XML with Data Values: Typechecking Revisited. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Dan Suciu Typechecking for Semistructured Data. Search on Bibsonomy DBPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Emanuele Panizzi, Bernardo Pastorelli Multimethods and separate static typechecking in a language with C++-like object model Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
26Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King 0001 Typechecking Z. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Eric Violard Typechecking of PEI Expressions. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Data Parallelism and automatic parallelization, Parallel computation, Type inference, Semantics of programming languages
26Craig Chambers, Gary T. Leavens Typechecking and Modules for Multi-Methods. Search on Bibsonomy OOPSLA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Gilad Bracha, David Griswold Strongtalk: Typechecking Smalltalk in a Production Environment. Search on Bibsonomy OOPSLA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Emmanuel Chailloux A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages. Search on Bibsonomy IWMM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Didier Rémy Typechecking Records and Variants in a Natural Extension of ML. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
26Luca Cardelli Basic Polymorphic Typechecking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
26Luca Cardelli Typechecking Dependent Types and Subtypes. Search on Bibsonomy Foundations of Logic and Functional Programming The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
26Nancy McCracken The Typechecking of Programs with Implicit Type Structure. Search on Bibsonomy Semantics of Data Types The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
23Sonia Fagorzi, Elena Zucca A Framework for Type Safe Exchange of Mobile Code. Search on Bibsonomy TGC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parametric calculus, static and dynamic typechecking, subtyping, mobile code
23Alessandro Warth, Milan Stanojevic, Todd D. Millstein Statically scoped object adaptation with expanders. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object adaptation, expanders, modular typechecking
23Roberto M. Amadio, Luca Cardelli Subtyping Recursive Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
15Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 Modular verification of security protocol code by typing. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF f7, refinement type
15Donna Malayeri, Jonathan Aldrich CZ: multiple inheritance without diamonds. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF diamond problem, modularity, multiple inheritance, multimethods
15Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli Reliable Evidence: Auditability by Typing. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A type system for data-flow integrity on Windows Vista. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A type system for data-flow integrity on windows vista. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15Ewan D. Tempero, Gavin M. Bierman, James Noble 0001, Matthew J. Parkinson From Java To UpgradeJ: An Empirical Study. Search on Bibsonomy HotSWUp The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Donna Malayeri Combining structural subtyping and external dispatch. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF by-name subtyping, external dispatch, structural subtyping
15Donna Malayeri, Jonathan Aldrich Combining structural subtyping and external dispatch. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF by-name subtyping, external dispatch, structural subtyping
15Audrey Tang Perl 6: reconciling the irreconcilable. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Thorsten Altenkirch, Conor McBride, Wouter Swierstra Observational equality, now! Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type theory, equality
15Derek Dreyer, Matthias Blume Principal Type Schemes for Modular Programs. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Derek Dreyer A type system for recursive modules. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type systems, recursion, abstract data types, modules
15James McKinna Why dependent types matter. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Corin Pitcher, James Riely Dynamic Policy Discovery with Remote Attestation. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation
15Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg Inference of User-Defined Type Qualifiers and Qualifier Rules. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15John M. Rushby Tutorial: Automated Formal Methods with PVS, SAL, and Yices. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll An overview of JML tools and applications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Assertion checking, Java, Formal specification, Program verification, Design by Contract
15Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou A type system for certified binaries. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF proof-preserving compilation, typed intermediate languages, Certified code
15Haruo Hosoya, Alain Frisch, Giuseppe Castagna Parametric polymorphism for XML. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, polymorphism, subtyping, tree automata
15Petra Malik, Mark Utting CZT: A Framework for Z Tools. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 116 (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