Sjouke Mauw

发表

Ag Engels, Sjouke Mauw, S. Mauw, 1997 .
Yang Liu, Jun Pang, Sjouke Mauw, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Jan Friso Groote, Alexander Serebrenik, Stefan Blom, 2005, Electron. Notes Theor. Comput. Sci..
Loe M. G. Feijs, Sjouke Mauw, André Engels, 1999, SDL Forum.
Sjouke Mauw, Tim A. C. Willemse, Wouter T. Wiersma, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, 2001, Distributed Computing.
Muhammad Torabi Dashti, Sjouke Mauw, Sasa Radomirovic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Ross Horne, Sjouke Mauw, Alwen Tiu, 2017, Fundam. Informaticae.
Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013, ArXiv.
Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen, 2011, STM.
Jun Pang, Sjouke Mauw, Hugo L. Jonker, 2013, Comput. Sci. Rev..
Sjouke Mauw, Harm M. A. van Beek, S. Mauw, 2003, FATES.
Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan, 2016, DBSec.
Sjouke Mauw, E. P. de Vink, Cas Cremers, 2003 .
Sjouke Mauw, Cas Cremers, 2012 .
Erik Poll, Martijn Warnier, Sjouke Mauw, 2002 .
Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Julita Vassileva, Max Mühlhäuser, Sjouke Mauw, 2016, IFIP Advances in Information and Communication Technology.
Peter Y. A. Ryan, Sjouke Mauw, Sasa Radomirovic, 2010, Security Protocols Workshop.
A. W. Heerink, R. G. de Vries, Sjouke Mauw, 2000 .
Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2011, 2012 Seventh International Conference on Availability, Reliability and Security.
Sjouke Mauw, Gert J. Veltink, G. J. Veltink, 1989, TAPSOFT, Vol.2.
Muhammad Torabi Dashti, Sjouke Mauw, J. G. Cederquist, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).
Frank Piessens, Fabio Massacci, Sjouke Mauw, 2008 .
Sjouke Mauw, Sasa Radomirovic, Pieter Ceelen, 2008, Electron. Notes Theor. Comput. Sci..
Ying Zhang, Jun Pang, Sjouke Mauw, 2012, Innovations in Systems and Software Engineering.
Michel A. Reniers, Sjouke Mauw, S. Mauw, 1999, Comput. Networks.
Sjouke Mauw, E. A. van der Meulen, S. Mauw, 1995 .
Cas J. F. Cremers, Sjouke Mauw, C. Cremers, 2004, SAM.
Freek Wiedijk, Sjouke Mauw, 1989, Algebraic Methods.
Jos C. M. Baeten, Sjouke Mauw, Harm M. A. van Beek, 2001, SAC.
Sjouke Mauw, Michel A. Reniers, Tac Tim Willemse, 2001 .
Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .
Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .
Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2012, ICISC.
Dov M. Gabbay, Ross Horne, Sjouke Mauw, 2020, GraMSec@CSF.
Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .
Sjouke Mauw, Cas Cremers, C. Cremers, 2012 .
Nicolae Goga, Loe M. G. Feijs, Lex Heerink, 1999, IWTCS.
Sjouke Mauw, Sasa Radomirovic, Ton van Deursen, 2011, USENIX Security Symposium.
Radu Mateescu, Sjouke Mauw, Wil Janssen, 1999, SPIN.
Sjouke Mauw, Tim A. C. Willemse, Wouter T. Wiersma, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Hans Mulder, Sjouke Mauw, S. Mauw, 1994, CONCUR.
Erik P. de Vink, Cas J. F. Cremers, Sjouke Mauw, 2006, Theor. Comput. Sci..
Sjouke Mauw, Sasa Radomirovic, Ton van Deursen, 2008, WISTP.
Sjouke Mauw, Hugo Jonker, S. Mauw, 2005 .
Sjouke Mauw, Gopakumar Nair, Ajeesh Gopalakrishnan, 2005, Secure Data Management.
Sjouke Mauw, Michel A. Reniers, S. Mauw, 1994 .
Sjouke Mauw, Sasa Radomirovic, Hugo L. Jonker, 2015, Security Protocols Workshop.
Frank Piessens, Fabio Massacci, Sjouke Mauw, 2008 .
Jun Pang, Qian Li, Sjouke Mauw, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Sjouke Mauw, Sasa Radomirovic, Pim Vullers, 2009, ESORICS.
Ying Zhang, Jun Pang, Sjouke Mauw, 2009, Formal Aspects in Security and Trust.
Sjouke Mauw, Michel A. Reniers, S. Mauw, 2001, Handbook of Process Algebra.
Loe M. G. Feijs, Sjouke Mauw, Harald P. E. Vranken, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.
Michel A. Reniers, Sjouke Mauw, André Engels, 1997, Sci. Comput. Program..
Sjouke Mauw, Saša Radomirović, Mohammad Torabi Dashti, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Sjouke Mauw, S. Mauw, 1996 .
Muhammad Torabi Dashti, Sjouke Mauw, S. Mauw, 2010, Handbook of Financial Cryptography and Security.
Michel A. Reniers, Sjouke Mauw, S. Mauw, 1994, Comput. J..
Loe M. G. Feijs, Sjouke Mauw, André Engels, 1997, TACAS.
Cas J. F. Cremers, Sjouke Mauw, Valérie Issarny, 2006, Electron. Notes Theor. Comput. Sci..
Sjouke Mauw, Victor Bos, Ton van Deursen, 1999 .
Jos C. M. Baeten, Sjouke Mauw, Harm M. A. van Beek, 2001, SDL Forum.
Yunior Ramírez-Cruz, Sjouke Mauw, Xihui Chen, 2019, ESORICS.
Erik P. de Vink, Cas J. F. Cremers, Sjouke Mauw, 2005, Electron. Notes Theor. Comput. Sci..
Selwyn Piramuthu, Gaurav Kapoor, Sjouke Mauw, 2012, Decis. Support Syst..
Sjouke Mauw, Hugo L. Jonker, Christof Ferreira Torres, 2015, ESORICS.
Michel A. Reniers, Sjouke Mauw, S. Mauw, 1996, CONCUR.
Sjouke Mauw, S. Mauw, 1991 .
Sjouke Mauw, Rolando Trujillo-Rasua, Jorge Toro-Pozo, 2018, IEEE Symposium on Security and Privacy.
Jun Pang, Sjouke Mauw, Hugo L. Jonker, 2009, 2009 International Conference on Availability, Reliability and Security.
Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1993, Distributed Computing.
Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013, QEST.
Cas J. F. Cremers, Sjouke Mauw, C. Cremers, 2012, Information Security and Cryptography.
Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1995 .
Eric Dubois, Nicolas Mayer, Baptiste Alcalde, 2009, AISC.
Pedro R. D'Argenio, Sjouke Mauw, 1995, CONCUR.
Sjouke Mauw, Carlo Harpes, Miguel Martins, 2013 .
Sjouke Mauw, Victor Bos, V. Bos, 2001 .
Jan Willem Polderman, Sjouke Mauw, Rom Langerak, 2014, FM.
Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, 2000, International Conference on Security and Management.
Cas J. F. Cremers, Sjouke Mauw, 2003, Scenarios: Models, Transformations and Tools.
Jun Pang, Baptiste Alcalde, Sjouke Mauw, 2010, STM.
Sjouke Mauw, Sasa Radomirovic, 2015, POST.
Sjouke Mauw, Hugo Jonker, J.H.S. Verschuren, 2004 .
Sjouke Mauw, Martijn Oostdijk, S. Mauw, 2005, ICISC.
Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2013, CSF.
Sjouke Mauw, Cjf Cas Cremers, 2006 .
Jun Pang, Qixia Yuan, Sjouke Mauw, 2012, Trans. Comp. Sys. Biology.
Yang Liu, Jie Zhang, Sjouke Mauw, 2014, IFIPTM.
Erik P. de Vink, Sjouke Mauw, Jan Verschuren, 2004, ESORICS.
Baptiste Alcalde, Sjouke Mauw, S. Mauw, 2009, Formal Aspects in Security and Trust.
Jun Pang, Sjouke Mauw, Hugo L. Jonker, 2009, J. Algorithms.
Sjouke Mauw, Hugo L. Jonker, Tom Schmitz, 2017, E-VOTE-ID.
Sjouke Mauw, 2001, Comput. Lang..
Jan A. Bergstra, Freek Wiedijk, Sjouke Mauw, 1991, Int. J. Found. Comput. Sci..
Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .
Jun Pang, Qixia Yuan, Sjouke Mauw, 2011, CompMod.
Jan A. Bergstra, Jos C. M. Baeten, Sjouke Mauw, 1989, Algebraic Methods.
Nicolae Goga, Loe M. G. Feijs, Jan Tretmans, 2002, TestCom.
Michel A. Reniers, Sjouke Mauw, S. Mauw, 1997, SDL Forum.
Ravi Jhawar, Sjouke Mauw, Karim Lounis, 2016, STM.
Christian Damsgaard Jensen, Sjouke Mauw, C. Jensen, 2014, Lecture Notes in Computer Science.
Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2013, ERCIM News.
Bert Bos, Sjouke Mauw, Ivo van Vessem, 2006, SPC.
Sem C. Borst, Jan Friso Groote, Sjouke Mauw, 2003, J. Sched..
Sjouke Mauw, 2015, Security Protocols Workshop.
Olga Gadyatskaya, Sjouke Mauw, 2019, GraMSec@CSF.
Sjouke Mauw, 2010, Security Protocols Workshop.
Marc Voorhoeve, Sjouke Mauw, 2001, Inf. Process. Lett..
Samir Ouchani, Gabriele Lenzini, Sjouke Mauw, 2015, Comput. Electr. Eng..
Jos C. M. Baeten, Sjouke Mauw, J. Baeten, 1994, FORTE.
Sjouke Mauw, G. J. Veltink, S. Mauw, 1990 .
Jun Pang, Baptiste Alcalde, Sjouke Mauw, 2010, J. Comput. Secur..
Erik P. de Vink, Sjouke Mauw, Jan Verschuren, 2007, VODCA@FOSAD.
Sjouke Mauw, Hugo L. Jonker, S. Mauw, 2017, Security Protocols Workshop.
Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013 .
Sjouke Mauw, S. Mauw, 1996, Comput. Networks ISDN Syst..
Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .
Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.
Sjouke Mauw, Gert J. Veltink, 1991, CAV.
Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2010, Formal Aspects in Security and Trust.
Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2011, Security Protocols Workshop.
Sjouke Mauw, Cas Cremers, 2012 .
Ross Horne, Sjouke Mauw, S. Mauw, 2020, Log. Methods Comput. Sci..
Jun Pang, Sjouke Mauw, Sergiu Bursuc, 2021, E-VOTE-ID.
Sviatlana Höhn, Sjouke Mauw, Nicholas Asher, 2021, MISDOOM.
Sjouke Mauw, Hugo Jonker, Zach Smith, 2022 .
Sjouke Mauw, Victor Bos, V. Bos, 2001 .
Jun Pang, Sjouke Mauw, Hugo Jonker, 2012 .
Sjouke Mauw, G. J. Veltink, S. Mauw, 1989 .