DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,ToHe,From model checking to model measuring
10.15479/AT:IST-2014-176-v1-1,5418,KrCh,Games with a weak adversary
10.15479/AT:IST-2014-187-v1-1,5419,KrCh,Improved algorithms for reachability and shortest path on low tree-width graphs
10.15479/AT:IST-2014-191-v1-1,5420,KrCh,The value 1 problem for concurrent mean-payoff games
10.15479/AT:IST-2014-190-v2-2,5421,KrCh,The complexity of evolution on graphs
null,5422,E-Lib,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
10.15479/AT:IST-2014-300-v1-1,5423,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.15479/AT:IST-2014-305-v1-1,5424,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-305-v2-1,5426,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-314-v1-1,5427,KrCh,Optimal tree-decomposition balancing and reachability on low treewidth graphs
10.15479/AT:IST-2014-315-v1-1,5428,"ToHe,KrCh",Quantitative fair simulation games
10.1007/978-3-319-05957-0,6853,HeEd,A Short Course in Computational Geometry and Topology
null,7038,"VlKo,UlWa",Playful Math - An introduction to mathematical games
10.1371/journal.pone.0103989.s003,9888,SyCr,Supporting information
10.1111/evo.12373,9931,CaGu,Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
10.5061/dryad.jc402,9932,CaGu,Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes