Samer Abdallah

13 papers A 2B 1Misc 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic.
CoRR
Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Olney Passmore
2018 J jnl
Information-Theoretic Properties of Auditory Sequences Dynamically Influence Expectation and Memory.
Cogn. Sci.
Kat Agres, Samer Abdallah, Marcus T. Pearce
2018 J jnl
PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control.
Int. J. Approx. Reason.
Samer Abdallah
2018 — conf
StructureNet: Inducing Structure in Generated Melodies.
ISMIR
Gabriele Medeot, Srikanth Cherla, Katerina Kosta, Matt McVicar, Samer Abdallah, Marco Selvi, Ed Newton-Rex, Kevin Webster
2017 J jnl
Automatic Differentiation using Constraint Handling Rules in Prolog.
CoRR
Samer Abdallah
2017 J jnl
Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style.
CoRR
Samer Abdallah
2017 J jnl
More declarative tabling in Prolog using multi-prompt delimited control.
CoRR
Samer Abdallah
2016 J jnl
Advances in integrative statistics for logic programming.
Int. J. Approx. Reason.
Nicos Angelopoulos, Samer Abdallah, Georgios Giamas
2015 — conf
Advances in Integrating Statistical Inference.
PLP@ICLP
Nicos Angelopoulos, Samer Abdallah, Georgios Giamas
2013 B conf
An Information-Theoretic Account of Musical Expectation and Memory.
CogSci
Kat Agres, Samer Abdallah, Marcus T. Pearce
2001 A conf
Preliminary experiments in visual servo control for autonomous underwater vehicle.
IROS
Chanop Silpa-Anan, Thomas S. Brinsmead, Samer Abdallah, Alexander Zelinsky
2000 Misc conf
Comparison of Some Vision System for Blinds.
MVA
Edwige E. Pissaloux, Hichem Bouayed, Samer Abdallah
1998 A conf
A multimodal approach to real-time active vision.
IROS
Andrew Brooks, Samer Abdallah, Alexander Zelinsky, Jon Kieffer