|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 460 occurrences of 346 keywords
|
|
|
Results
Found 1499 publication records. Showing 1470 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Alexandru Uta, Ove Danner, Cas van der Weegen, Ana-Maria Oprescu, Andreea Sandu, Stefania Costache 0002, Thilo Kielmann |
MemEFS: A network-aware elastic in-memory runtime distributed file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 82, pp. 631-646, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Jiangshan Yu, Mark Ryan 0001, Cas Cremers |
DECIM: Detecting Endpoint Compromise In Messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 13(1), pp. 106-118, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev |
Security Analysis for Randomness Improvements for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 1057, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Thanh Binh Nguyen 0003, Christoph Sprenger 0001, Cas Cremers |
Abstractions for security protocol verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 26(4), pp. 459-508, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski |
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 15(3), pp. 393-408, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner |
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1802-1819, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Yanick Douven, Wouter Houtman, Ferry Schoenmakers, Koen Meessen, Harrie van de Loo, Dennis Bruijnen, Wouter H. T. M. Aangenent, Jorrit Olthuis, Cas de Groot, Marzieh Dolatabadi Farahani, Peter van Lith, Pim Scheers, Ruben Sommer, Bob van Ninhuijs, Patrick van Brakel, Jordy Senden, Marjon van't Klooster, Wouter Kuijpers, René van de Molengraft |
Tech United Eindhoven Middle Size League Winner 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2018: Robot World Cup XXII [Montreal, QC, Canada, June 18-22, 2018]., pp. 413-424, 2018, Springer, 978-3-030-27543-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Anja Lehmann (eds.) |
Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![Springer, 978-3-030-04761-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse |
Symbolically analyzing security protocols using tamarin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGLOG News ![In: ACM SIGLOG News 4(4), pp. 19-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila |
ASICS: authenticated key exchange security incorporating certification systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 16(2), pp. 151-171, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Arnaud Arindra Adiyoso Setio, Alberto Traverso, Thomas de Bel, Moira S. N. Berens, Cas van den Bogaard, Piergiorgio Cerello, Hao Chen 0011, Qi Dou 0001, Maria Evelina Fantacci, Bram Geurts, Robbert van der Gugten, Pheng-Ann Heng, Bart Jansen, Michael M. J. de Kaste, Valentin Kotov, Jack Yu-Hung Lin, Jeroen T. M. C. Manders, Alexander Sónora-Mengana, Juan Carlos García-Naranjo, Evgenia Papavasileiou, Mathias Prokop |
Validation, comparison, and combination of algorithms for automatic detection of pulmonary nodules in computed tomography images: The LUNA16 challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 42, pp. 1-13, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Lucca Hirschi |
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.00194, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers |
Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 982, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner |
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 666, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan 0001 |
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 234, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Marko Horvat 0002, Jonathan Hoyland, Sam Scott, Thyla van der Merwe |
A Comprehensive Symbolic Analysis of TLS 1.3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pp. 1773-1788, 2017, ACM, 978-1-4503-4946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan 0001 |
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017, pp. 203-216, 2017, IEEE Computer Society, 978-1-5386-3217-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila |
A Formal Security Analysis of the Signal Messaging Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017, pp. 451-466, 2017, IEEE, 978-1-5090-5762-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Martijn J. L. Kors, Karel Millenaar, Erik D. Van der Spek, Gabriele Ferri 0001, Ben A. M. Schouten, Alyea Sandovar, Cas Ketel, Joris Dormans |
Arguing on the Holodeck.: Designing Immersive Interactive Entertainment with Persuasive Intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Extended Abstracts Publication of the Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2017, Amsterdam, Netherlands, October 15 - 18, 2017, pp. 667-671, 2017, ACM, 978-1-4503-5111-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Martin Dehnel-Wild, Kevin Milner |
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, pp. 389-407, 2017, Springer, 978-3-319-66401-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers |
Symbolic security analysis using the Tamarin prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 5, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Marko Horvat 0002 |
Improving the ISO/IEC 11770 standard for key management techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 15(6), pp. 659-673, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Arnaud Arindra Adiyoso Setio, Alberto Traverso, Thomas de Bel, Moira S. N. Berens, Cas van den Bogaard, Piergiorgio Cerello, Hao Chen 0011, Qi Dou 0001, Maria Evelina Fantacci, Bram Geurts, Robbert van der Gugten, Pheng-Ann Heng, Bart Jansen, Michael M. J. de Kaste, Valentin Kotov, Jack Yu-Hung Lin, Jeroen T. M. C. Manders, Alexander Sónora-Mengana, Juan Carlos García-Naranjo, Mathias Prokop, Marco Saletta, Cornelia Schaefer-Prokop, Ernst Th. Scholten, Luuk Scholten, Miranda M. Snoeren, Ernesto Lopez Torres, Jef Vandemeulebroucke, Nicole Walasek, Guido C. A. Zuidhof, Bram van Ginneken, Colin Jacobs |
Validation, comparison, and combination of algorithms for automatic detection of pulmonary nodules in computed tomography images: the LUNA16 challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.08012, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt |
On Post-Compromise Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 221, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen |
On Bitcoin Security in the Presence of Broken Crypto Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 167, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila |
A Formal Security Analysis of the Signal Messaging Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 1013, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt |
On Post-compromise Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 164-178, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Hanshen Xiao, Cas Cremers, Hari Krishna Garg |
Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GlobalSIP ![In: 2016 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2016, Washington, DC, USA, December 7-9, 2016, pp. 202-206, 2016, IEEE, 978-1-5090-4545-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Martijn J. L. Kors, Gabriele Ferri 0001, Erik D. Van der Spek, Cas Ketel, Ben A. M. Schouten |
A Breathtaking Journey. On the Design of an Empathy-Arousing Mixed-Reality Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY ![In: Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2016, Austin, TX, USA, October 16 - 19, 2016, pp. 91-104, 2016, ACM, 978-1-4503-4456-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen |
On Bitcoin Security in the Presence of Broken Cryptographic Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (2) ![In: Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II, pp. 201-222, 2016, Springer, 978-3-319-45740-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Marko Horvat 0002, Sam Scott, Thyla van der Merwe |
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016, pp. 470-485, 2016, IEEE Computer Society, 978-1-5090-0824-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Michèle Feltz |
Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 74(1), pp. 183-218, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe |
Improving the Security of Cryptographic Protocol Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 13(3), pp. 24-31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Jiangshan Yu, Mark Ryan 0001, Cas Cremers |
How to detect unauthorised usage of a key. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 486, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen |
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, pp. 435-444, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers |
Know Your Enemy: Compromising Adversaries in Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 17(2), pp. 7:1-7:31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Michèle Feltz, Cas Cremers |
On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2014, pp. 369, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Ajay Kapoor, Cas Groot, Gerard Villar Pique, Hamed Fatemi, Juan Diego Echeverri, Leo Sevat, Maarten Vertregt, Maurice Meijer, Vibhu Sharma, Yu Pu, José Pineda de Gyvez |
Digital Systems Power Management for High Performance Mixed Signal Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 61-I(4), pp. 961-975, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski |
ARPKI: Attack Resilient Public-Key Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014, pp. 382-393, 2014, ACM, 978-1-4503-2957-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Marko Horvat 0002 |
Actor Key Compromise: Consequences and Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014, pp. 244-258, 2014, IEEE Computer Society, 978-1-4799-4290-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Marko Horvat 0002 |
Improving the ISO/IEC 11770 Standard for Key Management Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings, pp. 215-235, 2014, Springer, 978-3-319-14053-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Benedikt Schmidt 0002, Ralf Sasse, Cas Cremers, David A. Basin |
Automated Verification of Group Key Agreement Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014, pp. 179-194, 2014, IEEE Computer Society, 978-1-4799-4686-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila |
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 398, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Simon Meier |
Provably repairing the ISO/IEC 9798 standard for entity authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 21(6), pp. 817-846, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Simon Meier, Cas Cremers, David A. Basin |
Efficient construction of machine-checked symbolic protocol security proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 21(1), pp. 41-87, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Simon Meier, Benedikt Schmidt 0002, Cas Cremers, David A. Basin |
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 696-701, 2013, Springer, 978-3-642-39798-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila |
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, pp. 381-399, 2013, Springer, 978-3-642-40202-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Michèle Feltz |
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2012, pp. 416, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Sjouke Mauw |
Operational Semantics and Verification of Security Protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
DOI RDF |
|
26 | David A. Basin, Cas Cremers, Simon Meier |
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, pp. 129-148, 2012, Springer, 978-3-642-28640-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Benedikt Schmidt 0002, Simon Meier, Cas Cremers, David A. Basin |
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012, pp. 78-94, 2012, IEEE Computer Society, 978-1-4673-1918-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun |
Distance Hijacking Attacks on Distance Bounding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5-8, 2012, 2012, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Michèle Feltz |
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, pp. 734-751, 2012, Springer, 978-3-642-33166-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt 0002, Srdjan Capkun |
Distance Hijacking Attacks on Distance Bounding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: IEEE Symposium on Security and Privacy, SP 2012, 21-23 May 2012, San Francisco, California, USA, pp. 113-127, 2012, IEEE Computer Society, 978-0-7695-4681-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Michèle Feltz |
One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2011, pp. 300, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun |
Distance Hijacking Attacks on Distance Bounding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2011, pp. 129, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Johann Cas |
Ubiquitous Computing, Privacy and Data Protection: Options and Limitations to Reconcile the Unprecedented Contradictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers, Privacy and Data Protection ![In: Computers, Privacy and Data Protection: an Element of Choice, pp. 139-169, 2011, Springer, 978-94-007-0640-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers |
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2011, Hong Kong, China, March 22-24, 2011, pp. 80-91, 2011, ACM, 978-1-4503-0564-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers |
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings, pp. 315-334, 2011, Springer, 978-3-642-23821-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jure Cas, Gregor Skorc, Riko Safaric |
Neural network position control of XY piezo actuator stage by visual feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 19(7), pp. 1043-1055, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers |
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Cryptogr. ![In: Int. J. Appl. Cryptogr. 2(2), pp. 83-99, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Johann Cas |
Privacy and Security: A Brief Synopsis of the Results of the European TA-Project PRISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Protection in a Profiled World ![In: Data Protection in a Profiled World, pp. 257-262, 2010, Springer, 978-90-481-8864-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andrés Otero, Angel Morales-Cas, Jorge Portilla, Eduardo de la Torre, Teresa Riesgo |
A Modular Peripheral to Support Self-Reconfiguration in SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France, pp. 88-95, 2010, IEEE Computer Society, 978-0-7695-4171-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Simon Meier, Cas Cremers, David A. Basin |
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010, pp. 231-245, 2010, IEEE Computer Society, 978-0-7695-4082-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
formal methods, theorem proving, security protocols, automatic tools |
26 | David A. Basin, Cas Cremers |
Modeling and Analyzing Security in the Presence of Compromising Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings, pp. 340-356, 2010, Springer, 978-3-642-15496-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Cas Apanowicz |
Data Warehouse Discovery Framework: The Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-DTA/BSBT ![In: Database Theory and Application, Bio-Science and Bio-Technology - International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, pp. 142-154, 2010, Springer, 978-3-642-17621-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Cas Apanowicz |
Data Warehouse Discovery Framework: The Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-DTA/BSBT ![In: Database Theory and Application, Bio-Science and Bio-Technology - International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, pp. 155-166, 2010, Springer, 978-3-642-17621-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers |
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings, pp. 1-18, 2010, Springer, 978-3-642-15204-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Christina Pöpper, David A. Basin, Srdjan Capkun, Cas Cremers |
Keeping data secret under full compromise using porter devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010, pp. 241-250, 2010, ACM, 978-1-4503-0133-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers |
Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2009, pp. 253, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | David A. Basin, Cas Cremers |
From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2009, pp. 79, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Cas J. F. Cremers, Pascal Lafourcade 0001, Philippe Nadeau |
Comparing State Spaces in Automatic Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal to Practical Security ![In: Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration, pp. 70-94, 2009, Springer, 978-3-642-02001-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Riko Safaric, Jure Cas, Gregor Skorc, Sirhiy Ivanovich Protsenko |
Micro and nano robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: XXII International Symposium on Information, Communication and Automation Technologies, ICAT 2009, Sarajevo, Bosnia and Herzegovina, 29-31 October, 2009, pp. 1-6, 2009, IEEE, 978-1-4244-4220-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers |
Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 20-33, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Session- state reveal, Ephemeral Key reveal, Provably-secure, Authenticated Key Exchange |
26 | Cas Apanowicz |
Data Warehousing and Business Intelligence: Benchmark Project for the Platform Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-DTA ![In: Database Theory and Application - International Conference, DTA 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 137-150, 2009, Springer, 978-3-642-10582-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Allan E. Clark, Cas G. Troskie |
Time Series and Model Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 37(4), pp. 766-771, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers |
Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2008, pp. 376, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic |
A framework for compositional verification of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 206(2-4), pp. 425-459, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers |
Unbounded verification, falsification, and characterization of security protocols by pattern refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 119-128, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
falsification, security protocol analysis, unbounded verification, characterization |
26 | Cas Cremers |
On the protocol composition logic PCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008, pp. 66-76, 2008, ACM, 978-1-59593-979-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security protocol analysis, composition, logic |
26 | Cas J. F. Cremers |
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 414-418, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Bojan Cas, Miran Saje, Igor Planinc |
Buckling of layered wood columns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 38(8-9), pp. 586-597, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jure Cas, Darko Hercog, Riko Safaric |
Web based educational tool for neural network robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Online Eng. ![In: Int. J. Online Eng. 3(2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Cas Cremers |
On the Protocol Composition Logic PCL ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0709.1080, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Cas Cremers |
Complete Characterization of Security Protocols by Pattern Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Protocol Verification Applied ![In: Formal Protocol Verification Applied, 14.10. - 19.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
Injective synchronisation: An extension of the authentication hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 367(1-2), pp. 139-161, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic |
A framework for compositional verification of security protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0611062, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Cas Cremers |
Feasibility of Multi-Protocol Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 287-294, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Sjouke Mauw, Valérie Issarny, Cas Cremers (eds.) |
Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Sjouke Mauw, Valérie Issarny, Cas Cremers |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
A Syntactic Criterion for Injectivity of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARSPA@ICALP ![In: Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005, pp. 23-38, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Johann Cas |
Privacy in pervasive computing environments - a contradiction in terms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Technol. Soc. Mag. ![In: IEEE Technol. Soc. Mag. 24(1), pp. 24-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers |
Compositionality of Security Protocols: A Research Agenda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VODCA@FOSAD ![In: Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004, pp. 99-110, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Cas J. F. Cremers, Sjouke Mauw |
Checking Secrecy by Means of Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 171-188, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Sjouke Mauw |
Operational Semantics of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 66-89, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Grant, Gwyneth Grant, Jean Gagné, Carl Blanchette, Émilie Comeau, Guillaume Brodeur, Jonathon Dionne, Alphonse Ayite, Piotr Synak, Jakub Wroblewski, Cas Apanowicz |
Examination of Routine Practice Patterns in the Hospital Information Data Warehouse: Use of OLAP and Rough Set Analysis with Clinician Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2001, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 3-7, 2001, 2001, AMIA. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Klemen Cas |
Integration von Kosten- und Marktdaten in einem Entscheidungsassistenten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 41(5), pp. 416-425, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Klemen Cas |
Rechnergestützte Integration von Rechnungswesen-Informationen und Marktforschungsdaten: der Weg vom Symptom zur Therapie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
26 | John Cas Czelen |
Legal Implications of Intelligent Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Intelligent Autonomous Systems, An International Conference, Amsterdam, The Netherlands, 8-11 December 1986, pp. 175-188, 1986, North-Holland, 0-444-70168-0. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
25 | |
CAS Query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 309, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1470 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|