Randal E Bryant
Biographic Data
| ID | 7716645 |
|---|---|
| NAME | Randal E Bryant |
| GIVEN NAMES | Randal E |
| FAMILY NAME | Bryant |
| SIGNATURE | BRYANT R E |
| AFFILIATIONS | Carnegie Mellon University |
| ORCID | 0000-0001-5024-6613 |
| VERIFIED | Yes |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 2 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2004 |
| LATEST PUBLICATION YEAR | 2014 |
| H-INDEX | 0 |
Antisocial computing
Social media has become globally ubiquitous, transforming how people are networked and mobilized. This forum explores research and applications of these new networked publics at individual, organizational, and societal levels. ---Shelly Farnham, Editor
Constructing Quantified Invariants via Predicate Abstraction
No prominent works on this page.
Constructing Quantified Invariants via Predicate Abstraction
Antisocial computing
Social media has become globally ubiquitous, transforming how people are networked and mobilized. This forum explores research and applications of these new networked publics at individual, organizational, and societal levels. ---Shelly Farnham, Editor
Computer Science (2 works) · Abstract interpretation (1 works) · Abstraction (1 works) · Algorithm (1 works) · Cybercrime and Law Enforcement Studies (1 works) · Description logic (1 works) · First-order logic (1 works) · Formal Methods in Verification (1 works) · Invariant (physics) (1 works) · Law (1 works)