default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVivek Nigam
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Hezhen Liu
, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis:
Design for dependability - State of the art and trends. J. Syst. Softw. 211: 111989 (2024)- [j32]Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp:
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. SN Comput. Sci. 5(5): 553 (2024) - [i18]Tatiana Chuprina, Daniel Méndez, Vivek Nigam, Marina Reich, Andreas Schweiger:
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering. CoRR abs/2404.17338 (2024) - 2023
- [j31]Aellison Cassimiro T. dos Santos, José L. Soares Filho, Ávilla Í. S. Silva, Vivek Nigam, Iguatemi E. Fonseca:
BLE injection-free attack: a novel attack on bluetooth low energy devices. J. Ambient Intell. Humaniz. Comput. 14(5): 5749-5759 (2023) - [j30]Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev:
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4(4): 335 (2023) - [j29]Yuri Gil Dantas, Vivek Nigam:
Automating Safety and Security Co-design through Semantically Rich Architecture Patterns. ACM Trans. Cyber Phys. Syst. 7(1): 5:1-5:28 (2023) - [c68]Gerald Whitters, Vivek Nigam, Carolyn L. Talcott:
Incremental Rewriting Modulo SMT. CADE 2023: 560-576 - [c67]Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp:
Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. ICISSP 2023: 180-191 - [c66]Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke:
Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. ICSA-C 2023: 309-316 - [c65]Vivek Nigam, Carolyn L. Talcott:
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE 2023: 1-19 - [i17]Vivek Nigam, Carolyn L. Talcott:
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR abs/2304.11564 (2023) - 2022
- [j28]Vivek Nigam, Carolyn L. Talcott:
Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. 126: 100745 (2022) - [j27]Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott:
Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. 32(9): 1254-1282 (2022) - [j26]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3(5): 356 (2022) - [c64]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC 2022: 96-113 - [c63]Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev:
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD 2022: 36-47 - [c62]Vivek Nigam, Carolyn L. Talcott:
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS 2022: 212-229 - [i16]Yuri Gil Dantas, Vivek Nigam:
Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns. CoRR abs/2201.10563 (2022) - [i15]Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp:
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. CoRR abs/2212.12347 (2022) - 2021
- [j25]Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource and timing aspects of security protocols. J. Comput. Secur. 29(3): 299-340 (2021) - [c61]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275 - [c60]Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess:
Proof Search and Certificates for Evidential Transactions. CADE 2021: 234-251 - [c59]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD 2021: 3:1-3:21 - [c58]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP 2021: 43-54 - [i14]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR abs/2105.03531 (2021) - 2020
- [j24]Túlio A. Pascoal, Iguatemi E. Fonseca, Vivek Nigam:
Slow denial-of-service attacks on software defined networks. Comput. Networks 173: 107223 (2020) - [c57]Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov:
Soft Subexponentials and Multiplexing. IJCAR (1) 2020: 500-517 - [c56]Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott:
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC 2020: 1-8 - [c55]Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA@ETAPS 2020: 197-215 - [c54]Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam:
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. ICLP Technical Communications 2020: 244-257 - [e3]Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9 [contents] - [i13]Yuri Gil Dantas, Vivek Nigam, Harald Ruess:
Security Engineering for ISO 21434. CoRR abs/2012.15080 (2020)
2010 – 2019
- 2019
- [j23]Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov:
Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29(8): 1217-1249 (2019) - [j22]Vivek Nigam, René Thiemann:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 781: 1-2 (2019) - [c53]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning 2019: 89-111 - [c52]Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 192-213 - [c51]João Henrique G. M. Corrêa, Epaminondas A. Sousa Junior, Iguatemi E. Fonseca, Vivek Nigam, Moisés R. N. Ribeiro, Rodolfo da Silva Villaça:
Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services. CloudNet 2019: 1-3 - [c50]Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource-Bounded Intruders in Denial of Service Attacks. CSF 2019: 382-396 - [c49]Vivek Nigam, Carolyn L. Talcott:
Formal Security Verification of Industry 4.0 Applications. ETFA 2019: 1043-1050 - [c48]Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam:
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. FMCAD 2019: 69-77 - [c47]Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis:
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops 2019: 330-337 - [c46]Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan:
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops 2019: 346-353 - [c45]Leydson Silva, Ewerton Salvador, Alisson V. Brito, Jose de Sousa Barros, Vivek Nigam:
A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis. SBESC 2019: 1-8 - [c44]Marina Reich, Tatiana Chuprina, Vivek Nigam:
Towards Computer-Aided Software Requirements Process. Software Engineering (Workshops) 2019: 75-78 - 2018
- [j21]Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam:
On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebraic Methods Program. 94: 45-67 (2018) - [j20]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. Log. Methods Comput. Sci. 14(1) (2018) - [j19]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. Sci. Comput. Program. 155: 27-51 (2018) - [c43]Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov:
A Logical Framework with Commutative and Non-commutative Subexponentials. IJCAR 2018: 228-245 - [c42]Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS 2018: 60-71 - [c41]Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall:
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC 2018: 307-322 - [i12]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Observational Equivalence. CoRR abs/1801.04066 (2018) - [i11]Vivek Nigam, Alexander Pretschner, Harald Ruess:
Model-Based Safety and Security Engineering. CoRR abs/1810.04866 (2018) - [i10]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Compliance in Real Time Multiset Rewriting Models. CoRR abs/1811.04826 (2018) - 2017
- [j18]Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito:
Analysis of design strategies for unmanned aerial vehicles using co-simulation. Des. Autom. Embed. Syst. 21(3-4): 157-172 (2017) - [j17]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25(6): 585-630 (2017) - [j16]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27(3): 332-375 (2017) - [j15]Vivek Nigam, Carlos Olarte, Elaine Pimentel:
On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. 693: 35-58 (2017) - [c40]Túlio A. Pascoal, João Henrique G. M. Corrêa, Rafael Brayner, Vivek Nigam, Iguatemi E. Fonseca:
Módulo de Proteção contra Ataques de Negação de Serviço na Camada de Aplicação: uma Análise de Qualidade de Serviço e Experiência de Usuá rio∗. SBRC 2017 - [c39]Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam:
Slow TCAM Exhaustion DDoS Attack. SEC 2017: 17-31 - [c38]Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito:
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops 2017: 406-422 - [c37]Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam:
Mechanizing Focused Linear Logic in Coq. LSFA 2017: 219-236 - [e2]Vivek Nigam, Mário Florido:
11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016. Electronic Notes in Theoretical Computer Science 332, Elsevier 2017 [contents] - [i9]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR abs/1702.03504 (2017) - [i8]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. CoRR abs/1708.05193 (2017) - [i7]Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam:
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. CoRR abs/1709.04162 (2017) - 2016
- [j14]Vivek Nigam, Elaine Pimentel, Giselle Reis:
An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26(2): 539-576 (2016) - [c36]Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam:
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World 2016: 56-72 - [c35]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) 2016: 450-470 - [c34]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS 2016: 228-244 - [c33]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. PPDP 2016: 188-201 - [c32]Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito:
A Framework for the Analysis of UAV Strategies Using Co-simulation. SBESC 2016: 9-15 - [c31]Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé:
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35 - [c30]Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam:
Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA 2016: 82-97 - [c29]Vivek Nigam, Mário Florido:
Preface. LSFA 2016: 1-2 - [i6]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR abs/1605.08563 (2016) - [i5]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR abs/1606.07886 (2016) - 2015
- [j13]Carlos Olarte, Elaine Pimentel, Vivek Nigam:
Subexponential concurrent constraint programming. Theor. Comput. Sci. 606: 98-120 (2015) - [c28]Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott:
Inferring Executable Models from Formalized Experimental Evidence. CMSB 2015: 90-103 - [c27]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST 2015: 259-279 - [c26]Vivek Nigam, Giselle Reis, Leonardo Lima:
Towards the Automated Generation of Focused Proof Systems. WoF'15 2015: 1-6 - [c25]Elaine Pimentel, Vivek Nigam, João Neto:
Multi-focused Proofs with Different Polarity Assignments. LSFA 2015: 163-179 - [i4]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-Dependent Transformations for Concurrent Programs. CoRR abs/1510.02419 (2015) - [i3]Marco Gaboardi, Vivek Nigam, Tachio Terauchi:
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j12]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov:
Bounded memory protocols. Comput. Lang. Syst. Struct. 40(3-4): 137-154 (2014) - [j11]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov:
Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. 238: 233-261 (2014) - [j10]Vivek Nigam:
A framework for linear authorization logics. Theor. Comput. Sci. 536: 21-41 (2014) - [j9]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. 14(4-5): 649-663 (2014) - [c24]Vivek Nigam, Giselle Reis, Leonardo Lima:
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR 2014: 255-261 - [c23]Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca:
A Selective Defense for Application Layer DDoS Attacks. JISIC 2014: 75-82 - [c22]Nick Benton, Martin Hofmann, Vivek Nigam:
Abstract effects and proof-relevant logical relations. POPL 2014: 619-632 - [e1]Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 [contents] - [i2]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR abs/1405.2329 (2014) - 2013
- [j8]Vivek Nigam, Giselle Reis, Leonardo Lima:
Checking Proof Transformations with ASP. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c21]Vivek Nigam, Carlos Olarte, Elaine Pimentel:
A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR 2013: 410-424 - [c20]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov:
Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS 2013: 309-326 - [c19]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. TLCA 2013: 48-60 - [c18]Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Preface. IMLA@UNILOG 2013: 1-2 - [c17]Carlos Olarte, Vivek Nigam, Elaine Pimentel:
Dynamic Spaces in Concurrent Constraint Programming. LSFA 2013: 103-121 - 2012
- [j7]Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38(2): 158-180 (2012) - [j6]Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012) - [c16]Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic:
Towards an automated assistant for clinical investigations. IHI 2012: 773-778 - [c15]Vivek Nigam:
On the Complexity of Linear Authorization Logics. LICS 2012: 511-520 - [c14]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A Rewriting Framework for Activities Subject to Regulations. RTA 2012: 305-322 - [i1]Nick Benton, Martin Hofmann, Vivek Nigam:
Abstract Effects and Proof-Relevant Logical Relations. CoRR abs/1212.5692 (2012) - 2011
- [c13]Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. PPDP 2011: 125-136 - 2010
- [j5]Vivek Nigam, Dale Miller:
A Framework for Proof Systems. J. Autom. Reason. 45(2): 157-188 (2010) - [c12]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov:
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust 2010: 18-33 - [c11]Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov:
An Operational Semantics for Network Datalog. LAM@LICS 2010: 68-81 - [c10]Vivek Nigam, Elaine Pimentel, Giselle Reis:
Specifying Proof Systems in Linear Logic with Subexponentials. LSFA 2010: 109-123
2000 – 2009
- 2009
- [c9]Vivek Nigam, Dale Miller:
Algorithmic specifications in linear logic with subexponentials. PPDP 2009: 129-140 - 2008
- [j4]Vivek Nigam, Roland Priemer:
Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study. J. Medical Syst. 32(2): 123-135 (2008) - [j3]Jingye Xu, Vivek Nigam, Abinash Roy, Masud H. Chowdhury:
Compound noise separation in digital circuits using blind source separation. Microelectron. J. 39(8): 1083-1092 (2008) - [c8]Vivek Nigam, Dale Miller:
Focusing in Linear Meta-logic. IJCAR 2008: 507-522 - 2007
- [c7]Dale Miller, Vivek Nigam:
Incorporating Tables into Proofs. CSL 2007: 466-480 - 2006
- [j2]Vivek Nigam, Roland Priemer:
Fuzzy logic based variable step size algorithm for blind delayed source separation.