Samer Abdallah

13 papers A 2B 1Misc 1Journal 7Unranked 2

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski