Search the dblp DataBase
Michael J. Ferguson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jean-Charles Grégoire, Michael J. Ferguson
Neglected Topics of Feature Interactions: Mechanisms, Architectures, Requirements. [Citation Graph (0, 0)][DBLP]
FIW, 1997, pp:3-12 [Conf] - Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. [Citation Graph (0, 0)][DBLP]
FME, 1997, pp:398-417 [Conf] - Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino
Combining Formal Methods: An Exercise in Integration. [Citation Graph (0, 0)][DBLP]
FORTE, 1995, pp:295-302 [Conf] - Michael J. Ferguson
An Overload Cycle Analysis of Generalized Bandwidth Balancing for DQDB. [Citation Graph (0, 0)][DBLP]
INFOCOM, 1992, pp:503-507 [Conf] - Michael J. Ferguson
A multilingual TÊX. [Citation Graph (0, 0)][DBLP]
TEX for Scientific Documentation, 1986, pp:65-73 [Conf] - Michael J. Ferguson
INRSTÊX: a document preparation system for multiple languages. [Citation Graph (0, 0)][DBLP]
TEX for Scientific Documentation, 1986, pp:74-88 [Conf] - Michael J. Ferguson
Formalization and Validation of the Radio Link Protocol (RLP1). [Citation Graph (0, 0)][DBLP]
Computer Networks and ISDN Systems, 1997, v:29, n:3, pp:357-372 [Journal] - Michael J. Ferguson
DQDB: An Overload Cycle Analysis of Generalized Bandwidth Balancing with Strict Priority. [Citation Graph (0, 0)][DBLP]
Perform. Eval., 1995, v:23, n:1, pp:53-63 [Journal] - M. Hakan Erdogmus, Robert Johnston, Michael J. Ferguson
On the Operational Semantics of Nondeterminism and Divergence. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:159, n:2, pp:271-317 [Journal] - Michael J. Ferguson
Review of 'Communication Protocol Modelling' (Sunshine, C.; 1981). [Citation Graph (0, 0)][DBLP]
IEEE Transactions on Information Theory, 1983, v:29, n:2, pp:323- [Journal] - Michael J. Ferguson
Weighted Processor Sharing-Results for Hyperexponential Servers. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1983, v:9, n:4, pp:531-535 [Journal] - Michael J. Ferguson
Multiaccess in a Nonqueueing Mailbox Environment. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1984, v:10, n:3, pp:237-243 [Journal]
Search in 0.025secs, Finished in 0.026secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002