The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998-2005 (23) 2006-2007 (21) 2008-2009 (22) 2010-2012 (15) 2013-2017 (15) 2018-2024 (15)
Publication types (Num. hits)
article(28) inproceedings(82) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 124 occurrences of 53 keywords

Results
Found 111 publication records. Showing 111 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Yûta Kaneko, Naoki Kobayashi 0001 Linear Declassification. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
117Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001 Trusted declassification: : high-level policy for a security-typed language. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
112Gilles Barthe, Salvador Cavadini, Tamara Rezk Tractable Enforcement of Declassification Policies. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, declassification, information flow security
112Roberto Giacobazzi, Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
96Stephen Chong, Andrew C. Myers End-to-End Enforcement of Erasure and Declassification. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
90Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg Towards a logical account of declassification. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF information flow, confidentiality, aliasing
90Aslan Askarov, Andrei Sabelfeld Gradual Release: Unifying Declassification, Encryption and Key Release Policies. Search on Bibsonomy S&P The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
87Andrei Sabelfeld, Andrew C. Myers A Model for Delimited Information Release. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
79Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg Expressive Declassification Policies and Modular Static Enforcement. Search on Bibsonomy SP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification, information flow, declassification, downgrading
74Heiko Mantel, Alexander Reinhard Controlling the What and Where of Declassification in Language-Based Security. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
74Ana Almeida Matos, Gérard Boudol On Declassification and the Non-Disclosure Policy. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
74Bernadette Power, Geoff W. Hamilton Declassification: Transforming Java Programs to Remove Intermediate Classes. Search on Bibsonomy SCAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
74Steve Zdancewic, Andrew C. Myers Robust Declassification. Search on Bibsonomy CSFW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
71Isabella Mastroeni On the Rôle of Abstract Non-interference in Language-Based Security. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Language-based Security, Non-Interference, Declassification
66Alexander Lux, Heiko Mantel Who Can Declassify?. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Andrei Sabelfeld, David Sands 0001 Dimensions and Principles of Declassification. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Stephen Tse, Steve Zdancewic A Design for a Security-Typed Language with Certificate-Based Declassification. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic Enforcing Robust Declassification. Search on Bibsonomy CSFW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett Super-sticky and declassifiable release policies for flexible information dissemination control. Search on Bibsonomy WPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF release policies, privacy, declassification, sticky policies
54Stephen Chong, Andrew C. Myers Security policies for downgrading. Search on Bibsonomy CCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF information flow, security policies, noninterference, declassification, downgrading
46Jeffrey A. Vaughan, Stephen Chong Inference of Expressive Declassification Policies. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2011 DBLP  DOI  BibTeX  RDF declassification policies, inference of security policies, information flow, language-based security
41Andrei Sabelfeld Dimensions of Declassification in Theory and Practice. Search on Bibsonomy ASIAN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Li Jiang, Lingdi Ping, Xuezeng Pan Combining robust declassification and intransitive noninterference. Search on Bibsonomy IMSCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld A lattice-based approach to mashup security. Search on Bibsonomy AsiaCCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF web mashups, information flow, security policies, lattices, noninterference, declassification
38Limin Jia 0001, Steve Zdancewic Encoding information flow in Aura. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF access control, information flow control, declassification, security type system, authorization logic
38Niklas Broberg, David Sands 0001 Flow-sensitive semantics for dynamic information flow policies. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information flow control, declassification, security type system
38Alejandro Russo, Koen Claessen, John Hughes 0001 A library for light-weight information-flow security in haskell. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information-flow, library, monad, declassification
38Scott F. Smith 0001, Mark Thober Refactoring programs to secure information flows. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF refactoring, information flow, slicing, declassification
33Yi Lu 0003, John Potter, Jingling Xue Ownership Downgrading for Ownership Types. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Niklas Broberg, David Sands 0001 Improving the Semantics of Imperfect Security. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Aslan Askarov, Andrei Sabelfeld Localized delimited release: combining the what and where dimensions of information release. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF de-classification, information flow, security policies, noninterference, downgrading
33Stephen Chong, Andrew C. Myers Language-Based Information Erasure. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Tom Chothia, Dominic Duggan, Jan Vitek Type-Based Distributed Access Control. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux Declassification Policy for Program Complexity Analysis. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
25Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg 0001 Compositional Security Definitions for Higher-Order Where Declassification. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Wenfa Li, Zhi Yang, Jia Liu Automatic analysis of DIFC systems using noninterference with declassification. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Graeme Smith 0001 Declassification Predicates for Controlled Information Release. Search on Bibsonomy ICFEM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Zhenheng Dong, Yongxin Zhao, Qiang Wang An Information Flow Security Logic for Permission-Based Declassification Strategy. Search on Bibsonomy SEKE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Yuxuan Wang, Haowen Yan, Liming Zhang A New Declassification Method for Vector Geographic Data. Search on Bibsonomy CSW The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker ANOSY: approximated knowledge synthesis with refinement types for declassification. Search on Bibsonomy PLDI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Johan Bay, Aslan Askarov Reconciling progress-insensitive noninterference and declassification. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Minh Ngo, David A. Naumann, Tamara Rezk Type-Based Declassification for Free. Search on Bibsonomy ICFEM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Johan Bay, Aslan Askarov Reconciling progress-insensitive noninterference and declassification. Search on Bibsonomy CSF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Wen Luo, Dongshuang Li, Zhaoyuan Yu, Yun Wang, Zhengjun Yan, Linwang Yuan Geometric Algebra-Based Multilevel Declassification Method for Geographical Field Data. Search on Bibsonomy CGI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta Robust Declassification by Incremental Typing. Search on Bibsonomy Foundations of Security, Protocols, and Equational Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Thomas Bauereiß Composition and Declassification in Possibilistic Information Flow Security. (PDF / PS) Search on Bibsonomy 2019   RDF
25Hao Zhu, Jianping Chen 软件系统的可信降密述评 (Review of Trust Declassification for Software System). Search on Bibsonomy 计算机科学 The full citation details ... 2018 DBLP  BibTeX  RDF
25Ning Xi 0002, Di Lu, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen Distributed Secure Service Composition with Declassification in Mobile Clouds. Search on Bibsonomy Mob. Inf. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Willard Rafnsson, Andrei Sabelfeld Secure multi-execution: Fine-grained, declassification-aware, and transparent. Search on Bibsonomy J. Comput. Secur. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif Declassification of Information with Complex Filter Functions. Search on Bibsonomy ICISSP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Iulia Bolosteanu, Deepak Garg 0001 Asymmetric Secure Multi-execution with Declassification. Search on Bibsonomy POST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Simon Greiner, Daniel Grahl Non-interference with What-Declassification in Component-Based Systems. Search on Bibsonomy CSF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Ning Xi 0002, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen, Di Lu Distributed Secure Service Composition with Declassification in Mobile Network. Search on Bibsonomy NaNA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Bart van Delft, Richard Bubel Dependency-Based Information Flow Analysis with Declassification in a Program Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
25Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
25Li Jin, Hao Zhu 多线程环境中的二维降密策略 (Two-dimension Declassification Policy in Multithreaded Environments). Search on Bibsonomy 计算机科学 The full citation details ... 2015 DBLP  BibTeX  RDF
25Li Jin, Hao Zhu 基于自动机监控的二维降密策略 (Declassification Policy Based on Automaton Monitoring). Search on Bibsonomy 计算机科学 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. Search on Bibsonomy ESORICS (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer A Formalization of Declassification with WHAT-and-WHERE-Security. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2014 DBLP  BibTeX  RDF
25Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk Stateful Declassification Policies for Event-Driven Programs. Search on Bibsonomy CSF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Bruno P. S. Rocha, Mauro Conti, Sandro Etalle, Bruno Crispo Hybrid Static-Runtime Information Flow and Declassification Enforcement. Search on Bibsonomy IEEE Trans. Inf. Forensics Secur. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Willard Rafnsson, Andrei Sabelfeld Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. Search on Bibsonomy CSF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Hao Zhu, Yi Zhuang 0002 Flow-Sensitive Automaton-Based Monitoring of a Declassification Policy. Search on Bibsonomy J. Softw. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Alexander Lux, Heiko Mantel, Matthias Perner Scheduler-Independent Declassification. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Eike Best, Philippe Darondeau Deciding Selective Declassification of Petri Nets. Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Cong Sun 0001, Sheng Gao 0002, Jianfeng Ma 0001 Verifying Location-Based Services with Declassification Enforcement. Search on Bibsonomy APWeb The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Harold C. Relyea Declassification review of congressional records. Search on Bibsonomy Gov. Inf. Q. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Isabella Mastroeni, Anindya Banerjee 0001 Modelling declassification policies using abstract domain completeness. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Cong Sun 0001, Liyong Tang, Zhong Chen 0001 A New Enforcement on Declassification with Reachability Analysis Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
25Julien A. Thomas, Nora Cuppens-Boulahia, Frédéric Cuppens Declassification Policy Management in Dynamic Information Systems. Search on Bibsonomy ARES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Daniel Abril, Guillermo Navarro-Arribas, Vicenç Torra On the Declassification of Confidential Documents. Search on Bibsonomy MDAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Julien A. Thomas, Frédéric Cuppens, Nora Cuppens-Boulahia Consistency Policies for Dynamic Information Systems with Declassification Flows. Search on Bibsonomy ICISS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Vikki Gordon National Security Directive declassification. Search on Bibsonomy Gov. Inf. Q. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Aslan Askarov, Andrew C. Myers A Semantic Framework for Declassification and Endorsement. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Josef Svenningsson, David Sands 0001 Specification and Verification of Side Channel Declassification Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
25Andrei Sabelfeld, David Sands 0001 Declassification: Dimensions and principles. Search on Bibsonomy J. Comput. Secur. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Ana Almeida Matos, Gérard Boudol On declassification and the non-disclosure policy. Search on Bibsonomy J. Comput. Secur. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Thomas Demongeot, Julien Mallet, Yves Le Traon Runtime verification of declassification for imperative programs: Formal foundations. Search on Bibsonomy CRiSIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Alexander Lux, Heiko Mantel Declassification with Explicit Reference Points. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Josef Svenningsson, David Sands 0001 Specification and Verification of Side Channel Declassification. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Anindya Banerjee 0001, Roberto Giacobazzi, Isabella Mastroeni What You Lose is What You Leak: Information Leakage in Declassification Policies. Search on Bibsonomy MFPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic Enforcing Robust Declassification and Qualified Robustness. Search on Bibsonomy J. Comput. Secur. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Heiko Mantel, David Sands 0001 Controlled Declassification Based on Intransitive Noninterference. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Steve Zdancewic A Type System for Robust Declassification. Search on Bibsonomy MFPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Musard Balliu, Isabella Mastroeni A weakest precondition approach to active attacks analysis. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF robustness, non-interference, declassification, program semantics, active attackers
22Avraham Shinnar, Marco Pistoia, Anindya Banerjee 0001 A language for information flow: dynamic tracking in multiple interdependent dimensions. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information flow control, declassification, security type system
22Nikhil Swamy, Michael Hicks 0001 Verified enforcement of stateful information release policies. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
22Nikhil Swamy, Michael Hicks 0001 Verified enforcement of stateful information release policies. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF certified evaluation, state modifying, dependent, declassification, affine, singleton types
22Scott F. Smith 0001, Mark Thober Improving usability of information flow security in java. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java, security policies, type inference, declassification, information flow security
22Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers Secure program partitioning. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
22Andrew C. Myers, Barbara Liskov Protecting privacy using the decentralized label model. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading
16Adedayo Adetoye, Atta Badii A Policy Model for Secure Information Flow. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Cédric Fournet, Tamara Rezk Cryptographically sound implementations for typed information-flow security. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
16Stephen Tse, Steve Zdancewic Run-time principals in information-flow type systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
16Jeffrey A. Vaughan, Steve Zdancewic A Cryptographic Decentralized Label Model. Search on Bibsonomy S&P The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Ariel Futoransky, Emiliano Kargieman, Carlos Sarraute, Ariel Waissbein Foundations and applications for secure triggers. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Malicious host problem, secure triggers, obfuscation, universally composable security, mobile code security
16Silvia Crafa, Sabina Rossi P-congruences as non-interference for the pi-calculus. Search on Bibsonomy FMSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process calculi, noninterference, downgrading
16Christian Hammer 0001, Jens Krinke, Frank Nodes Intransitive Noninterference in Dependence Graphs. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 111 (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