S. Mauw

发表

W. Janssen, Radu Mateescu, S. Mauw, 1998 .

Radu Mateescu, Sjouke Mauw, Wil Janssen, 1999, SPIN.

Sjouke Mauw, Saša Radomirović, Mohammad Torabi Dashti, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

S. Mauw, Barbara Kordy, S. Radomirovic, 2015 .

Sjouke Mauw, G. J. Veltink, S. Mauw, 1989 .

Erik P. de Vink, Cas J. F. Cremers, Sjouke Mauw, 2006, Theor. Comput. Sci..

Radu Mateescu, S. Mauw, J. Springintveld, 1998 .

Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, 2000, International Conference on Security and Management.

Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .

Sviatlana Höhn, Sjouke Mauw, Nicholas Asher, 2021, MISDOOM.

Nicholas M. Asher, S. Mauw, Sviatlana Höhn, 2022, ICWSM.

Cas J. F. Cremers, Sjouke Mauw, Valérie Issarny, 2006, Electron. Notes Theor. Comput. Sci..

Frank Piessens, Fabio Massacci, Sjouke Mauw, 2008 .

Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .

Sjouke Mauw, Victor Bos, Ton van Deursen, 1999 .

Erik Poll, Martijn Warnier, Sjouke Mauw, 2002 .

Sjouke Mauw, S. Mauw, 1991 .

Sjouke Mauw, S. Mauw, 1996 .

Dov M. Gabbay, Ross Horne, Sjouke Mauw, 2020, GraMSec@CSF.

Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013 .

Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .

Sjouke Mauw, G. J. Veltink, S. Mauw, 1993 .

Frank Piessens, Fabio Massacci, Sjouke Mauw, 2008 .

S. Mauw, R. Horne, S.I. Yurkov, 2021, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

Jun Pang, Sjouke Mauw, Hugo L. Jonker, 2013, Comput. Sci. Rev..

Jun Pang, Qixia Yuan, Sjouke Mauw, 2012, Trans. Comp. Sys. Biology.

Jun Pang, Qixia Yuan, Sjouke Mauw, 2011, CompMod.

Olga Gadyatskaya, Ahto Buldas, Aleksandr Lenin, 2018, Comput. Secur..

Ravi Jhawar, Yunior Ramírez-Cruz, Sjouke Mauw, 2018, STM.

Sjouke Mauw, Hugo Jonker, S. Mauw, 2005 .

Hans Mulder, Sjouke Mauw, S. Mauw, 1994, CONCUR.

Sjouke Mauw, G. J. Veltink, S. Mauw, 1990 .

Jan A. Bergstra, Freek Wiedijk, Sjouke Mauw, 1991, Int. J. Found. Comput. Sci..

Sem C. Borst, Jan Friso Groote, Sjouke Mauw, 2003, J. Sched..

Erik P. de Vink, Sjouke Mauw, Jan Verschuren, 2007, VODCA@FOSAD.

Sjouke Mauw, Tim A. C. Willemse, Wouter T. Wiersma, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1995 .

Eric Dubois, Nicolas Mayer, Baptiste Alcalde, 2009, AISC.

Cas J. F. Cremers, Sjouke Mauw, C. Cremers, 2004, SAM.

Jun Pang, Baptiste Alcalde, Sjouke Mauw, 2010, J. Comput. Secur..

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2014, J. Log. Comput..

Sjouke Mauw, Carlo Harpes, Miguel Martins, 2013 .

Sjouke Mauw, Michel Michel Reniers, S. Mauw, 1998 .

Cas J. F. Cremers, Sjouke Mauw, C. Cremers, 2012, Information Security and Cryptography.

Sjouke Mauw, Gert J. Veltink, G. J. Veltink, 1989, TAPSOFT, Vol.2.

J. Tretmans, S. Mauw, N. Goga, 2002, TestCom.

Sjouke Mauw, Sasa Radomirovic, Ton van Deursen, 2008, WISTP.

Erik P. de Vink, Sjouke Mauw, Jan Verschuren, 2004, ESORICS.

Loe M. G. Feijs, Sjouke Mauw, André Engels, 1997, TACAS.

Ross Horne, Sjouke Mauw, S. Mauw, 2020, Log. Methods Comput. Sci..

Selwyn Piramuthu, Gaurav Kapoor, Sjouke Mauw, 2012, Decis. Support Syst..

Yunior Ramírez-Cruz, Sjouke Mauw, Xihui Chen, 2019, ESORICS.

S. Mauw, Xihui Chen, Y. Ramírez-Cruz, 2019, Proc. Priv. Enhancing Technol..

Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan, 2016, DBSec.

Rolando Trujillo-Rasua, Sjouke Mauw, Yunior Ram'irez-Cruz, 2020, Knowledge and Information Systems.

Yunior Ramírez-Cruz, Rolando Trujillo-Rasua, Sjouke Mauw, 2019, Knowledge and Information Systems.

S. Mauw, Rolando Trujillo-Rasua, Y. Ramírez-Cruz, 2018, Data Mining and Knowledge Discovery.

