Ioannis Georgiadis

Workshop on Self-Healing Systems · 2002

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 4 researchers here, as inferred from the citation graph.

Whom Ioannis Georgiadis trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Daniel Jackson

Who trusts Ioannis Georgiadis overall

  1. Markus C. Huebscher
  2. J. Kramer
  3. Debanjan Ghosh
  4. Danny Weyns
  5. Julie Ann McCann
  6. J. Magee
  7. Raj Sharman
  8. Bradley R. Schmerl

Papers from Ioannis Georgiadis's perspective

Ordered by how strongly the researchers Ioannis Georgiadis trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Alloy: a lightweight object modelling notation (TSEM)
  2. Alcoa: the Alloy constraint analyzer (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  3. Concepts, Techniques, and Models of Computer Programming
  4. Software Reflexion Models: Bridging the Gap between Design and Implementation (IEEE Trans. Software Eng.)
  5. The structure and value of modularity in software design (ESEC/FSE-9)
  6. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  7. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  8. Problem frames: analyzing and structuring software development problems (Software testing, verification & reliability)
  9. Computational complexity and the classification of finite simple groups
  10. Exploring the Structure of Complex Software Designs: An Empirical Study of Open Source and Proprietary Code (Management Sciences)

Their papers