Stavros Tripakis

SPIN · 2004–2006

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

Whom Stavros Tripakis trusts overall

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

  1. Moez Krichen

Who trusts Stavros Tripakis overall

  1. Moez Krichen

Papers from Stavros Tripakis's perspective

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

  1. State Identification Problems for Timed Automata
  2. Conformance testing for real-time systems (SPIN)
  3. Big data and IoT-based applications in smart environments: A systematic review (Computer Science Review)
  4. Attention mechanisms in computer vision: A survey (Computational Visual Media)
  5. Semantic Segmentation of Small Objects and Modeling of Uncertainty in Urban Remote Sensing Images Using Deep Convolutional Neural Networks
  6. Deep learning for remote sensing image classification: A survey (WIREs Data Mining Knowl. Discov.)
  7. Dynamic logic (SIGA)
  8. An axiomatic basis for computer programming
  9. MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
  10. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)

Their papers