Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/cassis:"
download as .bib file
@proceedings{DBLP:conf/cassis/2005,
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11741060},
doi = {10.1007/11741060},
isbn = {3-540-33689-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/ArdagnaCDVS05,
author = {Claudio A. Ardagna and
Marco Cremonini and
Ernesto Damiani and
Sabrina De Capitani di Vimercati and
Pierangela Samarati},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {The Architecture of a Privacy-Aware Access Control Decision Component},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_1},
doi = {10.1007/11741060\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/ArdagnaCDVS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/AspinallM05,
author = {David Aspinall and
Kenneth MacKenzie},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Mobile Resource Guarantees and Policies},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {16--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_2},
doi = {10.1007/11741060\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/AspinallM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/Beguelin05,
author = {Santiago Zanella B{\'{e}}guelin},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Formalisation and Verification of the GlobalPlatform Card Specification
Using the {B} Method},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {155--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_9},
doi = {10.1007/11741060\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/Beguelin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BonelliCM05,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Ricardo H. Medel},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Information Flow Analysis for a Typed Assembly Language with Polymorphic
Stacks},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {37--56},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_3},
doi = {10.1007/11741060\_3},
timestamp = {Sat, 13 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/BonelliCM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/CourbotGV05,
author = {Alexandre Courbot and
Gilles Grimaud and
Jean{-}Jacques Vandewalle},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Romization: Early Deployment and Customization of Java Systems for
Constrained Devices},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {57--76},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_4},
doi = {10.1007/11741060\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/CourbotGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/LeagueM05,
author = {Christopher League and
Stefan Monnier},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Typed Compilation Against Non-manifest Base Classes},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {77--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_5},
doi = {10.1007/11741060\_5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/LeagueM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/LohmannSS05,
author = {Daniel Lohmann and
Wolfgang Schr{\"{o}}der{-}Preikschat and
Olaf Spinczyk},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {The Design of Application-Tailorable Operating System Product Lines},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {99--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_6},
doi = {10.1007/11741060\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/LohmannSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/OzcanJS05,
author = {Ali Erdem {\"{O}}zcan and
S{\'{e}}bastien Jean and
Jean{-}Bernard Stefani},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Bringing Ease and Adaptability to MPSoC Software Design: {A} Component-Based
Approach},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {118--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_7},
doi = {10.1007/11741060\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/OzcanJS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/Pichardie05,
author = {David Pichardie},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Modular Proof Principles for Parameterised Concretizations},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {138--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_8},
doi = {10.1007/11741060\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/Pichardie05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cassis/2004,
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105030},
doi = {10.1007/B105030},
isbn = {3-540-24287-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/AspinallGHSS04,
author = {David Aspinall and
Stephen Gilmore and
Martin Hofmann and
Donald Sannella and
Ian Stark},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Mobile Resource Guarantees for Smart Devices},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {1--26},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_1},
doi = {10.1007/978-3-540-30569-9\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/AspinallGHSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BanerjeeN04,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {History-Based Access Control and Secure Information Flow},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {27--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_2},
doi = {10.1007/978-3-540-30569-9\_2},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/BanerjeeN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BarnettLS04,
author = {Mike Barnett and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {The Spec{\#} Programming System: An Overview},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_3},
doi = {10.1007/978-3-540-30569-9\_3},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/BarnettLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BouquetLPT04,
author = {Fabrice Bouquet and
Bruno Legeard and
Fabien Peureux and
Eric Torreborre},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Mastering Test Generation from Smart Card Software Formal Models},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {70--85},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_4},
doi = {10.1007/978-3-540-30569-9\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/BouquetLPT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BushNSM04,
author = {William R. Bush and
Antony Ng and
Douglas N. Simon and
Bernd Mathiske},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications
on Small Devices},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {86--107},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_5},
doi = {10.1007/978-3-540-30569-9\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/BushNSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/CokK04,
author = {David R. Cok and
Joseph Kiniry},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {ESC/Java2: Uniting ESC/Java and {JML}},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {108--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_6},
doi = {10.1007/978-3-540-30569-9\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/CokK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/DietlMP04,
author = {Werner Dietl and
Peter M{\"{u}}ller and
Arnd Poetzsch{-}Heffter},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {A Type System for Checking Applet Isolation in Java Card},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {129--150},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_7},
doi = {10.1007/978-3-540-30569-9\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/DietlMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/HahnleM04,
author = {Reiner H{\"{a}}hnle and
Wojciech Mostowski},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Verification of Safety Properties in the Presence of Transactions},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {151--171},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_8},
doi = {10.1007/978-3-540-30569-9\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/HahnleM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/HartelEEW04,
author = {Pieter H. Hartel and
Pascal van Eck and
Sandro Etalle and
Roel J. Wieringa},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Modelling Mobility Aspects of Security Policies},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {172--191},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_9},
doi = {10.1007/978-3-540-30569-9\_9},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/HartelEEW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/NodaW04,
author = {Chie Noda and
Thomas Walter},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Smart Devices for Next Generation Mobile Services},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {192--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_10},
doi = {10.1007/978-3-540-30569-9\_10},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/NodaW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/RodriguezDHR04,
author = {Edwin Rodr{\'{\i}}guez and
Matthew B. Dwyer and
John Hatcliff and
Robby},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {A Flexible Framework for the Estimation of Coverage Metrics in Explicit
State Software Model Checking},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {210--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_11},
doi = {10.1007/978-3-540-30569-9\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/RodriguezDHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/TomaBS04,
author = {Diana Toma and
Dominique Borrione and
Ghiath Al Sammane},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Combining Several Paradigms for Circuit Validation and Verification},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {229--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_12},
doi = {10.1007/978-3-540-30569-9\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/TomaBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/Vandewalle04,
author = {Jean{-}Jacques Vandewalle},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Smart Card Research Perspectives},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {250--256},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_13},
doi = {10.1007/978-3-540-30569-9\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/Vandewalle04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 05:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
