Vivek Nigam - RankMe

124 papers A* 2A 7B 4C 10Misc 3Journal 53Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A novel open-source framework for performing TSN schedules. Simul. Model. Pract. Theory Aellison Cassimiro T. dos Santos, Renan M. Silva, Ben Schneider, Malte Wilhelm, Iguatemi E. Fonseca, Vivek Nigam
2025	J	`jnl`	Fault Injection and Reliability Analysis on Time-Sensitive Networking. IEEE Internet Things J. Renan M. Silva, Aellison Cassimiro T. dos Santos, Iguatemi E. Fonseca, Vivek Nigam
2024	J	`jnl`	A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. SN Comput. Sci. Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp
2024	J	`jnl`	Design for dependability - State of the art and trends. J. Syst. Softw. Hezhen Liu, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis
2024	J	`jnl`	Towards an Approach to Pattern-based Domain-Specific Requirements Engineering. CoRR Tatiana Chuprina, Daniel Méndez, Vivek Nigam, Marina Reich, Andreas Schweiger
2023	J	`jnl`	A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2023	Misc	`conf`	Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE Vivek Nigam, Carolyn L. Talcott
2023	J	`jnl`	Automating Safety and Security Co-design through Semantically Rich Architecture Patterns. ACM Trans. Cyber Phys. Syst. Yuri Gil Dantas, Vivek Nigam
2023	C	`conf`	Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. ICISSP Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
2023	J	`jnl`	BLE injection-free attack: a novel attack on bluetooth low energy devices. J. Ambient Intell. Humaniz. Comput. Aellison Cassimiro T. dos Santos, José L. Soares Filho, Ávilla Í. S. Silva, Vivek Nigam, Iguatemi E. Fonseca
2023	A	`conf`	Incremental Rewriting Modulo SMT. CADE Gerald Whitters, Vivek Nigam, Carolyn L. Talcott
2023	—	`conf`	Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. ICSA-C Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke
2023	J	`jnl`	Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR Vivek Nigam, Carolyn L. Talcott
2022	C	`conf`	A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022	J	`jnl`	Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. Vivek Nigam, Carolyn L. Talcott
2022	—	`conf`	Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA Vivek Nigam, Carolyn L. Talcott
2022	J	`jnl`	Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns. CoRR Yuri Gil Dantas, Vivek Nigam
2022	J	`jnl`	Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
2022	C	`conf`	On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022	J	`jnl`	On the Security and Complexity of Periodic Systems. SN Comput. Sci. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022	J	`jnl`	Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. CoRR Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
2021	C	`conf`	On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	—	`conf`	On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	J	`jnl`	On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	B	`conf`	Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD Elaine Pimentel, Carlos Olarte, Vivek Nigam
2021	A	`conf`	Proof Search and Certificates for Evidential Transactions. CADE Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
2021	J	`jnl`	Resource and timing aspects of security protocols. J. Comput. Secur. Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2020	—	`conf`	A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott
2020	—	`conf`	Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA Vivek Nigam, Carolyn L. Talcott
2020	—	`conf`	Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. ICLP Technical Communications Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam
2020	—	`ed.`	Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Logic, Language, and Security Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
2020	J	`jnl`	Security Engineering for ISO 21434. CoRR Yuri Gil Dantas, Vivek Nigam, Harald Ruess
2020	J	`jnl`	Slow denial-of-service attacks on software defined networks. Comput. Networks Túlio A. Pascoal, Iguatemi E. Fonseca, Vivek Nigam
2020	—	`conf`	Soft Subexponentials and Multiplexing. IJCAR (1) Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2019	—	`conf`	A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis. SBESC Leydson Silva, Ewerton Salvador, Alisson V. Brito, Jose de Sousa Barros, Vivek Nigam
2019	—	`conf`	A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019	—	`conf`	ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis
2019	C	`conf`	Formal Security Verification of Industry 4.0 Applications. ETFA Vivek Nigam, Carolyn L. Talcott
2019	J	`jnl`	Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. Vivek Nigam, René Thiemann
2019	—	`conf`	On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan
2019	A	`conf`	Resource-Bounded Intruders in Denial of Service Attacks. CSF Abraão Aires Urquiza, Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019	—	`conf`	Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services. CloudNet 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
2019	J	`jnl`	Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2019	—	`conf`	Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2019	B	`conf`	TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. FMCAD Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam
2019	C	`conf`	Towards Computer-Aided Software Requirements Process. Software Engineering (Workshops) Marina Reich, Tatiana Chuprina, Vivek Nigam
2018	A	`conf`	A Logical Framework with Commutative and Non-commutative Subexponentials. IJCAR Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2018	J	`jnl`	Compliance in Real Time Multiset Rewriting Models. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018	J	`jnl`	Effect-dependent transformations for concurrent programs. Sci. Comput. Program. Nick Benton, Martin Hofmann, Vivek Nigam
2018	Misc	`conf`	Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2018	J	`jnl`	Model-Based Safety and Security Engineering. CoRR Vivek Nigam, Alexander Pretschner, Harald Ruess
2018	J	`jnl`	On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebraic Methods Program. Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2018	J	`jnl`	Proof-Relevant Logical Relations for Name Generation. Log. Methods Comput. Sci. Nick Benton, Martin Hofmann, Vivek Nigam
2018	—	`conf`	Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018	J	`jnl`	Symbolic Timed Observational Equivalence. CoRR Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2017	—	`ed.`	11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016 LSFA Vivek Nigam, Mário Florido
2017	—	`conf`	A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito
2017	J	`jnl`	A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2017	J	`jnl`	Analysis of design strategies for unmanned aerial vehicles using co-simulation. Des. Autom. Embed. Syst. Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito
2017	—	`conf`	Mechanizing Focused Linear Logic in Coq. LSFA Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
2017	—	`conf`	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 Túlio A. Pascoal, João Henrique G. M. Corrêa, Rafael Brayner, Vivek Nigam, Iguatemi E. Fonseca
2017	J	`jnl`	On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. Vivek Nigam, Carlos Olarte, Elaine Pimentel
2017	J	`jnl`	On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. CoRR Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2017	J	`jnl`	Proof-Relevant Logical Relations for Name Generation. CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2017	Misc	`conf`	Slow TCAM Exhaustion DDoS Attack. SEC Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2017	J	`jnl`	Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2017	J	`jnl`	Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	—	`conf`	A Framework for the Analysis of UAV Strategies Using Co-simulation. SBESC Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito
2016	J	`jnl`	An extended framework for specifying and reasoning about proof systems. J. Log. Comput. Vivek Nigam, Elaine Pimentel, Giselle Reis
2016	—	`conf`	Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
2016	C	`conf`	Effect-dependent transformations for concurrent programs. PPDP Nick Benton, Martin Hofmann, Vivek Nigam
2016	—	`conf`	Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
2016	—	`conf`	Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
2016	—	`conf`	Preface. LSFA Vivek Nigam, Mário Florido
2016	—	`conf`	Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	J	`jnl`	Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	—	`conf`	Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2016	J	`jnl`	Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2015	—	`conf`	Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2015	J	`jnl`	Effect-Dependent Transformations for Concurrent Programs. CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2015	—	`conf`	Inferring Executable Models from Formalized Experimental Evidence. CMSB Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott
2015	J	`jnl`	Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. Marco Gaboardi, Vivek Nigam, Tachio Terauchi
2015	—	`conf`	Multi-focused Proofs with Different Polarity Assignments. LSFA Elaine Pimentel, Vivek Nigam, João Neto
2015	J	`jnl`	Subexponential concurrent constraint programming. Theor. Comput. Sci. Carlos Olarte, Elaine Pimentel, Vivek Nigam
2015	—	`conf`	Towards the Automated Generation of Focused Proof Systems. WoF'15 Vivek Nigam, Giselle Reis, Leonardo Lima
2014	J	`jnl`	A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014	J	`jnl`	A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014	—	`conf`	A Selective Defense for Application Layer DDoS Attacks. JISIC Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca
2014	J	`jnl`	A framework for linear authorization logics. Theor. Comput. Sci. Vivek Nigam
2014	A*	`conf`	Abstract effects and proof-relevant logical relations. POPL Nick Benton, Martin Hofmann, Vivek Nigam
2014	J	`jnl`	Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2014	J	`jnl`	Bounded memory protocols. Comput. Lang. Syst. Struct. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2014	—	`ed.`	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 IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2014	A	`conf`	Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR Vivek Nigam, Giselle Reis, Leonardo Lima
2013	B	`conf`	A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR Vivek Nigam, Carlos Olarte, Elaine Pimentel
2013	A	`conf`	Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2013	J	`jnl`	Checking Proof Transformations with ASP. Theory Pract. Log. Program. Vivek Nigam, Giselle Reis, Leonardo Lima
2013	—	`conf`	Dynamic Spaces in Concurrent Constraint Programming. LSFA Carlos Olarte, Vivek Nigam, Elaine Pimentel
2013	—	`conf`	Preface. IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2013	—	`conf`	Proof-Relevant Logical Relations for Name Generation. TLCA Nick Benton, Martin Hofmann, Vivek Nigam
2012	—	`conf`	A Rewriting Framework for Activities Subject to Regulations. RTA Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2012	J	`jnl`	Abstract Effects and Proof-Relevant Logical Relations CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2012	J	`jnl`	FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2012	J	`jnl`	Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2012	A*	`conf`	On the Complexity of Linear Authorization Logics. LICS Vivek Nigam
2012	—	`conf`	Towards an automated assistant for clinical investigations. IHI Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic
2011	C	`conf`	Maintaining distributed logic programs incrementally. PPDP Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2010	J	`jnl`	A Framework for Proof Systems. J. Autom. Reason. Vivek Nigam, Dale Miller
2010	—	`conf`	An Operational Semantics for Network Datalog. LAM@LICS Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
2010	—	`conf`	Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2010	—	`conf`	Specifying Proof Systems in Linear Logic with Subexponentials. LSFA Vivek Nigam, Elaine Pimentel, Giselle Reis
2009	C	`conf`	Algorithmic specifications in linear logic with subexponentials. PPDP Vivek Nigam, Dale Miller
2008	J	`jnl`	Compound noise separation in digital circuits using blind source separation. Microelectron. J. Jingye Xu, Vivek Nigam, Abinash Roy, Masud H. Chowdhury
2008	A	`conf`	Focusing in Linear Meta-logic. IJCAR Vivek Nigam, Dale Miller
2008	J	`jnl`	Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study. J. Medical Syst. Vivek Nigam, Roland Priemer
2007	B	`conf`	Incorporating Tables into Proofs. CSL Dale Miller, Vivek Nigam
2006	—	`conf`	A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT Vivek Nigam, João Leite
2006	—	`conf`	A Procedure to Extract the Aortic and the Pulmonary Sounds from the Phonocardiogram. EMBC Vivek Nigam, Roland Priemer
2006	J	`jnl`	A Snore Extraction Method from Mixed Sound for a Mobile Snore Recorder. J. Medical Syst. Vivek Nigam, Roland Priemer
2006	—	`conf`	Adding Knowledge Updates to 3APL. PROMAS Vivek Nigam, João Leite
2006	C	`conf`	Compound noise analysis in digital circuits using blind source separation. ISCAS Vivek Nigam, Masud H. Chowdhury, Roland Priemer
2006	J	`jnl`	Fuzzy logic based variable step size algorithm for blind delayed source separation. Fuzzy Sets Syst. Vivek Nigam, Roland Priemer
2006	—	`conf`	Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. EDBT Workshops Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder
2006	—	`conf`	Separation of Individual Noise Sources from Compound Noise Measurements in Digital Circuits. APCCAS Vivek Nigam, Masud H. Chowdhury, Roland Priemer