Concepedia

Greg J. Badros

GJ

11

Publications

864

Citations

11

H-Index

1999

Active since

Affiliations

University of Washington(Current)

The University of Melbourne

Monash University

Greg J. Badros is an author at University of Washington specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsComputer EngineeringSoftware EngineeringSoftware AnalysisSoftware DesignSystem SoftwareCompilers

Publications per year

1999–2002

11

Publications

11

An empirical analysis of c preprocessor use

Michael D. Ernst, Greg J. Badros, David Notkin · IEEE Transactions on Software Engineering · 2002 · 224 citations

Software Maintenance, Engineering, Compiler Technology +23

JavaML: a markup language for Java source code

Greg J. Badros · Computer Networks · 2000 · 179 citations

Software Maintenance, Engineering, Program Analysis +10

The Cassowary linear arithmetic constraint solving algorithm

Greg J. Badros, Alan Borning, Peter J. Stuckey · ACM Transactions on Computer-Human Interaction · 2001 · 177 citations

Mathematical Programming, Engineering, Constrained Optimization +16

Constraint cascading style sheets for the Web

Greg J. Badros, Alan Borning, Kim Marriott et al. · 1999 · 77 citations · Full text

Browser User Interface, Constraint Solving, Engineering +12

A constraint extension to scalable vector graphics

Greg J. Badros, Jojada J. Tirtowidjojo, Kim Marriott et al. · 2001 · 51 citations

Engineering, Computer Graphic Technique, Software Engineering +19

Rows per page

1–5 of 11