| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Birgit Pfitzmann, Nikolai Joukov |
Migration to Multi-image Cloud Templates.  |
IEEE SCC  |
2011 |
DBLP DOI BibTeX RDF |
management costs, multi-image templates, migration, clouds, IT services |
| 1 | Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi |
Static discovery and remediation of code-embedded resource dependencies. |
Integrated Network Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy 0003, Michael Steiner, Wietse Venema |
Composable Security Analysis of OS Services. |
ACNS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy 0003, Michael Steiner, Wietse Venema |
Composable Security Analysis of OS Services. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nikolai Joukov, Birgit Pfitzmann, HariGovind V. Ramasamy, Murthy V. Devarakonda |
Application-storage discovery. |
SYSTOR |
2010 |
DBLP DOI BibTeX RDF |
enterprise storage, storage discovery, experimental evaluation |
| 1 | Nikolai Joukov, Birgit Pfitzmann, HariGovind V. Ramasamy, Norbert G. Vogl, Murthy V. Devarakonda, Tryg Ager |
ITBVM: IT Business Value Modeler. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness |
| 1 | David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann |
Runtime Monitoring of Metric First-order Temporal Properties. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
The reactive simulatability (RSIM) framework for asynchronous systems. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl E. Abrams, Juerg von Känel, Samuel Müller, Birgit Pfitzmann, Susanne Ruschka-Taylor |
Optimized enterprise risk management. |
IBM Systems Journal |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Multi-layer Audit of Access Rights. |
Secure Data Management |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò |
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Reactively Simulatable Certified Mail. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Günter Karjoth, Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Service-oriented Assurance - Comprehensive Security by Explicit Assurances. |
Quality of Protection |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. |
SEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Formal Methods and Cryptography. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner |
Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. |
ESAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò |
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Reactively secure signature schemes. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Security, Cryptography, Digital signatures, Reactive |
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Dolev-Yao, Symmetric authentication, Computational soundness |
| 1 | Michael Backes, Birgit Pfitzmann |
Relating Symbolic and Cryptographic Secrecy. |
IEEE Trans. Dependable Sec. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability |
| 1 | Michael Backes, Birgit Pfitzmann |
Limits of the Cryptographic Realization of Dolev-Yao-style XOR. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Browser Model for Security Analysis of Browser-Based Protocols. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Relating Symbolic and Cryptographic Secrecy. |
IEEE Symposium on Security and Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Giblin, Alice Y. Liu, Samuel Müller, Birgit Pfitzmann, Xin Zhou |
Regulations Expressed As Logical Models (REALM). |
JURIX |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Proving a WS-federation passive requestor profile with a browser model. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
WS-federation passive requestor profile, WSFPI, security proof of protocols, single signon, web browser, web service security, identity federation |
| 1 | Michael Backes, Birgit Pfitzmann |
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Browser Model for Security Analysis of Browser-Based Protocols. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Polynomial liveness. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Computational probabilistic noninterference. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Security, Cryptography, Information flow, Non-interference, Simulatability |
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. |
IACR Cryptology ePrint Archive |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. |
IACR Cryptology ePrint Archive |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Relating Symbolic and Cryptographic Secrecy. |
IACR Cryptology ePrint Archive |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. |
IEEE Journal on Selected Areas in Communications |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Low-Level Ideal Signatures and General Integrity Idealization. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Justifying a Dolev-Yao Model Under Active Attacks. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
A General Composition Theorem for Secure Reactive Systems. |
TCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Groß, Birgit Pfitzmann |
Proving a WS-Federation passive requestor profile. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
WS-federation passive requestor profile, WSFPI, browser-based, security proof of protocols, single signon, security, web browser, web service security, federated identity management, identity federation |
| 1 | Vijayalakshmi Atluri, Birgit Pfitzmann, Patrick Drew McDaniel (eds.) |
Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004 |
ACM Conference on Computer and Communications Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
A Universally Composable Cryptographic Library. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Symmetric Authentication Within a Simulatable Cryptographic Library. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
Analysis of Liberty Single-Sign-on with Enabled Clients. |
IEEE Internet Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Intransitive Non-Interference for Cryptographic Purpose. |
IEEE Symposium on Security and Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Reactively Secure Signature Schemes. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
Federated Identity-Management Protocols. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Federated Identity-Management Protocols (Discussion). |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Security in Business Process Engineering. |
Business Process Management |
2003 |
DBLP DOI BibTeX RDF |
Security in Business Process Modeling, Design, Verification and Validation |
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
A composable cryptographic library with nested operations. |
ACM Conference on Computer and Communications Security |
2003 |
DBLP DOI BibTeX RDF |
cryptographically composable operators, security analysis of protocols, cryptography, simulatability |
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Symmetric Authentication within a Simulatable Cryptographic Library. |
ESORICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Matthias Schunter |
A Toolkit for Managing Enterprise Privacy Policies. |
ESORICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Privacy in Enterprise Identity Federation - Policies for Liberty Single Signon. |
Privacy Enhancing Technologies |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner |
Polynomial Fairness and Liveness. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Christian Jacobi 0002, Birgit Pfitzmann |
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. |
FME |
2002 |
DBLP DOI BibTeX RDF |
security, cryptography, formal verification, PVS, simulatability |
| 1 | Birgit Pfitzmann, Michael Waidner |
Privacy in browser-based attribute exchange. |
WPES |
2002 |
DBLP DOI BibTeX RDF |
BBAE, Liberty, attribute-exchange, e-Community Single Signon, single signon, traffic data, wallet, security, privacy, roles, web browser, identity management, SAML, Shibboleth, Passport |
| 1 | Michael Backes, Birgit Pfitzmann |
Computational Probabilistic Non-interference. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Alkassar, Alexander Geraldy, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Optimized Self-Synchronizing Mode of Operation. |
FSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann (eds.) |
Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding |
EUROCRYPT |
2001 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. |
IACR Cryptology ePrint Archive |
2000 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Anonymous Fingerprinting with Direct Non-Repudiation. |
IACR Cryptology ePrint Archive |
2000 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Cryptographic Security of Reactive Systems. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner (eds.) |
SEMPER - Secure Electronic Marketplace for Europe |
|
2000 |
DOI RDF |
|
| 1 | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Self-Escrowed Cash against User Blackmailing. |
Financial Cryptography |
2000 |
DBLP DOI BibTeX RDF |
Escrowed Cash, Fair Cash, Digital Coin, Blackmailing, Self-Escrow, Anonymity Revocation |
| 1 | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Anonymous Fingerprinting with Direct Non-repudiation. |
ASIACRYPT |
2000 |
DBLP DOI BibTeX RDF |
digital coin, anonymity, fingerprinting, restrictiveness |
| 1 | Birgit Pfitzmann, Michael Waidner |
Composition and integrity preservation of secure reactive systems. |
ACM Conference on Computer and Communications Security |
2000 |
DBLP DOI BibTeX RDF |
cryptography, simulatability |
| 1 | Hans-Jürgen Guth, Birgit Pfitzmann |
Error- and Collusion-Secure Fingerprinting for Digital Data. |
Information Hiding |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | André Adelsbach, Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Proving Ownership of Digital Content. |
Information Hiding |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Coin-Based Anonymous Fingerprinting. |
EUROCRYPT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
How to Break Fraud-Detectable Key Recovery. |
Operating Systems Review |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann |
Statistical Secrecy and Multibit Commitments. |
IEEE Transactions on Information Theory |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Damgård, Birgit Pfitzmann |
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Optimal Efficiency of Optimistic Contract Signing. |
PODC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest |
Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop. |
CRYPTO |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
Strong Loss Tolerance of Electronic Coin Systems. |
ACM Trans. Comput. Syst. |
1997 |
DBLP DOI BibTeX RDF |
privacy, electronic cash, Byzantine faults, payment systems |
| 1 | Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Trusting Mobile User Devices and Security Modules. |
IEEE Computer |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann |
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. |
J. Cryptology |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben P. Pedersen, Birgit Pfitzmann |
Fail-Stop Signatures. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Bari, Birgit Pfitzmann |
Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees. |
EUROCRYPT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
Anonymous Fingerprinting. |
EUROCRYPT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Michael Waidner |
Asymmetric Fingerprinting for Larger Collusions. |
ACM Conference on Computer and Communications Security |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Digital Signature Schemes, General Framework and Fail-Stop Signatures |
|
1996 |
DOI RDF |
|
| 1 | Birgit Pfitzmann |
Trials of Traced Traitors. |
Information Hiding |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Information Hiding Terminology - Results of an Informal Plenary Meeting and Additional Proposals. |
Information Hiding |
1996 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Matthias Schunter |
Asymmetric Fingerprinting (Extended Abstract). |
EUROCRYPT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
How to Break Another Provably Secure Payment System. |
EUROCRYPT |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule. |
VIS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Breaking Efficient Anonymous Channel. |
EUROCRYPT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Fr. Mjølsnes, Frank Muller, Torben P. Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner |
The ESPRIT Project CAFE - High Security Digital Payment Systems. |
ESORICS |
1994 |
DBLP DOI BibTeX RDF |
Security in Applications (Financial) - Security Versus other Requirements (Performance, Fault Tolerance) |
| 1 | Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann |
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. |
CRYPTO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Pfitzmann |
Sorting Out Signature Schemes. |
ACM Conference on Computer and Communications Security |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")