Sjouke Mauw, Michel A. Reniers, Tac Tim Willemse, 2001 .

Stig Fr. Mjølsnes, Cas J. F. Cremers, Suzana Andova, 2006, Inf. Comput..

Michel A. Reniers, Sjouke Mauw, S. Mauw, 1996, CONCUR.

Michel A. Reniers, Sjouke Mauw, S. Mauw, 1994, Comput. J..

Michel A. Reniers, Sjouke Mauw, S. Mauw, 1999, Comput. Networks.

Michel A. Reniers, Sjouke Mauw, André Engels, 1997, Sci. Comput. Program..

Sjouke Mauw, S. Mauw, 1996, Comput. Networks ISDN Syst..

Jos C. M. Baeten, Sjouke Mauw, J. Baeten, 1994, FORTE.

Sjouke Mauw, Victor Bos, V. Bos, 2001 .

Sjouke Mauw, Victor Bos, V. Bos, 2001 .

S. Mauw, S. Mauw, M. G. Feijs, 1998 .

Michel A. Reniers, Sjouke Mauw, S. Mauw, 1997, SDL Forum.

Reniers, S. Mauw, S. Mauw, 1995 .

Sjouke Mauw, Hugo L. Jonker, S. Mauw, 2017, Security Protocols Workshop.

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, 2001, Distributed Computing.

Sjouke Mauw, Martijn Oostdijk, S. Mauw, 2005, ICISC.

Robert Norvill, Sjouke Mauw, Hugo L. Jonker, 2020, AsiaCCS.

Robert Norvill, Sjouke Mauw, Christof Ferreira Torres, 2020, 2003.05987.

Sjouke Mauw, Hugo L. Jonker, Christof Ferreira Torres, 2015, ESORICS.

Ross Horne, Sjouke Mauw, S. Mauw, 2020, Log. Methods Comput. Sci..

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Sjouke Mauw, Michel A. Reniers, S. Mauw, 1994 .

Sjouke Mauw, Michel A. Reniers, S. Mauw, 2001, Handbook of Process Algebra.

Sjouke Mauw, Rolando Trujillo-Rasua, Jorge Toro-Pozo, 2018, IEEE Symposium on Security and Privacy.

J. F. Groote, O. Boxma, S. Borst, 2003, Journal of Scheduling.

S. Mauw, Sergiu Bursuc, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

S. Mauw, Sergiu Bursuc, 2022, IEEE Computer Security Foundations Symposium.

Jun Pang, Gabriele Lenzini, Sjouke Mauw, 2011, 2012 Seventh International Conference on Availability, Reliability and Security.

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2010, Formal Aspects in Security and Trust.

Samir Ouchani, Gabriele Lenzini, Sjouke Mauw, 2015, Comput. Electr. Eng..

Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1993, Distributed Computing.

Cas J. F. Cremers, Sjouke Mauw, Cas Cremers, 2012 .

Yang Liu, Jie Zhang, Sjouke Mauw, 2014, IFIPTM.

Baptiste Alcalde, Sjouke Mauw, S. Mauw, 2009, Formal Aspects in Security and Trust.

S. Mauw, Barbara Kordy, P. Schweitzer, 2014, J. Log. Comput..

S. Mauw, Cengis Hasan, Andrzej Mizera, 2022, International Journal of Remote Sensing.

Muhammad Torabi Dashti, Sjouke Mauw, Sasa Radomirovic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

Christian Damsgaard Jensen, Sjouke Mauw, C. Jensen, 2014, Lecture Notes in Computer Science.

Jan Willem Polderman, Sjouke Mauw, Rom Langerak, 2014, FM.

Muhammad Torabi Dashti, Sjouke Mauw, J. G. Cederquist, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

Muhammad Torabi Dashti, Sjouke Mauw, S. Mauw, 2010, Handbook of Financial Cryptography and Security.

Tac Tim Willemse, S. Mauw, M. Reniers, 2000 .

Sjouke Mauw, Harm M. A. van Beek, S. Mauw, 2003, FATES.

William H. Sanders, Robin Berthier, S. Mauw, 2011, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.

S. Mauw, T. Winter, 2015 .

M. van Wijk, Sjouke Mauw, T. Winter, 1993 .

S. Mauw, M. Reniers, 1994, Comput. J..

Sjouke Mauw, E. A. van der Meulen, S. Mauw, 1995 .

Sjouke Mauw, E. A. van der Meulen, S. Mauw, 1995 .

Ag Engels, Sjouke Mauw, S. Mauw, 1997 .

Sjouke Mauw, Sasa Radomirovic, Ton van Deursen, 2011, USENIX Security Symposium.

Sjouke Mauw, Gert J. Veltink, S. Mauw, 1991, CAV.

A. W. Heerink, R. G. de Vries, Sjouke Mauw, 2000 .

Jun Pang, Sjouke Mauw, Sergiu Bursuc, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Olga Gadyatskaya, Stanislav Dashevskyi, Yury Zhauniarovich, 2018, ACM Trans. Softw. Eng. Methodol..