Vivek Nigam

发表

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2014, Inf. Comput..
Rodolfo da Silva Villaça, Vivek Nigam, João Henrique G. M. Corrêa, 2019, 2019 IEEE 8th International Conference on Cloud Networking (CloudNet).
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2019, Foundations of Security, Protocols, and Equational Reasoning.
Martin Hofmann, Nick Benton, Vivek Nigam, 2014, POPL.
Elaine Pimentel, Vivek Nigam, Giselle Reis, 2016, J. Log. Comput..
Vivek Nigam, Iguatemi E. Fonseca, Yuri Gil Dantas, 2014, 2014 IEEE Joint Intelligence and Security Informatics Conference.
Carolyn L. Talcott, Vivek Nigam, Alisson Vasconcelos De Brito, 2017, SEFM Workshops.
João Leite, Vivek Nigam, Vivek Nigam, 2006, DALT.
Vivek Nigam, Roland Priemer, R. Priemer, 2006, Fuzzy Sets Syst..
Martin Hofmann, Nick Benton, Vivek Nigam, 2013, TLCA.
Carolyn L. Talcott, Vivek Nigam, Merrill Knapp, 2015, CMSB.
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2017, Theor. Comput. Sci..
Max I. Kanovich, Vivek Nigam, Andre Scedrov, 2018, IJCAR.
João Leite, Vivek Nigam, Vivek Nigam, 2006, PROMAS.
Vivek Nigam, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Martin Hofmann, Nick Benton, Vivek Nigam, 2018, Log. Methods Comput. Sci..
Vivek Nigam, Alisson V. Brito, Jose de Sousa Barros, 2017, Des. Autom. Embed. Syst..
Elaine Pimentel, Vivek Nigam, João Neto, 2015, LSFA.
Alexander Pretschner, Vivek Nigam, Harald Ruess, 2018, ArXiv.
Dale Miller, Vivek Nigam, 2010, Journal of Automated Reasoning.
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2014, LSFA.
Martin Hofmann, Nick Benton, Vivek Nigam, 2015, PPDP.
Vivek Nigam, 2014, Theor. Comput. Sci..
Masud H. Chowdhury, Vivek Nigam, Jingye Xu, 2008, Microelectron. J..
Elaine Pimentel, Vivek Nigam, Giselle Reis, 2010, LSFA.
Limin Jia, Boon Thau Loo, Vivek Nigam, 2011, Comput. Lang. Syst. Struct..
Limin Jia, Boon Thau Loo, Vivek Nigam, 2010 .
Limin Jia, Boon Thau Loo, Vivek Nigam, 2012, Comput. Lang. Syst. Struct..
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2013, CONCUR.
Carolyn L. Talcott, Limin Jia, Jennifer Rexford, 2012, TNET.
Vivek Nigam, Roland Priemer, 2005, Journal of Medical Systems.
Vivek Nigam, Roland Priemer, R. Priemer, 2006, Physiological measurement.
Vivek Nigam, Andre Scedrov, Stepan Kuznetsov, 2017, Mathematical Structures in Computer Science.
Masud H. Chowdhury, Vivek Nigam, Roland Priemer, 2006, APCCAS 2006 - 2006 IEEE Asia Pacific Conference on Circuits and Systems.
Masud H. Chowdhury, Vivek Nigam, Roland Priemer, 2006, 2006 IEEE International Symposium on Circuits and Systems.
Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, 2014 .
Vivek Nigam, Carlos Olarte, Giselle Reis, 2017, LSFA.
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2014, Theory Pract. Log. Program..
Vivek Nigam, Marina Reich, Tatiana Chuprina, 2019, Software Engineering.
Vivek Nigam, Iguatemi E. Fonseca, Yuri Gil Dantas, 2017, SEC.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2010, Formal Aspects in Security and Trust.
Vivek Nigam, Leonardo Lima, Giselle Reis, 2014, IJCAR.
Vivek Nigam, Alisson V. Brito, Jose de Sousa Barros, 2016, 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC).
Vivek Nigam, Roland Priemer, R. Priemer, 2005, Physiological measurement.
Marco Gaboardi, Vivek Nigam, Tachio Terauchi, 2015, NII Shonan Meet. Rep..
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2017, J. Comput. Secur..
Dale Miller, Vivek Nigam, Vivek Nigam, 2008, IJCAR.
Vivek Nigam, Andre Scedrov, Stepan Kuznetsov, 2020, IJCAR.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018, ArXiv.
Vivek Nigam, Iguatemi E. Fonseca, Yuri Gil Dantas, 2016, WRLA.
Martin Hofmann, Nick Benton, Andrew Kennedy, 2016, A List of Successes That Can Change the World.
Vivek Nigam, Leonardo Lima, Giselle Reis, 2013, Theory Pract. Log. Program..
Limin Jia, Boon Thau Loo, Vivek Nigam, 2010, LAM@LICS.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2013, ESORICS.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2015, POST.
Carolyn L. Talcott, Vivek Nigam, Abraão Aires Urquiza, 2019, Foundations of Security, Protocols, and Equational Reasoning.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2012, IHI '12.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018 .
Vivek Nigam, Iguatemi E. Fonseca, Yuri Gil Dantas, 2017, J. Log. Algebraic Methods Program..
Vivek Nigam, René Thiemann, 2019, Theor. Comput. Sci..
Martin Hofmann, Nick Benton, Vivek Nigam, 2018, Sci. Comput. Program..
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2015, Theor. Comput. Sci..
Vivek Nigam, Leonardo Lima, Giselle Reis, 2015, WoF'15.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2012, RTA.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2014, Comput. Lang. Syst. Struct..
Rafael Peñaloza, Michael Schroeder, Vivek Nigam, 2006, EDBT Workshops.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2016, FORMATS.
Vivek Nigam, Vivek Nigam, 2006 .
Nick Benton, Vivek Nigam, Martin Hofmann, 2014 .
Carolyn L. Talcott, Vivek Nigam, Abraão Aires Urquiza, 2018, ArXiv.
Dale Miller, Vivek Nigam, 2007, CSL.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2010 .
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018, CPS-SPC@CCS.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2017, Math. Struct. Comput. Sci..
Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2021, FSCD.
Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, 2021, Protocols, Strands, and Logic.
Vivek Nigam, Harald Ruess, Giselle Reis, 2021, CADE.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2021, J. Comput. Secur..
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2021, ICISSP.
Vivek Nigam, Iguatemi E. Fonseca, Yuri Gil Dantas, 2016 .
Vivek Nigam, Iguatemi E. Fonseca, João Henrique, 2015 .
Dale Miller, Vivek Nigam, 2008 .