More People
More Publications
More Publishers
Landau Dan A; Stewart Chip; Reiter, Johannes G; Lawrence Michael; Sougnez Carrie; more... Blood (2014)
Cerný, Pavol; Chmelík, Martin; Henzinger, Thomas A; Radhakrishna, Arjun Theoretical Computer Science (2014)
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; more... ALENEX: Algorithm Engineering and Experiments Society of Industrial and Applied Mathematics (2014)
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Adlam, Ben; Nowak, Martin A PLoS Computational Biology (2014)
Chatterjee, Krishnendu; Chmelík, Martin; Daca, Przemyslaw CAV: Computer Aided Verification Springer (2014)
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Kößler, Alexander; Schmid, Ulrich RTSS: Real-Time Systems Symposium IEEE (2014)
Institute of Science and Technology Austria | Library Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000 Powered by BibApp