Citation Impact
Citing Papers
Generative AI in Higher Education
2024 Standout
Static detection of security vulnerabilities in scripting languages
2006 Standout
The Organization of Information in a Statistical Office
2012
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
The System of social statistical datasets of Statistics Netherlands: An integral approach to the production of register-based social statistics
2014 Standout
A computational framework for conceptual blending
2017
The role of artificial intelligence in achieving the Sustainable Development Goals
2020 Standout
A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
2020
DART
2005 Standout
Static Analysis for the π-Calculus with Applications to Security
2001
Towards automatic generation of vulnerability-based signatures
2006
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
2005 Standout
The state of the art in end-user software engineering
2011 Standout
Mobile Edge Cloud System: Architectures, Challenges, and Approaches
2017
Language-based information-flow security
2003 Standout
Federated Learning With Differential Privacy: Algorithms and Performance Analysis
2020 Standout
The Logic of Conventional Implicatures
2004 Standout
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
2010 Standout
Artificial Intelligence, Artists, and Art
2019 Standout
Automatic detection of dimension errors in spreadsheets
2009
CCured
2012
Research on prediction model of geotechnical parameters based on BP neural network
2018 Standout
Lambda Calculus with Types
2013
Wikidata
2014 Standout
Countering code-injection attacks with instruction-set randomization
2003 Standout
Secrecy by typing in security protocols
1999
A Calculus for Cryptographic Protocols: The Spi Calculus
1999
Research Priorities for Robust and Beneficial Artificial Intelligence
2015
A survey on blockchain technology and its security
2022 Standout
A type system for statically detecting spreadsheet errors
2004
A practical soft type system for scheme
1997
The Axial Oxygen Atom and Superconductivity in YBa 2 Cu 3 O 7
1989 Science
Pyroelectric and piezoelectric effects in single crystals of YBa2Cu3O7-δ
1990 StandoutNobel
Interactive fault localization techniques in a spreadsheet environment
2006
A Survey on Mobile Edge Computing: The Communication Perspective
2017 Standout
Local Differential Private Data Aggregation for Discrete Distribution Estimation
2019
Curated databases
2008
Works of Benjamin C. Pierce being referenced
Types and Programming Languages
2002
Distance makes the types grow stronger
2010
Basic Category Theory for Computer Scientists
1991
Synthesis and superconducting critical temperature ofY Ba 2 Cu 3 O 7 − δ 18
1988
Dynamic typing in polymorphic languages
1995
Preliminary design of the SAFE platform
2011
Recursive subtyping revealed
2002
Local type inference
2000
Position paper: the science of deep specification
2017
Typing and subtyping for mobile processes
1996
XDuce
2003
Dynamic typing in a statically typed language
1991