Find information:
[5-14]Separability of Bosonic Systems 2015-05-08
[5-12]Is Your Storage System Reliable? 2015-05-08
[5-8]Sequential algorithms (old and new) 2015-05-06
[5-8]A Synergistic Analysis Method for Explaining Failed Regression Tests 2015-04-22
[4-22]Why Formal Modeling Language Semantics Matters 2015-04-10
[4-13]Approximating Labelled Markov Again! 2015-04-07
[2015-4-7]Big Data as a Powerful Source of Randomness 2015-04-02
[12-17]Cloud Computing, Big Data and Scalable Privacy Preservation 2014-12-16
[12-12]Communicating Transactions (a Survey) 2014-12-09
[12-8]Fast Sheet-defined Functions in Spreadsheets 2014-12-03
[12-2]Abstraction-based Computation of Reward Measures for Markov Automata 2014-12-01
[11-27]Quantum Simulation: Challenges and Opportunities 2014-11-25
[11-6]Efficient Data Structures and Sorting Algorithms for Bisimulation 2014-11-03
[10-28]Full Abstraction for a Probabilistic Functional Programming Language 2014-10-24
[9-12]INTrEPID: A project on energy optimization in buildings 2014-09-05
  25 Page(s)   FirstPrev12345NextFinal