Michael J. Ferguson

According to our database1, Michael J. Ferguson authored at least 26 papers between 1968 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
To reveal or not to reveal? Strategic disclosure of private information in negotiation.
Eur. J. Oper. Res., 2010

1997
Formalization and Validation of the Radio Link Protocol (RLP1).
Comput. Networks ISDN Syst., 1997

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Neglected Topics of Feature Interactions: Mechanisms, Architectures, Requirements.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996
On the Operational Semantics of Nondeterminism and Divergence.
Theor. Comput. Sci., 1996

1995
DQDB: An Overload Cycle Analysis of Generalized Bandwidth Balancing with Strict Priority.
Perform. Evaluation, 1995

Combining Formal Methods: An Exercise in Integration.
Proceedings of the Formal Description Techniques VIII, 1995

1992
Computationally efficient algorithms for on-line optimization of markov decision processes.
Autom., 1992

An Overload Cycle Analysis of Generalized Bandwidth Balancing for DQDB.
Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1986
Computation of the Variance of the Waiting Time for Token Rings.
IEEE J. Sel. Areas Commun., 1986

INRST<sub>Ê</sub>X: a document preparation system for multiple languages.
Proceedings of the T<sub>E</sub>X for Scientific Documentation, 1986

A multilingual T<sub>Ê</sub>X.
Proceedings of the T<sub>E</sub>X for Scientific Documentation, 1986

1985
Exact Results for Nonsymmetric Token Ring Systems.
IEEE Trans. Commun., 1985

1984
Multiaccess in a Nonqueueing Mailbox Environment.
IEEE Trans. Software Eng., 1984

Network Design for a Large Class of Teleconferencing Systems.
IEEE Trans. Commun., 1984

1983
Weighted Processor Sharing-Results for Hyperexponential Servers.
IEEE Trans. Software Eng., 1983

Review of 'Communication Protocol Modelling' (Sunshine, C.; 1981).
IEEE Trans. Inf. Theory, 1983

1977
An Approximate Analysis of Delay for Fixed and Variable Length Packets in an Unslotted ALOHA Channel.
IEEE Trans. Commun., 1977

A Bound and Approximation of Delay Distribution for Fixed-Length Packets in an Unslotted ALOHA Channel and a Comparison with Time Division Multiplexing (TDM).
IEEE Trans. Commun., 1977

1976
Correction to 'Diffuse' Rate 1/2 Threshold Decodable Convolutional Codes'.
IEEE Trans. Inf. Theory, 1976

1975
Generalized stack algorithms for decoding convolutional codes.
IEEE Trans. Inf. Theory, 1975

On the Control, Stability, and Waiting Time in a Slotted ALOHA Random-Access System.
IEEE Trans. Commun., 1975

1974
Topological Design of Multipoint Teleprocessing Networks.
IEEE Trans. Commun., 1974

1972
Contained convolutional codes (Corresp.).
IEEE Trans. Inf. Theory, 1972

1971
'Diffuse' threshold decodable rate 1/2 convolutional codes.
IEEE Trans. Inf. Theory, 1971

1968
Optimal signal design for sequential signaling over a channel with feedback.
IEEE Trans. Inf. Theory, 1968


  Loading...