Robert J. Simmons

Citado por

	Total	Desde 2019
Citas	596	120
Índice h	11	6
Índice i10	12	5

20062007200820092010201120122013201420152016201720182019202020212022202320243 3 11 33 50 39 48 43 45 56 50 33 40 13 29 22 18 21 17

Acceso público

Ver todo

4 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
Aditya NoriMicrosoft ResearchDirección de correo verificada de microsoft.com
Yuxin DengProfessor, East China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Bernardo ToninhoUniversidade Nova de LisboaDirección de correo verificada de fct.unl.pt
Noah A. SmithUniversity of Washington; Allen Institute for Artificial IntelligenceDirección de correo verificada de cs.washington.edu
Shay CohenUniversity of EdinburghDirección de correo verificada de inf.ed.ac.uk
Carsten SchürmannComputer Science, IT University of CopenhagenDirección de correo verificada de itu.dk
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Chris MartensNortheastern UniversityDirección de correo verificada de northeastern.edu
Todd MillsteinProfessor of Computer Science, UCLADirección de correo verificada de cs.ucla.edu
Ian ZernyGoogleDirección de correo verificada de google.com
Tom Murphy VIICarnegie MellonDirección de correo verificada de cs.cmu.edu

Seguir

Robert J. Simmons

Carnegie Mellon University (formerly)

Dirección de correo verificada de cs.cmu.edu

Programming Languages Logic in Computer Science Computer Science Education


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008	223	2008
Structural focalization RJ Simmons ACM Transactions on Computational Logic (TOCL) 15 (3), 1-33, 2014	66	2014
Substructural operational semantics as ordered logic programming F Pfenning, RJ Simmons 2009 24th Annual IEEE Symposium on Logic In Computer Science, 101-110, 2009	58	2009
Substructural Logical Specifications RJ Simmons Carnegie Mellon University, 2012	40	2012
SASyLF: An educational proof assistant for language theory J Aldrich, RJ Simmons, K Shin Proceedings of the 2008 international workshop on Functional and declarative …, 2008	34	2008
Linear logical algorithms RJ Simmons, F Pfenning Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008	31	2008
Products of weighted logic programs SB Cohen, RJ Simmons, NA Smith Theory and Practice of Logic Programming 11 (2-3), 263-296, 2011	19	2011
Dynamic programming algorithms as products of weighted logic programs SB Cohen, RJ Simmons, NA Smith International conference on logic programming, 114-129, 2008	19	2008
Relating reasoning methodologies in linear logic and process algebra Y Deng, RJ Simmons, I Cervesato Mathematical Structures in Computer Science 26 (5), 868-906, 2016	16	2016
Generation and evaluation of test cases for software validation and proofs AV Nori, SK Rajamani, RJ Simmons, N Beckman US Patent App. 12/115,633, 2009	14	2009
Weak focusing for ordered linear logic RJ Simmons, F Pfenning Technical Report CMU-CS-10-147, Carnegie Mellon University, 2011	12	2011
Linear logical approximations RJ Simmons, F Pfenning Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009	11	2009
Logical approximation for program analysis RJ Simmons, F Pfenning Higher-Order and Symbolic Computation 24 (1), 41-80, 2011	9	2011
Constructive provability logic RJ Simmons, B Toninho arXiv preprint arXiv:1205.6402, 2012	7	2012
Twelf as a unified framework for language formalization and implementation R Simmons Undergraduate honors thesis, Princeton University, 2005	7	2005
Trace matching in a concurrent logical framework I Cervesato, F Pfenning, JL Sacchini, C Schürmann, RJ Simmons Proceedings of the seventh international workshop on Logical frameworks and …, 2012	6	2012
Distributed deductive databases, declaratively: The L10 logic programming language RJ Simmons, B Toninho, F Pfenning Proceedings of the 2011 ACM SIGPLAN X10 Workshop, 1-6, 2011	4	2011
Profile Luis von Ahn: ReCaptcha, games with a purpose RJ Simmons XRDS: Crossroads, The ACM Magazine for Students 17 (2), 49-49, 2010	4	2010
Mechanized metatheory for user-defined type extensions D Marino, B Chin, T Millstein, G Tan, RJ Simmons, D Walker ACM SIGPLAN Workshop on Mechanizing Metatheory, 2006	4	2006
Principles of constructive provability logic RJ Simmons, B Toninho Technical Report CMU-CS-10-151, School of Computer Science, Carnegie Mellon …, 2010	3	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores