V. S. Lakshmanan

13 papers A* 1A 1B 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
1994 J jnl
On Three-Valued Autoepistemic Reasoning and the Semantics of Logic Programs.
Methods Log. Comput. Sci.
V. S. Lakshmanan
1992 J jnl
Attempting guards in parallel: A data flow approach to execute generalized guarded commands.
Int. J. Parallel Program.
R. Govindarajan, Sheng Yu, V. S. Lakshmanan
1991 — conf
Can Filters do Magic for Deductive Databases?
ALPUK
V. S. Lakshmanan, C. H. Yim
1990 B conf
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics.
LPNMR
V. S. Lakshmanan
1989 A* conf
Inductive Pebble Games and the Expressive Power of Datalog.
PODS
V. S. Lakshmanan, Alberto O. Mendelzon
1989 — conf
Query Evaluation with Null Values: How Complex is Completeness?
FSTTCS
V. S. Lakshmanan
1988 J jnl
Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers.
Theor. Comput. Sci.
V. S. Lakshmanan
1987 J jnl
An Algebraic Theory of Functional and Multivalued Dependencies in Relational Databases.
Theor. Comput. Sci.
V. S. Lakshmanan, C. E. Veni Madhavan
1987 — conf
On Global Context Dependencies and their Properties.
MFDBS
Alessandro D'Atri, Paolino Di Felice, V. S. Lakshmanan, Marina Moscarini
1986 — conf
Binary Decompositions and Acyclic Schemes.
FSTTCS
V. S. Lakshmanan, C. E. Veni Madhavan
1986 A conf
Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers.
ICDT
V. S. Lakshmanan
1985 — conf
The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach.
FSTTCS
V. S. Lakshmanan, C. E. Veni Madhavan
1984 — conf
Recognition and Top-Down Generation of beta-Acyclic Database Schemes.
FSTTCS
V. S. Lakshmanan, N. Chandrasekharan, C. E. Veni Madhavan
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