Concepedia

Greg Dennis

GD

Statistics

Publications

5

Citations

182

H-Index

5

Active since

2004

Affiliations

Massachusetts Institute of Technology(Current)

Greg Dennis is an author at Massachusetts Institute of Technology specializing in computing, computer science, and formal methods.

Publications per year

2004–2013

5

Publications

5

Modular verification of code with SAT

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson · 2006 · 102 citations

Computing, Computer Science, Algorithms +11

Automating commutativity analysis at the design level

Greg Dennis, Robert Seater, Derek Rayside et al. · 2004 · 33 citations

Engineering, Computer Engineering, Computer Science +15

Agile specifications

Derek Rayside, Aleksandar Milićević, Kuat Yessenov et al. · 2009 · 23 citations · Full text

Computing, Computer Science, Formal Methods +10

Applications and extensions of Alloy: past, present and future

Emina Torlak, Mana Taghdiri, Greg Dennis et al. · Mathematical Structures in Computer Science · 2013 · 14 citations

Computing, Computer Science, Compilers +9

Automatic Visualization of Relational Logic Models

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis et al. · Technische Universität Berlin – Universitätsbibliothek · 2007 · 10 citations · Full text

Computing, Visualization, Design Automation +9

1–5 of 5