P. Pandurang Nayak

26 papers A* 6A 2Journal 8Unranked 8

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Efficient Enumeration of Instantiations in Bayesian Networks CoRR Sampath Srinivas, P. Pandurang Nayak
2002	—	`conf`	Fragment-based Conformant Planning. AIPS James Kurien, P. Pandurang Nayak, David E. Smith
2000	—	`conf`	Back to the Future for Consistency-Based Trajectory Tracking. AAAI/IAAI James Kurien, P. Pandurang Nayak
2000	A	`conf`	Remote Agent: An Autonomous Control System for the New Millennium. ECAI Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung
1999	J	`jnl`	Autonomy and software technology on NASA's Deep Space One. IEEE Intell. Syst. Douglas E. Bernard, Richard J. Doyle, Ed Riedel, Nicolas Rouquette, Jay Wyatt, Mike Lowry, P. Pandurang Nayak
1998	—	`conf`	A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. Agents Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, P. Pandurang Nayak, Christian Plaunt, Brian C. Williams
1998	J	`jnl`	An Autonomous Spacecraft Agent Prototype. Auton. Robots Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams
1998	J	`jnl`	Model-Directed Autonomous Systems. AI Mag. P. Pandurang Nayak, Brian C. Williams
1998	J	`jnl`	Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artif. Intell. Nicola Muscettola, P. Pandurang Nayak, Barney Pell, Brian C. Williams
1997	—	`conf`	A Reactive Planner for a Model-based Executive. IJCAI Brian C. Williams, P. Pandurang Nayak
1997	—	`conf`	An Autnomous Spacecarft Agent Prototype. Agents Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams
1997	—	`conf`	Fast Context Switching in Real-Time Propositional Reasoning. AAAI/IAAI P. Pandurang Nayak, Brian C. Williams
1996	—	`conf`	A Model-Based Approach to Reactive Self-Configuring Systems. AAAI/IAAI, Vol. 2 Brian C. Williams, P. Pandurang Nayak
1996	J	`jnl`	Efficient Compositional Modeling for Generating Causal Explanations. Artif. Intell. P. Pandurang Nayak, Leo Joskowicz
1996	A	`conf`	Efficient enumeration of instantiations in Bayesian networks. UAI Sampath Srinivas, P. Pandurang Nayak
1996	J	`jnl`	Immobile Robots AI in the New Millennium. AI Mag. Brian C. Williams, P. Pandurang Nayak
1995	A*	`conf`	A Semantic Theory of Abstractions. IJCAI P. Pandurang Nayak, Alon Y. Levy
1995	—	`book`	Automated Modeling of Physical Systems P. Pandurang Nayak
1994	J	`jnl`	Causal Approximations. Artif. Intell. P. Pandurang Nayak
1994	A*	`conf`	Representing Multiple Theories. AAAI P. Pandurang Nayak
1992	A*	`conf`	Automated Model Selection Using Context-Dependent Behaviors. AAAI P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
1992	—	`—`	Automated modeling of physical systems. P. Pandurang Nayak
1992	A*	`conf`	Causal Approximations. AAAI P. Pandurang Nayak
1992	A*	`conf`	Order of Magnitude Reasoning using Logarithms. KR P. Pandurang Nayak
1991	—	`conf`	Context-Dependent Behaviors: A Preliminary Report. IntCAD P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
1988	A*	`conf`	Comparison of the Rete and Treat Production Matchers for Soar. AAAI P. Pandurang Nayak, Anoop Gupta, Paul S. Rosenbloom

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.