Citation Style Language

The Citation Style Language (CSL) is an open XML-based language to describe the formatting of citations and bibliographies. Reference management… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1966-2017
0204019662017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
  • Yang Gaoa, Ming Xub, Naijun Zhana, Lijun Zhangc
  • 2013
We consider the model-checking problem of continuous-time Markov chains (CTMCs) with respect to Conditional Continuous Stochastic… (More)
  • figure 2
Is this relevant?
2013
2013
In this demo-paper we introduce Docear4Word which enables researchers to insert and format their references and bibliographies in… (More)
  • figure 4
  • figure 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models. It supports PCTL and… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Continuous-time Markov chains (CTMCs) have been widely used to determine system performance and dependability characteristics… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis of probabilistic systems… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we present efficient symbolic techniques for probabilistic model checking. These have been implemented in PRISM, a… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper presents a symbolic model checking algorithm for continuous-time Markov chains for an extension of the continuous… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper gives a self{contained description of classical IP (internet protocol) and ARP (address resolution protocol) over ATM… (More)
Is this relevant?