Traian-Florin Serbanuta

J. Log. Algebraic Methods Program. · 2010

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

Whom Traian-Florin Serbanuta trusts overall

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

  1. Gheorghe Paun
  2. Gordon D. Plotkin

Who trusts Traian-Florin Serbanuta overall

  1. Huashan Chen
  2. Jingxuan He
  3. Shuai Wang

Papers from Traian-Florin Serbanuta's perspective

Ordered by how strongly the researchers Traian-Florin Serbanuta trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  2. Computing with Membranes (Journal of computer and system sciences (Print))
  3. A logical calculus of the ideas immanent in nervous activity
  4. Computation: Finite and Infinite Machines
  5. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  6. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  7. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
  8. Optimizing Büchi Automata (International Conference on Concurrency Theory)
  9. Efficient Büchi Automata from LTL Formulae (International Conference on Computer Aided Verification)
  10. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)

Their papers