Matija Pretnar

2009

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

Whom Matija Pretnar trusts overall

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

  1. Gordon D. Plotkin
  2. John Power

Who trusts Matija Pretnar overall

  1. Ohad Kammar

Papers from Matija Pretnar's perspective

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

  1. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  2. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  3. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
  4. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  5. Categories for the Working Mathematician
  6. Experiences of developing and deploying a context-aware tourist guide: the GUIDE project (ACM/IEEE International Conference on Mobile Computing and Networking)
  7. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
  8. The π-Calculus: A theory of mobile processes (Scalable Computing : Practice and Experience)

Their papers