Standout Papers
Citation Impact
Citing Papers
Skyline: an open source document editor for creating and analyzing targeted proteomics experiments
2010 Standout
LUCID: The data flow programming language
1985
A capacity theory of comprehension: Individual differences in working memory.
1992 Standout
Synaptic electronics: materials, devices and applications
2013 Standout
Features and development of Coot
2010 Standout
Training and operation of an integrated neuromorphic network based on metal-oxide memristors
2015 StandoutNature
Deep learning in neural networks: An overview
2014 Standout
Analog memory and spike-timing-dependent plasticity characteristics of a nanoscale titanium oxide bilayer resistive switching device
2011
Technological Pedagogical Content Knowledge: A Framework for Teacher Knowledge
2006 Standout
Modeling a paranoid mind
1981 Standout
Software quality assurance: Testing and validation
1980 StandoutNobel
When and how to develop domain-specific languages
2005 Standout
Computation and cognition: issues in the foundations of cognitive science
1980
Computing with Neural Circuits: A Model
1986 StandoutScienceNobel
Human and computer rules and representations are not equivalent
1980
Communicating sequential processes
1978 Standout
A theory of timed automata
1994 Standout
R: A Language for Data Analysis and Graphics
1996 Standout
The synchronous data flow programming language LUSTRE
1991 Standout
Design of a separable transition-diagram compiler
1963 Standout
Human-computer interface development: concepts and systems for its management
1989
Guarded commands, nondeterminacy and formal derivation of programs
1975 Standout
Formal Grammar and Human Factors Design of an Interactive Graphics System
1981
Control theory: A useful conceptual framework for personality–social, clinical, and health psychology.
1982 Standout
A Complexity Measure
1976 Standout
Computation, consciousness and cognition
1980
Data-Driven and Demand-Driven Computer Architecture
1982
Petri nets: Properties, analysis and applications
1989 Standout
A relational model of data for large shared data banks
1983 Standout
A million spiking-neuron integrated circuit with a scalable communication network and interface
2014 StandoutScience
Purely Functional Data Structures
1998
Meep: A flexible free-software package for electromagnetic simulations by the FDTD method
2009 Standout
Minds, brains, and programs
1980 Standout
On the criteria to be used in decomposing systems into modules
1972 Standout
A Formal Definition of Data Flow Graph Models
1986
A case study in rapid prototyping
1980
Revised5 Report on the Algorithmic Language Scheme
1998
Empirical analysis of consumer reaction to the virtual reality shopping mall
2007 Standout
The role of knowledge in discourse comprehension: A construction-integration model.
1988 Standout
Computers and education
1964
Casting Petri Nets into Programs
1983
Communicating sequential processes
1983 Standout
SIMULA: an ALGOL-based simulation language
1966
An operating environment for dynamic-recursive computer programming systems
1965
The programming language pascal
1971
Cognitive strategies and looping constructs
1983 Standout
Cognitive representation and the process-architecture distinction
1980
A Computer Simulation of the Paradox of Voting
1966
Data parallel algorithms
1986
The VAL Language: Description and Analysis
1982
Usability Engineering
1993 Standout
On the demystification of mental imagery
1979 StandoutNobel
Data Flow Languages
1982
Semantic database modeling: survey, applications, and research issues
1987
Efficient Processing of Deep Neural Networks: A Tutorial and Survey
2017 Standout
Imagery without arrays
1979 StandoutNobel
A relational model of data for large shared data banks
1970 Standout
Massively parallel parsing: A strongly interactive model of natural language interpretation
1985
Developing Theory Through Simulation Methods
2007 Standout
A survey of deep neural network architectures and their applications
2016 Standout
Electrophysiology reveals semantic memory use in language comprehension
2000 Standout
Structure and Interpretation of Computer Programs
1985
Testing ALGOL 60 compilers
1976
Software Design Representation Using Abstract Process Networks
1980
The how, what, and why of mental imagery
1979 StandoutNobel
The interdisciplinary study of coordination
1994 Standout
“Sticky Information” and the Locus of Problem Solving: Implications for Innovation
1994 Standout
Metal–Oxide RRAM
2012 Standout
Design and natural science research on information technology
1995 Standout
Memory and consciousness.
1985 Standout
Exception handling
1975 StandoutNobel
Toward memory-based reasoning
1986 Standout
Connectionism and cognitive architecture: A critical analysis
1988 Standout
Synchronous data flow
1987 Standout
A Translator-Oriented Symbolic Programming Language
1962
A hierarchical O(N log N) force-calculation algorithm
1986 StandoutNature
Massively Parallel Parsing: A Strongly Interactive Model of Natural Language Interpretation*
1985
An ALGOL-based associative language
1969
Structured Programming with go to Statements
1974
On The Ambiguity Problem of Backus Systems
1962
The Ada Compiler Validation Capability
1981 StandoutNobel
Social Choice: A Probabilistic Approach
1967 StandoutNobel
Memory and Information Processing in Neuromorphic Systems
2015
MULTILISP: a language for concurrent symbolic computation
1985
Works of John Backus being referenced
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
1959
Can programming be liberated from the von Neumann style?
1978 Standout
Report on the algorithmic language ALGOL 60
1960
Revised report on the algorithmic language ALGOL 60
1963
Report on the algorithmic language ALGOL 60
1960
Revised report on the algorithmic language ALGOL 60
1963