Marius Mikucionis

International Journal on Software Tools for Technology Transfer (STTT) · 2015

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

Whom Marius Mikucionis trusts overall

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

  1. W. Hoeffding

Papers from Marius Mikucionis's perspective

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

  1. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  2. Probability inequalities for sum of bounded random variables
  3. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  4. THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
  5. Model Checking
  6. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  7. Sequential Tests of Statistical Hypotheses.
  8. Systems and Software Verification, Model-Checking Techniques and Tools
  9. Introduction to Automata Theory, Languages and Computation
  10. The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks

Their papers