Institute of Software

Identifiers

• name variant Institute of Software 0.60 · backfill

Papers (2)

1. Cost Preserving Bisimulations for Probabilistic Automata cs.FL · 2014 · author #2
2. A Decidable Extension of Data Automata cs.FL · 2011 · author #2

Mentions

• 1410.8314 #2 · backfill · confidence 0.70 Institute of Software
• 1106.1235 #2 · backfill · confidence 0.70 Institute of Software

Frequent Coauthors

• Andrea Turrini (State Key Laboratory of Computer Science 1 shared papers
• Beijing 1 shared papers
• China) 1 shared papers
• Chinese Academy of Sciences 1 shared papers
• Chinese Academy of Sciences) 1 shared papers
• Germany) 1 shared papers
• Holger Hermanns (Saarland University -- Computer Science 1 shared papers
• Saarbruecken 1 shared papers
• Zhilin Wu (State Key Laboratory of Computer Science 1 shared papers