Michael W. Shields | Academic Influence

Michael W. Shields's AcademicInfluence.com Rankings

Michael W. Shields

Computer Science

#4553

World Rank

#4803

Historical Rank

Theoretical Computer Science

#106

World Rank

#106

Historical Rank

Database

#8401

World Rank

#8790

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Michael W. Shields's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Michael W. Shields Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael William Shields, - was a British computer scientist. Overview Mike Shields had been an academic in the Department of Computing at the University of Surrey in Guildford, southern England. His research contributions were in theoretical computer science, especially concerning concurrency. In particular, he had written books on automata theory and the semantics of parallel computing.

(See a Problem?)

Michael W. Shields'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

An Introduction to Automata Theory (1988) (1973)
Loosely Coupled Systems (1997) (137)
Concurrent Machines (1985) (94)
Adequate Path Expressions (1979) (67)
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets (1983) (31)
Implicit System Specification and the Interface Equation (1989) (29)
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions (1981) (27)
Deterministic asynchronous automata (1984) (26)
Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts (1978) (22)
A theoretical framework for multiple neural network systems (2008) (22)
Modelling Component Behaviour with Concurrent Automata (2005) (21)
Hybrid Transition Systems (1997) (20)
Component-based design: towards guided composition (2003) (20)
Non-Sequential Behaviour (1984) (17)
COSY — a system specification language based on paths and processes (1979) (17)
On the Problem of Achieving Adequacy of Concurrent Programs (1977) (14)
A Formal Semantics for Concurrent Systems (1979) (13)
A Set-Theoretic Framework for Component Composition (2003) (12)
Design & Analysis of Highly Parallel & Distributed Systems (1979) (11)
Semantics of Parallelism (1997) (10)
Semantics of parallelism - non-interleaving representation of behaviour (1997) (9)
A True-Concurrent Interpretation of Behavioural Scenarios (2009) (9)
Semantics for Concurrency (1990) (8)
Whys and Wherefores (1997) (7)
On the abstract specification and formal analysis of synchronization properties of concurrent systems (1978) (7)
Verifying Concurrent System Specification in COSY (1980) (6)
Formalising Well-Behaved Components (2003) (6)
A theoretical basis for the construction of interactive systems (1987) (5)
Concurrency, correctness, proof and undecidability in SDL-like systems (1982) (4)
Interpreted COSY Programs: Programming and Verification (1981) (3)
Multitraces, hypertraces and partial order semantics (1992) (3)
Method for the synthesis of interactive system specifications (1988) (2)
A True-Concurrent Interpretation of Behavioural Scenarios. In Proc. of ETAPS 2007 - Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'07) (2009) (2)
Algebraic models of parallelism and net theory (1987) (2)
An Acceptance Vector Semantics for Path Programs (1999) (2)
Cyclic Vector Languages (1997) (1)
Overtaking in Asynchronous Periodic Systems (1999) (1)
Asynchronous Transition Systems (1997) (1)
A method for the synthesis of interactive system specification (1988) (0)
Linguistic Behavioural Presentations (1997) (0)
Condition/Event Systems: Asynchronous Transition System Semantics (1997) (0)
Conclusions: Theories of Parallelism (1997) (0)
Event Structures and Closures of Behavioural Presentations (1997) (0)
Another Event Structure Model (1997) (0)
Primes in Component Languages (2010) (0)
Discrete Behavioural Presentations (1997) (0)
Properties of Behavioural Presentations (1997) (0)
Order Theoretic Properties of Left-Closed Behavioural Presentations (1997) (0)
General Transition Systems (1997) (0)
Trace and Vector Languages (1997) (0)
From Path Expressions to TCSP (1997) (0)
Process Calculus (CCS) (1997) (0)
Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (1990) (0)
Local Invariance (2002) (0)
The Nivat/Arnold Process Model (1997) (0)
Unambiguous Transition Systems (1997) (0)
An Application: Realisation by Nets (1997) (0)
The Keller Parallel Computation Model (1997) (0)
Behavioural Presentations and an Automata Theory of Components (2010) (0)
Condition/Event Systems: Process and Occurrence Net Semantics (1997) (0)
A Formal Approach to Constructing Well-Behaved Systems using Components (2006) (0)
Algebraic manipulations and vector languages (1997) (0)
Constructions on Hybrid Transition Systems (1997) (0)
Karp and Miller Computation Graphs (1997) (0)
Order Theoretic Properties of Vector Languages (1997) (0)

This paper list is powered by the following services:

Other Resources About Michael W. Shields

en.wikipedia.org

What Schools Are Affiliated With Michael W. Shields?

Michael W. Shields is affiliated with the following schools: