Michael Evangelist

According to our database1, Michael Evangelist
  • authored at least 19 papers between 1982 and 2001.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
The NSF information technology research program.
ACM SIGSOFT Software Engineering Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1997
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
A Formalism for Architectural Modeling of Distributed Real-Time Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1993
Convergence of Iteration Systems.
Distributed Computing, 1993

Intermediate Executable Architectural Specifications for KBSA, Part I.
Proceedings of the SEKE'93, 1993

Software Engineering in the Year 2000.
Proceedings of the SEKE'93, 1993

1990
Convergence/response tradeoffs in concurrent systems.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

On the Limits of Efficient Temporal Decidability (Extended Abstract)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Convergence of Iteration Systems (Extended Abstract).
Proceedings of the CONCUR '90, 1990

1989
Multiparty Interactions for Interprocess Communication and Synchronization.
IEEE Trans. Software Eng., 1989

1988
Using Raddle To Design Distributed Systems.
Proceedings of the Proceedings, 1988

1986
The raddle project at MCC.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985
Complete Problems for Space Bounded Subclasses of NP.
Acta Inf., 1985

Foundational problems in software process research.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1984
Program Complexity and Programming Style.
Proceedings of the First International Conference on Data Engineering, 1984

1982
Nonstandard propositional logics and their application to complexity theory.
Notre Dame Journal of Formal Logic, 1982


  Loading...