Madhur Kohli

13 papers A* 4A 1B 4Misc 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2003 J jnl
Realizing network Control Policies using Distributed Action Plans.
J. Netw. Syst. Manag.
Madhur Kohli, Jorge Lobo
2000 — conf
Distributed action plans in an agent based network management system.
Agents
Madhur Kohli, Jorge Lobo
2000 B conf
Netmon: network management for the SARAS softswitch.
NOMS
Aashu Virmani, Jorge Lobo, Madhur Kohli
2000 A* conf
Policy Evaluation for Network Management.
INFOCOM
Randeep Bhatia, Jorge Lobo, Madhur Kohli
1999 Misc conf
A Policy-based Network Management System.
IC-AI
Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani
1996 A* conf
PICSDesk: A Case Study on Business Process Re-engineering.
ICDE
Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya
1993 A conf
Speculative Query Evaluation over Databases of Plans.
CIKM
Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty
1987 J jnl
An overview of the PRISM project.
SIGARCH Comput. Archit. News
Madhur Kohli, Mark E. Giuliano, Jack Minker
1983 B conf
Control of Logic Prosrams Using Integrity Constraints.
Logic Programming Workshop
Madhur Kohli, Jack Minker
1983 A* conf
Intelligent Control Using Integrity Constraints.
AAAI
Madhur Kohli, Jack Minker
1983 B conf
PRISM - A Parallel Inference System for Problem Solving.
Logic Programming Workshop
Simon Kasif, Madhur Kohli, Jack Minker
1983 A* conf
PRISM: A Parallel Inference System for Problem Solving.
IJCAI
Simon Kasif, Madhur Kohli, Jack Minker
1982 B conf
Logic Programming on ZMOB: A Highly Parallel Machine.
ICPP
Upen S. Chakravarthy, Simon Kasif, Madhur Kohli, Jack Minker, D. Cao
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski