Robert J. Simmons

27 papers A* 1A 1B 1C 3Journal 18Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Finite-Choice Logic Programming. Proc. ACM Program. Lang. Chris Martens, Robert J. Simmons, Michael Arntzenius
2025	J	`jnl`	Querying Graph-Relational Data. CoRR Michael J. Sullivan, Zhibo Chen, Elvis Pranskevichus, Robert J. Simmons, Victor Petrovykh, Aljaz Mur Erzen, Yury Selivanov
2024	J	`jnl`	Finite-Choice Logic Programming. CoRR Robert J. Simmons, Michael Arntzenius, Chris Martens
2021	C	`conf`	Inbox Games: Poetics and Authoring Support. ICIDS Chris Martens, Robert J. Simmons
2016	J	`jnl`	Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. Yuxin Deng, Robert J. Simmons, Iliano Cervesato
2014	J	`jnl`	Structural Focalization. ACM Trans. Comput. Log. Robert J. Simmons
2013	C	`conf`	A logical correspondence between natural semantics and abstract machines. PPDP Robert J. Simmons, Ian Zerny
2012	J	`jnl`	Constructive Provability Logic CoRR Robert J. Simmons, Bernardo Toninho
2012	J	`jnl`	Dickie George: looking back on 40 years at the NSA. XRDS Robert J. Simmons
2012	J	`jnl`	Leah Busque: herding TaskRabbits. XRDS Robert J. Simmons
2012	J	`jnl`	Profile Jeff Dean: Big data at Google. XRDS Edward Z. Yang, Robert J. Simmons
2012	—	`conf`	Relating Reasoning Methodologies in Linear Logic and Process Algebra LINEARITY Yuxin Deng, Iliano Cervesato, Robert J. Simmons
2011	J	`jnl`	Cameron Wilson: ACM's man in Washington. XRDS Robert J. Simmons
2011	J	`jnl`	Ed Boyden: the synthetic neurobiologist. XRDS Robert J. Simmons
2011	J	`jnl`	Logical approximation for program analysis. High. Order Symb. Comput. Robert J. Simmons, Frank Pfenning
2011	J	`jnl`	Products of weighted logic programs. Theory Pract. Log. Program. Shay B. Cohen, Robert J. Simmons, Noah A. Smith
2011	J	`jnl`	Rob Bernard: Microsoft's green commitment. XRDS Robert J. Simmons
2011	J	`jnl`	Structural focalization CoRR Robert J. Simmons
2010	J	`jnl`	Products of Weighted Logic Programs CoRR Shay B. Cohen, Robert J. Simmons, Noah A. Smith
2010	J	`jnl`	Profile Luis von Ahn: ReCaptcha, games with a purpose. XRDS Robert J. Simmons
2010	J	`jnl`	Proofs from Tests. IEEE Trans. Software Eng. Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
2009	C	`conf`	Linear logical approximations. PEPM Robert J. Simmons, Frank Pfenning
2009	A*	`conf`	Substructural Operational Semantics as Ordered Logic Programming. LICS Frank Pfenning, Robert J. Simmons
2008	B	`conf`	Dynamic Programming Algorithms as Products of Weighted Logic Programs. ICLP Shay B. Cohen, Robert J. Simmons, Noah A. Smith
2008	—	`conf`	Linear Logical Algorithms. ICALP (2) Robert J. Simmons, Frank Pfenning
2008	A	`conf`	Proofs from tests. ISSTA Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
2008	—	`conf`	SASyLF: an educational proof assistant for language theory. FDPE@ICFP Jonathan Aldrich, Robert J. Simmons, Key Shin