Daniel Jackson | Academic Influence

Daniel Jackson 's AcademicInfluence.com Rankings

Daniel Jackson

Computer Science

#2464

World Rank

#2574

Historical Rank

#1079

USA Rank

Software Engineering

#93

World Rank

#93

Historical Rank

#44

USA Rank

Database

#3325

World Rank

#3465

Historical Rank

#621

USA Rank

computer-science Degrees

Download Badge

Computer Science

Daniel Jackson 's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Daniel Jackson Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Daniel Jackson is a professor of Computer Science at the Massachusetts Institute of Technology . He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis.

(See a Problem?)

Daniel Jackson 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Software Abstractions - Logic, Language, and Analysis (2006) (1772)
Alloy: a lightweight object modelling notation (2002) (1376)
Kodkod: A Relational Model Finder (2007) (527)
Using dependency models to manage complex software architecture (2005) (435)
Alcoa: the Alloy constraint analyzer (2000) (329)
Automating first-order relational logic (2000) (244)
Finding bugs with a constraint solver (2000) (240)
New platform, old habits? Candidates’ use of Twitter during the 2010 British and Dutch general election campaigns (2016) (224)
Semantic Diff: a tool for summarizing the effects of modifications (1994) (209)
A micromodularity mechanism (2001) (188)
Lightweight Formal Methods (2001) (188)
Elements of style: analyzing a software design feature with a counterexample detector (1996) (165)
Lackwit: A Program Understanding Tool Based on Type Inference (1997) (162)
An Invitation to Formal Methods (1996) (161)
A new model of program dependences for reverse engineering (1994) (148)
A direct path to dependable software (2009) (135)
Software analysis: a roadmap (2000) (129)
Alloy (2019) (128)
Lightweight extraction of object models from bytecode (1999) (122)
Structuring Z specifications with views (1995) (107)
Some Shortcomings of OCL, the Object Constraint Language of UML (2000) (103)
Modular verification of code with SAT (2006) (99)
Aspect: detecting bugs with abstract dependences (1995) (91)
Finding Minimal Unsatisfiable Cores of Declarative Specifications (2008) (89)
Micromodels of software: lightweight modelling and analysis with Alloy (2002) (89)
Inferring specifications to detect errors in code (2004) (85)
Alloy*: a general-purpose higher-order relational constraint solver (2015) (82)
Formal Modeling and Analysis of a Flash Filesystem in Alloy (2008) (75)
Inside Churnalism (2016) (74)
Debugging overconstrained declarative models using unsatisfiable cores (2003) (68)
Generalized aliasing as a basis for program analysis tools (2001) (64)
An analyzable annotation language (2002) (64)
Software for Dependable Systems: Sufficient Evidence? (2007) (62)
Problem decomposition for reuse (1996) (60)
Requirement progression in problem frames: deriving specifications from requirements (2007) (59)
Chopping: A Generalization of Slicing (1994) (59)
Unifying execution of imperative and declarative code (2011) (58)
Exploring the design of an intentional naming scheme with an automatic constraint analyzer (2000) (57)
Strategic Media, Cynical Public? Examining the Contingent Effects of Strategic News Frames on Political Cynicism in the United Kingdom (2011) (54)
Model-Based Security Analysis of a Water Treatment System (2016) (54)
A Lightweight Formal Analysis of a Multicast Key Management Scheme (2003) (51)
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver (2003) (48)
Dependable software by design. (2006) (48)
Seven Characteristics Defining Online News Formats (2018) (48)
A Case for Efficient Solution Enumeration (2003) (46)
The Guided Improvement Algorithm for Exact, General-Purpose, Many-Objective Combinatorial Optimization (2009) (46)
Alloy: a language and tool for exploring software designs (2019) (46)
What's wrong with git?: a conceptual design analysis (2013) (45)
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification (2015) (45)
EU Referendum Analysis 2016: Media, Voters and the Campaign. (2016) (44)
Abstract Model Checking of Infinite Specifications (1994) (42)
A type system for object models (2004) (42)
Automating commutativity analysis at the design level (2004) (41)
A formal approach for detection of security flaws in the android permission system (2017) (40)
Rubicon: bounded verification of web applications (2012) (38)
Alloy: A New Technology for Software Modelling (2002) (38)
A dynamic analysis for revealing object ownership and sharing (2006) (37)
Alloy: A Logical Modelling Language (2003) (36)
COM revisited: tool-assisted modelling of an architectural framework (2000) (36)
Isomorph-free model enumeration: a new method for checking relational specifications (1998) (36)
Third Space, Social Media and Everyday Political Talk (2015) (35)
A Comparison of Object Modelling Notations : Alloy , UML and Z (1999) (35)
Relational analysis of algebraic datatypes (2005) (35)
‘We need to get together and make ourselves heard’: everyday online spaces as incubators of political action (2016) (34)
Bounded Verification of Voting Software (2008) (34)
Finding Security Bugs in Web Applications Using a Catalog of Access Control Patterns (2016) (32)
Sourcing Pandemic News: A Cross-National Computational Analysis of Mainstream Media Coverage of COVID-19 on Facebook, Twitter, and Instagram (2021) (32)
Lightweight Analysis of Object Interactions (2001) (32)
Computer systems for distributed and distance learning (2001) (30)
ASPECT: an economical bug-detector (1991) (29)
Generating structurally complex tests from declarative constraints (2004) (29)
From everyday conversation to political action: Talking austerity in online ‘third spaces’ (2015) (27)
Symbolic model checking of declarative relational models (2006) (26)
Agile specifications (2009) (25)
Requirement Progression in Problem Frames Applied to a Proton Therapy System (2006) (25)
Nitpick: A Checkable Specification Language (1996) (25)
An intermediate design language and its analysis (1998) (24)
Object models as heap invariants (2003) (24)
Reframing Disability? : Media, (Dis)Empowerment, and Voice in the 2012 Paralympics (2015) (23)
The CMU Master of Software Engineering Core Curriculum (1995) (23)
An Imperative Extension to Alloy (2010) (23)
Model-based, event-driven programming paradigm for interactive web applications (2013) (23)
Derailer: interactive security analysis for web applications (2014) (22)
Programming with enumerable sets of structures (2015) (22)
A lightweight code analysis and its role in evaluation of a dependability case (2011) (22)
Equality and hashing for (almost) free: Generating implementations from abstraction functions (2009) (21)
Faster checking of software specifications by eliminating isomorphs (1996) (21)
(Re-)presenting the Paralympics: Affective Nationalism and the “Able-Disabled” (2019) (21)
Multi-representational security analysis (2016) (21)
Declarative symbolic pure-logic model checking (2005) (21)
Lightweight extraction of syntactic specifications (2006) (20)
The Personal in the Political on Twitter: Towards a Typology of Politicians’ Personalized Tweeting Behaviours (2018) (20)
Dependability Arguments with Trusted Bases (2010) (19)
Towards a theory of conceptual design for software (2015) (19)
A Nitpick Analysis of Mobile IPv6 (1999) (18)
Problem frame transformations: deriving specifications from requirements (2006) (18)
αRby - An Embedding of Alloy in Ruby (2014) (18)
Re-presenting the Paralympics: (contested) philosophies, production practices and the hypervisibility of disability (2018) (18)
Citizen Journalism at The Margins (2017) (17)
Knowledge Flow Analysis for Security Protocols (2005) (17)
Redesigning Air Traffic Control: An Exercise in Software Design (2000) (17)
The media, political participation and empowerment (2013) (17)
Faster constraint solving with subtypes (2004) (17)
Module Dependences in Software Design (2002) (16)
Aspect: a formal specification language for detecting bugs (1992) (16)
Exploiting subformula sharing in automatic analysis of quantified formulas (2003) (16)
Designing and Analyzing a Flash File System with Alloy (2009) (16)
Using dependency models to manage software architecture (2005) (16)
Introduction: Visual Political Communication (2019) (15)
Purposes, concepts, misfits, and a redesign of git (2016) (15)
Separation of concerns for dependable software design (2010) (15)
Abstraction mechanisms for pictorial slicing (1994) (15)
Abstract analysis with aspect (1993) (15)
Synthesizing iterators from abstraction functions (2012) (14)
Object spreadsheets: a new computational model for end-user development of data-centric web applications (2016) (14)
Automatic Visualization of Relational Logic Models (2007) (14)
The Design of a Relational Engine (2006) (14)
Preventing arithmetic overflows in Alloy (2012) (13)
A new divide? Assessing the transnational-nationalist dimension among political parties and the public across the EU (2021) (13)
Property-part diagrams: A dependence notation for software systems (2009) (12)
UK Election Analysis 2015: Media, Voters and the Campaign (2015) (12)
Tracking changes in everyday experiences of disability and disability sport within the context of the 2012 London Paralympics (2014) (12)
From awww to awe factor: UK audience meaning-making of the 2012 Paralympics as mediated spectacle (2015) (12)
An analysis and visualization for revealing object sharing (2005) (12)
Critical feature analysis of a radiotherapy machine (2003) (12)
Software For Dependable Systems (2008) (12)
When Journalists Go “Below the Line”: Comment Spaces at The Guardian (2006–2017) (2019) (11)
Checking relational specifications with binary decision diagrams (1996) (11)
Efficient Search as a Means of Executing Specifications (1996) (11)
Separating Concerns in Requirements Analysis: An Example (2006) (11)
Boolean Compilation of Relational Specifications (1998) (10)
Alloy*: A Higher-Order Relational Constraint Solver (2014) (10)
Legal by Design: A New Paradigm for Handling Complexity in Banking Regulation and Elsewhere in Law (2014) (10)
Enforcing Design Constraints with Object Logic (2000) (10)
The Future of Software Analysis (10)
Selective enumeration (2000) (10)
‘Uneasy lies the head that wears a crown’. A qualitative study of ethical PR practice in the United Kingdom (2019) (10)
‘Ooh, politics. You’re brave’. Politics in everyday talk: an analysis of ‘non-political ‘ online space (2013) (9)
Practical Program Understanding with Type Inference. (1996) (8)
Conceptual Design of Software: A Research Agenda (2013) (8)
Adaptive Defending Strategy for Smart Grid Attacks (2014) (8)
Declarative assembly of web applications from predefined concepts (2019) (8)
Designing minimal effective normative systems with the help of lightweight formal methods (2016) (7)
Fantasy, Pragmatism and Journalistic Socialisation: UK Journalism Students’ Aspirations and Motivations (2020) (7)
Who could fault an approach that offers greater credibility at reduced cost ? (2009) (6)
Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint) (1996) (6)
Exploiting Symmetry in the Model Checking of Relational Specifications (1994) (6)
Towards a Social Justice Disposition in Communication and Sport Scholarship (2020) (6)
Nitpick: a checker for software specifications (reference manual) (1996) (6)
Pandemic News Experience: COVID-19, News Consumption, Mental Health, and the Demand for Positive News (2021) (6)
Watching disability: UK audience perceptions of the Paralympics, equality and social change (2020) (6)
WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants (2020) (5)
A New Approach to Teaching Programming (2009) (5)
Paralympic Broadcasting and Social Change: An Integrated Mixed Method Approach to Understanding the Paralympic Audience in the UK (2021) (5)
COMPOSING DATA & PROCESS DESCRIPTIONS IN THE DESIGN OF SOFTWARE SYSTEMS (1988) (5)
Social media use in political communication in Greece (2019) (5)
Extraordinary Normalcy, Ableist Rehabilitation, and Sporting Ablenationalism: The Cultural (Re)Production of Paralympic Disability Narratives (2020) (5)
Wildcard: spreadsheet-driven customization of web applications (2020) (5)
'Third Space' and Everyday Online Political Talk: Deliberation, Polarisation, Avoidance (2017) (5)
Performance, Politics, and Media: How the 2010 British General Election Leadership Debates Generated “Talk” Among the Electorate (2013) (5)
Framing democratic politics : an investigation into the presence and effects of 'strategy' news frames in the UK (2009) (4)
TIME TO GET SERIOUS? PROCESS NEWS AND BRITISH POLITICS (2013) (4)
Media, Margins and Civic Agency (2015) (4)
Political communication in Britain: The leader debates, the campaign and the media in the 2010 general election (2013) (4)
‘I Wouldn’t Be a Victim When It Comes to Being Heard’: Citizen Journalism and Civic Inclusion (2015) (4)
Symbolic Execution for (Almost) Free Hijacking an Existing Implementation to Perform Symbolic Execution (2014) (4)
Introduction to special issue about election reporting: Why journalism (still) matters (2019) (4)
The Routledge Companion to Social Media and Politics (2015) (4)
COM Revisited : Tool-Assisted Modelling and Analysis of Complex Software Structures (3)
The Possibilities and Limits of “Open Journalism”: Journalist Engagement Below the Line at the Guardian 2006–2017 (2019) (3)
Automatic Analysis of Architectural Style (1997) (3)
Hazards of Verification (2009) (2)
Correct or usable? the limits of traditional verification (impact paper award) (2016) (2)
Alloy : A New Object Modelling Notation (1999) (2)
Alloy*: a general-purpose higher-order relational constraint solver (2017) (2)
The personal in the politicalthe use of Twitter during the 2010 British and Dutch General Election Campaigns : the use of Twitter during the 2010 British and Dutch General Election Campaigns (2014) (2)
Strikingly similar: Comparing visual political communication of populist and non-populist parties across 28 countries (2022) (2)
Exposing themselves? The personalization of tweeting behavior during the 2012 Dutch general election campaign (2017) (2)
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (2016) (2)
Initial report on Object Spreadsheets (2016) (2)
End-user software customization by direct manipulation of tabular data (2020) (2)
Between analogue and digital: A critical exploration of strategic social media use in Greek election campaigns (2021) (2)
2 4 6 8 10 12 14 2 3 5 7 9 13 15 20 25 30 35 40 45 (2014) (1)
The Polyphonic Sounds of Europe: Users’ Engagement With Parties’ European-Focused Facebook Posts (2022) (1)
Response to the BBC Charter Review DCMS Green Paper Public Consultation (2015) (1)
Youth and websites: exploring how young people use the internet for political participation J AN ELLE WARD (2013) (1)
Students and knowledge exchange in university business services (2014) (1)
Media, Margins and Popular Culture (2015) (1)
Public service television and civic engagement (2018) (1)
You Can Model That? Modeling a Large Sanitary Sewer System with Thousands of Grinder Pumps (2012) (1)
1 Simplifying Air-Traffic Control : An Exercise in Software Design (1999) (1)
Correcting a Naming Architecture using Lightweight Constraint Analysis (2003) (1)
Idioms of Logical Modelling (2006) (1)
Patterns for building dependable systems with trusted bases (2010) (1)
Micromodels of Software (2001) (1)
Computer Science and Artificial Intelligence Laboratory On Relational Analysis of Algebraic Datatypes (2005) (1)
Managing intellectual property: Nail it down before you lose it (2002) (1)
Design technology: programming user needs. (1992) (1)
A nAnalyzabl eAnnotatio nLanguage (2002) (0)
MIT Open Access Articles A direct path to dependable software (2022) (0)
Formal Aspects of Computing A Nitpick Analysis of Mobile IPv 6 (0)
Correlation of Data in the Unified Modeling Language Interaction Diagram (2014) (0)
A Model-Based Framework for Security Configuration Analysis (2013) (0)
Design Compliance By Program Analysis (0)
Impacts of multiprocessing on GTD-5 EAX call processing and related operating system software and data base (1982) (0)
Dependable software: an oxymoron? (2005) (0)
6.005 Elements of Software Construction, Fall 2008 (2008) (0)
Merge what you can, fork what you can't: managing data integrity in local-first software (2022) (0)
2 4 6 8 10 12 14 2 3 5 7 9 13 15 20 25 30 35 40 45 50 (2014) (0)
1 Object Models as Heap Invariants (0)
Lucida: An Analyzing Program Browser (2005) (0)
The Design of a Relational Engine Emina Torlak and (2006) (0)
Demystifying dependence (2020) (0)
Activities and Findings: Safety Mechanisms for Medical Software (2007) (0)
Simple Subtypes for Specification (2003) (0)
Modularity in the Presence of Subclassing Raymie Stata Publication History (0)
Taking Julian Assange seriously: Considering WikiLeaks’ role in the US presidential campaign (2016) (0)
Claims- makers versus counter claims- makers: new sites of civic empowerment in the construction, affirmation and contestation of moral panic narratives through online newspaper discussion- threads J AME S MORR I S ON (2013) (0)
Citizen journalism and civic inclusion: Access Dorset (2016) (0)
New platform, old habits? : candidates’ use of Twitter during the 2010 UK and Netherlands general election campaigns (2013) (0)
Everyday political talk and political/consumer action : An analysis of three online 'third spaces' (2014) (0)
Civic and audience empowerment: the role of citizen journalism M I CK T EM PLE (2013) (0)
Everyday online conversation, emotion and political action (2017) (0)
Towards End-User Web Scraping for Customization (2021) (0)
Political communication in Britain: The leader debates, the campaign and the media in the 2010 general election (2013) (0)
Patterns of Negative Campaigning during the 2019 European Election: Political Parties’ Facebook Posts and Users’ Sharing Behaviour across Twelve Countries (2022) (0)
Misunderstanding the Internet (2013) (0)
The Social Media Campaign: Mobilisation and Persuasion (2017) (0)
The ‘crisis of capitalism’ in everyday talk : an analysis of three online ‘third spaces’ (2013) (0)
Re-presenting para-sport bodies: Disability and the cultural legacy of the Paralympic Games (2019) (0)
âI Wouldnât Be a Victim When It Comes to Being Heardâ (2015) (0)
Misunderstanding the Internet (2013) (0)
Subtyping in Alloy by Emina Torlak (2004) (0)
6.170 Laboratory in Software Engineering, Fall 2001 (2001) (0)
Disabled people, digital campaigns and contentious politics: upload successful or connection failed? FILIPPO TREvIS AN (2013) (0)
Third Space and Formal Politics: Consultations, web-chats and data-mining (2015) (0)
Everyday Political Talk and Political Action (2015) (0)
Computer Science and Artificial Intelligence Laboratory Knowledge Flow Analysis for Security Protocols (2005) (0)
Media, politics and empowerment: in whose interests? H EA TH E R S Av I G NY (2013) (0)
Online third spaces and political action : not just talking the talk? (2013) (0)
Firms link in Rotterdam project (1993) (0)
'It's Getting People More Engaged in Things': Responses to Solutions-Oriented News in the Context of COVID-19. (2021) (0)
The UK: The Post-Brexit, Ghost Election (2021) (0)
Media and Politics in a Globalizing World (2017) (0)
The Psychological Empowerment Potential of Solutions Journalism: Perspectives from Pandemic News Users in the UK (2022) (0)
Understanding university students’ involvement with business consultancy: an audit and review of barriers and motivations (2014) (0)
An Exercise in Software Design (2000) (0)
Towards a heory of Conceptual Design for Sotware (0)
Strategic news frames and public policy debates : (2011) (0)
Few Remarks on Cadence of Operations Project and Producing Synthetic State Declarations (2022) (0)
Introduction: Marginalised Voices, Representations and Practices (2015) (0)
How to Define the Granularity of Properties and Functions (2009) (0)
Synthesizing Iterators from Abstraction Functions Citation (2012) (0)
An Intermedicate Design Language and Its Analysis (1998) (0)
Strategic news frames and public policy debates : (2011) (0)
Software analysis: a roadmap: a roadmap. (2000) (0)
Sufficient Evidence: Building Certifiably Dependable Systems (2005) (0)
A Structure for Dependability Arguments (2010) (0)
Concept-centric Software Development (2023) (0)
Dependability arguments with trusted bases Citation (2010) (0)

This paper list is powered by the following services:

Other Resources About Daniel Jackson

en.wikipedia.org

What Schools Are Affiliated With Daniel Jackson ?

Daniel Jackson is affiliated with the following schools: