• Published

  Energy Games in Multiweighted Automata

  Publication: Research - peer-review › Article in proceeding

• Published

  Quantitative refinement for weighted modal transition systems

  Publication: Research - peer-review › Book chapter

• Published

  Metrics for weighted transition systems : Axiomatization and complexity

  Publication: Research - peer-review › Journal article

View all »

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  FI (2011): 1, ISI indexed (2011): no, FI (2010): 1, FI (2009): 1, FI (2008): 1, WOS Local (2002): SCOPUS-MASTER

  Central database

  Journal

• Communications of the A C M

  ISSNs: 0001-0782

  Association for Computing Machinery, Inc., United States

  FI (2011): 2, ISI indexed (2011): yes, FI (2010): 2, WOS Local (2010): WOS-Indekseret, FI (2009): 2, WOS Local (2009): WOS-Indekseret, FI (2008): 2, WOS Local (2008): WOS-Indekseret, WOS Local (2007): WOS-Indekseret, WOS Local (2006): WOS-Indekseret, WOS Local (2005): WOS-Indekseret, WOS Local (2004): WOS-Indekseret, WOS Local (2003): WOS-Indekseret, WOS Local (2002): WOS-Indekseret

  Central database

  Journal

• Lecture Notes in Computer Science

  ISSNs: 0302-9743

  Springer, Germany

  FI (2011): 1, ISI indexed (2011): no, FI (2010): 1, WOS Local (2010): WOS-Indekseret, FI (2009): 1, WOS Local (2009): WOS-Indekseret, FI (2008): 1, WOS Local (2008): WOS-Indekseret, WOS Local (2007): WOS-Indekseret, WOS Local (2006): WOS-Indekseret, WOS Local (2005): WOS-Indekseret, WOS Local (2004): WOS-Indekseret, WOS Local (2003): WOS-Indekseret, WOS Local (2002): WOS-Indekseret

  Central database

  Journal

• Theoretical Computer Science

  ISSNs: 0304-3975

  Elsevier BV, Netherlands

  FI (2011): 2, ISI indexed (2011): yes, FI (2010): 2, WOS Local (2010): WOS-Indekseret, FI (2009): 2, WOS Local (2009): WOS-Indekseret, FI (2008): 2, WOS Local (2008): WOS-Indekseret, WOS Local (2007): WOS-Indekseret, WOS Local (2006): WOS-Indekseret, WOS Local (2005): WOS-Indekseret, WOS Local (2004): WOS-Indekseret, WOS Local (2003): WOS-Indekseret, WOS Local (2002): WOS-Indekseret

  Central database

  Journal

• Computing and Informatics

  ISSNs: 1335-9150

  Slovak Academic Press Ltd., Slovakia

  FI (2011): 1, ISI indexed (2011): yes, FI (2010): 1, FI (2009): 1, WOS Local (2009): WOS-Indekseret, FI (2008): 1, WOS Local (2008): WOS-Indekseret, WOS Local (2007): WOS-Indekseret, WOS Local (2006): WOS-Indekseret, WOS Local (2005): WOS-Indekseret, WOS Local (2004): WOS-Indekseret, WOS Local (2003): WOS-Indekseret, WOS Local (2002): WOS-Indekseret

  Central database

  Journal

View all »

• Directed algebraic topology and concurrency

  Project

View all »

• Aalborg Universitetsforlag, 87-7307

  Denmark

  Central database

  Publisher

• Springer, 0-387

  Central database

  Publisher

• IEEE Computer Society Press, 0-7695

  United States

  Central database

  Publisher

• Elsevier, 0-08

  Local database

  Publisher

• Association for Computing Machinery, 0-89791

  United States

  Central database

  Publisher

View all »