[{"publist_id":"5484","ec_funded":1,"publisher":"Nature Publishing Group","department":[{"_id":"KrCh"}],"publication_status":"published","pmid":1,"year":"2015","volume":526,"date_updated":"2021-01-12T06:52:23Z","date_created":"2018-12-11T11:53:21Z","author":[{"full_name":"Landau, Dan","first_name":"Dan","last_name":"Landau"},{"full_name":"Tausch, Eugen","last_name":"Tausch","first_name":"Eugen"},{"last_name":"Taylor Weiner","first_name":"Amaro","full_name":"Taylor Weiner, Amaro"},{"full_name":"Stewart, Chip","first_name":"Chip","last_name":"Stewart"},{"orcid":"0000-0002-0170-7353","id":"4A918E98-F248-11E8-B48F-1D18A9856A87","last_name":"Reiter","first_name":"Johannes","full_name":"Reiter, Johannes"},{"last_name":"Bahlo","first_name":"Jasmin","full_name":"Bahlo, Jasmin"},{"last_name":"Kluth","first_name":"Sandra","full_name":"Kluth, Sandra"},{"full_name":"Božić, Ivana","last_name":"Božić","first_name":"Ivana"},{"full_name":"Lawrence, Michael","first_name":"Michael","last_name":"Lawrence"},{"full_name":"Böttcher, Sebastian","first_name":"Sebastian","last_name":"Böttcher"},{"full_name":"Carter, Scott","first_name":"Scott","last_name":"Carter"},{"full_name":"Cibulskis, Kristian","last_name":"Cibulskis","first_name":"Kristian"},{"full_name":"Mertens, Daniel","last_name":"Mertens","first_name":"Daniel"},{"full_name":"Sougnez, Carrie","last_name":"Sougnez","first_name":"Carrie"},{"first_name":"Mara","last_name":"Rosenberg","full_name":"Rosenberg, Mara"},{"full_name":"Hess, Julian","first_name":"Julian","last_name":"Hess"},{"full_name":"Edelmann, Jennifer","first_name":"Jennifer","last_name":"Edelmann"},{"last_name":"Kless","first_name":"Sabrina","full_name":"Kless, Sabrina"},{"full_name":"Kneba, Michael","last_name":"Kneba","first_name":"Michael"},{"first_name":"Matthias","last_name":"Ritgen","full_name":"Ritgen, Matthias"},{"full_name":"Fink, Anna","first_name":"Anna","last_name":"Fink"},{"first_name":"Kirsten","last_name":"Fischer","full_name":"Fischer, Kirsten"},{"full_name":"Gabriel, Stacey","first_name":"Stacey","last_name":"Gabriel"},{"first_name":"Eric","last_name":"Lander","full_name":"Lander, Eric"},{"first_name":"Martin","last_name":"Nowak","full_name":"Nowak, Martin"},{"first_name":"Hartmut","last_name":"Döhner","full_name":"Döhner, Hartmut"},{"last_name":"Hallek","first_name":"Michael","full_name":"Hallek, Michael"},{"full_name":"Neuberg, Donna","last_name":"Neuberg","first_name":"Donna"},{"full_name":"Getz, Gad","first_name":"Gad","last_name":"Getz"},{"full_name":"Stilgenbauer, Stephan","last_name":"Stilgenbauer","first_name":"Stephan"},{"full_name":"Wu, Catherine","last_name":"Wu","first_name":"Catherine"}],"month":"10","project":[{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"quality_controlled":"1","external_id":{"pmid":["26466571"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4815041/"}],"language":[{"iso":"eng"}],"doi":"10.1038/nature15395","type":"journal_article","issue":"7574","abstract":[{"text":"Which genetic alterations drive tumorigenesis and how they evolve over the course of disease and therapy are central questions in cancer biology. Here we identify 44 recurrently mutated genes and 11 recurrent somatic copy number variations through whole-exome sequencing of 538 chronic lymphocytic leukaemia (CLL) and matched germline DNA samples, 278 of which were collected in a prospective clinical trial. These include previously unrecognized putative cancer drivers (RPS15, IKZF3), and collectively identify RNA processing and export, MYC activity, and MAPK signalling as central pathways involved in CLL. Clonality analysis of this large data set further enabled reconstruction of temporal relationships between driver events. Direct comparison between matched pre-treatment and relapse samples from 59 patients demonstrated highly frequent clonal evolution. Thus, large sequencing data sets of clinically informative samples enable the discovery of novel genes associated with cancer, the network of relationships between the driver events, and their impact on disease relapse and clinical outcome.","lang":"eng"}],"intvolume":" 526","title":"Mutations driving CLL and their evolution in progression and relapse","status":"public","_id":"1665","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Submitted Version","scopus_import":1,"article_processing_charge":"No","day":"22","page":"525 - 530","article_type":"original","citation":{"chicago":"Landau, Dan, Eugen Tausch, Amaro Taylor Weiner, Chip Stewart, Johannes Reiter, Jasmin Bahlo, Sandra Kluth, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature15395.","short":"D. Landau, E. Tausch, A. Taylor Weiner, C. Stewart, J. Reiter, J. Bahlo, S. Kluth, I. Božić, M. Lawrence, S. Böttcher, S. Carter, K. Cibulskis, D. Mertens, C. Sougnez, M. Rosenberg, J. Hess, J. Edelmann, S. Kless, M. Kneba, M. Ritgen, A. Fink, K. Fischer, S. Gabriel, E. Lander, M. Nowak, H. Döhner, M. Hallek, D. Neuberg, G. Getz, S. Stilgenbauer, C. Wu, Nature 526 (2015) 525–530.","mla":"Landau, Dan, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 525–30, doi:10.1038/nature15395.","ieee":"D. Landau et al., “Mutations driving CLL and their evolution in progression and relapse,” Nature, vol. 526, no. 7574. Nature Publishing Group, pp. 525–530, 2015.","apa":"Landau, D., Tausch, E., Taylor Weiner, A., Stewart, C., Reiter, J., Bahlo, J., … Wu, C. (2015). Mutations driving CLL and their evolution in progression and relapse. Nature. Nature Publishing Group. https://doi.org/10.1038/nature15395","ista":"Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.","ama":"Landau D, Tausch E, Taylor Weiner A, et al. Mutations driving CLL and their evolution in progression and relapse. Nature. 2015;526(7574):525-530. doi:10.1038/nature15395"},"publication":"Nature","date_published":"2015-10-22T00:00:00Z"},{"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","ec_funded":1,"publist_id":"5487","file_date_updated":"2020-07-14T12:45:10Z","publisher":"Elsevier","department":[{"_id":"JoCs"}],"publication_status":"published","year":"2015","volume":27,"date_created":"2018-12-11T11:53:20Z","date_updated":"2021-01-12T06:52:22Z","author":[{"full_name":"Kovács, Krisztián","first_name":"Krisztián","last_name":"Kovács","id":"2AB5821E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Myriam","last_name":"Steinmann","full_name":"Steinmann, Myriam"},{"full_name":"Halfon, Olivier","last_name":"Halfon","first_name":"Olivier"},{"first_name":"Pierre","last_name":"Magistretti","full_name":"Magistretti, Pierre"},{"full_name":"Cardinaux, Jean","last_name":"Cardinaux","first_name":"Jean"}],"month":"11","project":[{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"quality_controlled":"1","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png"},"language":[{"iso":"eng"}],"doi":"10.1016/j.cellsig.2015.08.001","type":"journal_article","issue":"11","abstract":[{"lang":"eng","text":"CREB-binding protein (CBP) and p300 are transcriptional coactivators involved in numerous biological processes that affect cell growth, transformation, differentiation, and development. In this study, we provide evidence of the involvement of homeodomain-interacting protein kinase 2 (HIPK2) in the regulation of CBP activity. We show that HIPK2 interacts with and phosphorylates several regions of CBP. We demonstrate that serines 2361, 2363, 2371, 2376, and 2381 are responsible for the HIPK2-induced mobility shift of CBP C-terminal activation domain. Moreover, we show that HIPK2 strongly potentiates the transcriptional activity of CBP. However, our data suggest that HIPK2 activates CBP mainly by counteracting the repressive action of cell cycle regulatory domain 1 (CRD1), located between amino acids 977 and 1076, independently of CBP phosphorylation. Our findings thus highlight a complex regulation of CBP activity by HIPK2, which might be relevant for the control of specific sets of target genes involved in cellular proliferation, differentiation and apoptosis."}],"intvolume":" 27","ddc":["570"],"title":"Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2","status":"public","_id":"1663","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"content_type":"application/pdf","file_size":1735337,"creator":"system","file_name":"IST-2016-578-v1+1_CLS-D-15-00072R1_.pdf","access_level":"local","date_created":"2018-12-12T10:18:03Z","date_updated":"2020-07-14T12:45:10Z","checksum":"4ee690b6444b7a43523237f0941457d1","relation":"main_file","file_id":"5321"}],"oa_version":"Published Version","pubrep_id":"578","scopus_import":1,"has_accepted_license":"1","day":"01","page":"2252 - 2260","citation":{"ieee":"K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, and J. Cardinaux, “Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2,” Cellular Signalling, vol. 27, no. 11. Elsevier, pp. 2252–2260, 2015.","apa":"Kovács, K., Steinmann, M., Halfon, O., Magistretti, P., & Cardinaux, J. (2015). Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. Elsevier. https://doi.org/10.1016/j.cellsig.2015.08.001","ista":"Kovács K, Steinmann M, Halfon O, Magistretti P, Cardinaux J. 2015. Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. 27(11), 2252–2260.","ama":"Kovács K, Steinmann M, Halfon O, Magistretti P, Cardinaux J. Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. 2015;27(11):2252-2260. doi:10.1016/j.cellsig.2015.08.001","chicago":"Kovács, Krisztián, Myriam Steinmann, Olivier Halfon, Pierre Magistretti, and Jean Cardinaux. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.” Cellular Signalling. Elsevier, 2015. https://doi.org/10.1016/j.cellsig.2015.08.001.","short":"K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, J. Cardinaux, Cellular Signalling 27 (2015) 2252–2260.","mla":"Kovács, Krisztián, et al. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.” Cellular Signalling, vol. 27, no. 11, Elsevier, 2015, pp. 2252–60, doi:10.1016/j.cellsig.2015.08.001."},"publication":"Cellular Signalling","date_published":"2015-11-01T00:00:00Z"},{"abstract":[{"text":"We consider parametric version of fixed-delay continuoustime Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified by parameters, rather than concrete values. Our goal is to synthesize values of these parameters that, for a given cost function, minimise expected total cost incurred before reaching a given set of target states. We show that under mild assumptions, optimal values of parameters can be effectively approximated using translation to a Markov decision process (MDP) whose actions correspond to discretized values of these parameters. To this end we identify and overcome several interesting phenomena arising in systems with fixed delays.","lang":"eng"}],"alternative_title":["LNCS"],"type":"conference","oa_version":"Preprint","title":"Optimizing performance of continuous-time stochastic systems using timeout synthesis","status":"public","intvolume":" 9259","_id":"1667","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"22","series_title":"Lecture Notes in Computer Science","scopus_import":1,"date_published":"2015-08-22T00:00:00Z","page":"141 - 159","citation":{"ista":"Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. 2015. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 9259, 141–159.","ieee":"T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, and V. Řehák, “Optimizing performance of continuous-time stochastic systems using timeout synthesis,” vol. 9259. Springer, pp. 141–159, 2015.","apa":"Brázdil, T., Korenčiak, L., Krčál, J., Novotný, P., & Řehák, V. (2015). Optimizing performance of continuous-time stochastic systems using timeout synthesis. Presented at the QEST: Quantitative Evaluation of Systems, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-22264-6_10","ama":"Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 2015;9259:141-159. doi:10.1007/978-3-319-22264-6_10","chicago":"Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotný, and Vojtěch Řehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22264-6_10.","mla":"Brázdil, Tomáš, et al. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. Vol. 9259, Springer, 2015, pp. 141–59, doi:10.1007/978-3-319-22264-6_10.","short":"T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159."},"publist_id":"5482","ec_funded":1,"date_created":"2018-12-11T11:53:22Z","date_updated":"2021-01-12T06:52:24Z","volume":9259,"author":[{"last_name":"Brázdil","first_name":"Tomáš","full_name":"Brázdil, Tomáš"},{"full_name":"Korenčiak, L'Uboš","first_name":"L'Uboš","last_name":"Korenčiak"},{"first_name":"Jan","last_name":"Krčál","full_name":"Krčál, Jan"},{"full_name":"Novotny, Petr","last_name":"Novotny","first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Řehák, Vojtěch","first_name":"Vojtěch","last_name":"Řehák"}],"publication_status":"published","publisher":"Springer","department":[{"_id":"KrCh"}],"acknowledgement":"The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement n∘ [291734]. This work is partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research Center AVACS (SFB/TR 14), by the EU 7th Framework Programme under grant agreement no. 295261 (MEALS) and 318490 (SENSATION), by the Czech Science Foundation, grant No. 15-17564S, and by the CAS/SAFEA International Partnership Program for Creative Research Teams.","year":"2015","month":"08","language":[{"iso":"eng"}],"conference":{"end_date":"2015-09-03","location":"Madrid, Spain","start_date":"2015-09-01","name":"QEST: Quantitative Evaluation of Systems"},"doi":"10.1007/978-3-319-22264-6_10","quality_controlled":"1","project":[{"name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1407.4777"}]},{"day":"21","scopus_import":1,"date_published":"2015-10-21T00:00:00Z","publication":"Nature","citation":{"mla":"Barkley, Dwight, et al. “The Rise of Fully Turbulent Flow.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 550–53, doi:10.1038/nature15701.","short":"D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.","chicago":"Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature15701.","ama":"Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. The rise of fully turbulent flow. Nature. 2015;526(7574):550-553. doi:10.1038/nature15701","ista":"Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.","ieee":"D. Barkley, B. Song, M. Vasudevan, G. M. Lemoult, M. Avila, and B. Hof, “The rise of fully turbulent flow,” Nature, vol. 526, no. 7574. Nature Publishing Group, pp. 550–553, 2015.","apa":"Barkley, D., Song, B., Vasudevan, M., Lemoult, G. M., Avila, M., & Hof, B. (2015). The rise of fully turbulent flow. Nature. Nature Publishing Group. https://doi.org/10.1038/nature15701"},"page":"550 - 553","abstract":[{"lang":"eng","text":"Over a century of research into the origin of turbulence in wall-bounded shear flows has resulted in a puzzling picture in which turbulence appears in a variety of different states competing with laminar background flow. At moderate flow speeds, turbulence is confined to localized patches; it is only at higher speeds that the entire flow becomes turbulent. The origin of the different states encountered during this transition, the front dynamics of the turbulent regions and the transformation to full turbulence have yet to be explained. By combining experiments, theory and computer simulations, here we uncover a bifurcation scenario that explains the transformation to fully turbulent pipe flow and describe the front dynamics of the different states encountered in the process. Key to resolving this problem is the interpretation of the flow as a bistable system with nonlinear propagation (advection) of turbulent fronts. These findings bridge the gap between our understanding of the onset of turbulence and fully turbulent flows."}],"issue":"7574","type":"journal_article","oa_version":"Preprint","_id":"1664","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"The rise of fully turbulent flow","status":"public","intvolume":" 526","month":"10","doi":"10.1038/nature15701","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1510.09143"}],"quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Decoding the complexity of turbulence at its origin","grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425"}],"publist_id":"5485","ec_funded":1,"author":[{"full_name":"Barkley, Dwight","first_name":"Dwight","last_name":"Barkley"},{"last_name":"Song","first_name":"Baofang","full_name":"Song, Baofang"},{"id":"3C5A959A-F248-11E8-B48F-1D18A9856A87","last_name":"Vasudevan","first_name":"Mukund","full_name":"Vasudevan, Mukund"},{"full_name":"Lemoult, Grégoire M","last_name":"Lemoult","first_name":"Grégoire M","id":"4787FE80-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Avila","first_name":"Marc","full_name":"Avila, Marc"},{"first_name":"Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn"}],"date_created":"2018-12-11T11:53:20Z","date_updated":"2021-01-12T06:52:22Z","volume":526,"acknowledgement":"We acknowledge the Deutsche Forschungsgemeinschaft (Project No. FOR 1182), and the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013)/ERC Grant Agreement 306589 for financial support. B.S. acknowledges financial support from the Chinese State Scholarship Fund under grant number 2010629145. B.S. acknowledges support from the International Max Planck Research School for the Physics of Biological and Complex Systems and the Göttingen Graduate School for Neurosciences and Molecular Biosciences. We acknowledge computing resources from GWDG (Gesellschaft für wissenschaftliche Datenverarbeitung Göttingen) and the Jülich Supercomputing Centre (grant HGU16) where the simulations were performed.","year":"2015","publication_status":"published","department":[{"_id":"BjHo"}],"publisher":"Nature Publishing Group"},{"scopus_import":"1","series_title":"Lecture Notes in Computer Science","day":"01","has_accepted_license":"1","article_processing_charge":"No","publication":"Advances in Cryptology - CRYPTO 2015","citation":{"ama":"Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. In: Advances in Cryptology - CRYPTO 2015. Vol 9216. Lecture Notes in Computer Science. Springer; 2015:763-780. doi:10.1007/978-3-662-48000-7_37","apa":"Alwen, J. F., Ostrovsky, R., Zhou, H., & Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology - CRYPTO 2015 (Vol. 9216, pp. 763–780). Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_37","ieee":"J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” in Advances in Cryptology - CRYPTO 2015, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 763–780.","ista":"Alwen JF, Ostrovsky R, Zhou H, Zikas V. 2015. Incoercible multi-party computation and universally composable receipt-free voting. Advances in Cryptology - CRYPTO 2015. CRYPTO: International Cryptology ConferenceLecture Notes in Computer Science, LNCS, vol. 9216, 763–780.","short":"J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, in:, Advances in Cryptology - CRYPTO 2015, Springer, 2015, pp. 763–780.","mla":"Alwen, Joel F., et al. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” Advances in Cryptology - CRYPTO 2015, vol. 9216, Springer, 2015, pp. 763–80, doi:10.1007/978-3-662-48000-7_37.","chicago":"Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” In Advances in Cryptology - CRYPTO 2015, 9216:763–80. Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_37."},"page":"763 - 780","date_published":"2015-08-01T00:00:00Z","type":"conference","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Composable notions of incoercibility aim to forbid a coercer from using anything beyond the coerced parties’ inputs and outputs to catch them when they try to deceive him. Existing definitions are restricted to weak coercion types, and/or are not universally composable. Furthermore, they often make too strong assumptions on the knowledge of coerced parties—e.g., they assume they known the identities and/or the strategies of other coerced parties, or those of corrupted parties— which makes them unsuitable for applications of incoercibility such as e-voting, where colluding adversarial parties may attempt to coerce honest voters, e.g., by offering them money for a promised vote, and use their own view to check that the voter keeps his end of the bargain. In this work we put forward the first universally composable notion of incoercible multi-party computation, which satisfies the above intuition and does not assume collusions among coerced parties or knowledge of the corrupted set. We define natural notions of UC incoercibility corresponding to standard coercion-types, i.e., receipt-freeness and resistance to full-active coercion. Importantly, our suggested notion has the unique property that it builds on top of the well studied UC framework by Canetti instead of modifying it. This guarantees backwards compatibility, and allows us to inherit results from the rich UC literature. We then present MPC protocols which realize our notions of UC incoercibility given access to an arguably minimal setup—namely honestly generate tamper-proof hardware performing a very simple cryptographic operation—e.g., a smart card. This is, to our knowledge, the first proposed construction of an MPC protocol (for more than two parties) that is incoercibly secure and universally composable, and therefore the first construction of a universally composable receipt-free e-voting protocol."}],"_id":"1672","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"title":"Incoercible multi-party computation and universally composable receipt-free voting","status":"public","intvolume":" 9216","oa_version":"Submitted Version","file":[{"access_level":"open_access","file_name":"2015_CRYPTO_Alwen.pdf","file_size":397363,"content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"7853","checksum":"5b6649e80d1f781a8910f7cce6427f78","date_updated":"2020-07-14T12:45:11Z","date_created":"2020-05-15T08:55:29Z"}],"month":"08","publication_identifier":{"eisbn":["978-3-662-48000-7"],"isbn":["978-3-662-47999-5"]},"oa":1,"quality_controlled":"1","project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"}],"conference":{"start_date":"2015-08-16","location":"Santa Barbara, CA, United States","end_date":"2015-08-20","name":"CRYPTO: International Cryptology Conference"},"doi":"10.1007/978-3-662-48000-7_37","language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:45:11Z","ec_funded":1,"publist_id":"5476","acknowledgement":"Joël Alwen was supported by the ERC starting grant (259668-PSPC). Rafail Ostrovsky was supported in part by NSF grants 09165174, 1065276, 1118126 and 1136174, US-Israel BSF grant 2008411, OKAWA Foundation Research Award, IBM Faculty Research Award, Xerox Faculty Research Award, B. John Garrick Foundation Award, Teradata Research Award, Lockheed-Martin Corporation Research Award, and the Defense Advanced Research Projects Agency through the U.S. Office of Naval Research under Contract N00014 -11 -1-0392. The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S. Government. Vassilis Zikas was supported in part by the Swiss National Science Foundation (SNF) via the Ambizione grant PZ00P-2142549.","year":"2015","publication_status":"published","publisher":"Springer","department":[{"_id":"KrPi"}],"author":[{"full_name":"Alwen, Joel F","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","last_name":"Alwen","first_name":"Joel F"},{"full_name":"Ostrovsky, Rafail","last_name":"Ostrovsky","first_name":"Rafail"},{"full_name":"Zhou, Hongsheng","last_name":"Zhou","first_name":"Hongsheng"},{"full_name":"Zikas, Vassilis","last_name":"Zikas","first_name":"Vassilis"}],"date_updated":"2022-06-07T09:51:55Z","date_created":"2018-12-11T11:53:23Z","volume":9216},{"scopus_import":1,"series_title":"Lecture Notes in Computer Science","has_accepted_license":"1","day":"15","citation":{"chicago":"Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22174-8_5.","mla":"Pietrzak, Krzysztof Z., and Maciej Skórski. The Chain Rule for HILL Pseudoentropy, Revisited. Vol. 9230, Springer, 2015, pp. 81–98, doi:10.1007/978-3-319-22174-8_5.","short":"K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.","ista":"Pietrzak KZ, Skórski M. 2015. The chain rule for HILL pseudoentropy, revisited. 9230, 81–98.","apa":"Pietrzak, K. Z., & Skórski, M. (2015). The chain rule for HILL pseudoentropy, revisited. Presented at the LATINCRYPT: Cryptology and Information Security in Latin America, Guadalajara, Mexico: Springer. https://doi.org/10.1007/978-3-319-22174-8_5","ieee":"K. Z. Pietrzak and M. Skórski, “The chain rule for HILL pseudoentropy, revisited,” vol. 9230. Springer, pp. 81–98, 2015.","ama":"Pietrzak KZ, Skórski M. The chain rule for HILL pseudoentropy, revisited. 2015;9230:81-98. doi:10.1007/978-3-319-22174-8_5"},"page":"81 - 98","date_published":"2015-08-15T00:00:00Z","type":"conference","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Computational notions of entropy (a.k.a. pseudoentropy) have found many applications, including leakage-resilient cryptography, deterministic encryption or memory delegation. The most important tools to argue about pseudoentropy are chain rules, which quantify by how much (in terms of quantity and quality) the pseudoentropy of a given random variable X decreases when conditioned on some other variable Z (think for example of X as a secret key and Z as information leaked by a side-channel). In this paper we give a very simple and modular proof of the chain rule for HILL pseudoentropy, improving best known parameters. Our version allows for increasing the acceptable length of leakage in applications up to a constant factor compared to the best previous bounds. As a contribution of independent interest, we provide a comprehensive study of all known versions of the chain rule, comparing their worst-case strength and limitations."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"1669","intvolume":" 9230","status":"public","title":"The chain rule for HILL pseudoentropy, revisited","ddc":["005"],"pubrep_id":"669","oa_version":"Submitted Version","file":[{"checksum":"8cd4215b83efba720e8cf27c23ff4781","date_updated":"2020-07-14T12:45:11Z","date_created":"2018-12-12T10:18:29Z","relation":"main_file","file_id":"5351","content_type":"application/pdf","file_size":443340,"creator":"system","access_level":"open_access","file_name":"IST-2016-669-v1+1_599.pdf"}],"month":"08","oa":1,"project":[{"name":"Provable Security for Physical Cryptography","call_identifier":"FP7","grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","doi":"10.1007/978-3-319-22174-8_5","conference":{"end_date":"2015-08-26","location":"Guadalajara, Mexico","start_date":"2015-08-23","name":"LATINCRYPT: Cryptology and Information Security in Latin America"},"language":[{"iso":"eng"}],"publist_id":"5480","ec_funded":1,"file_date_updated":"2020-07-14T12:45:11Z","year":"2015","publisher":"Springer","department":[{"_id":"KrPi"}],"publication_status":"published","author":[{"last_name":"Pietrzak","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z"},{"full_name":"Skórski, Maciej","last_name":"Skórski","first_name":"Maciej"}],"volume":9230,"date_created":"2018-12-11T11:53:22Z","date_updated":"2021-01-12T06:52:24Z"},{"project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668","name":"Provable Security for Physical Cryptography","call_identifier":"FP7"}],"quality_controlled":"1","oa":1,"language":[{"iso":"eng"}],"doi":"10.1007/978-3-662-47989-6_18","conference":{"name":"CRYPTO: International Cryptology Conference","location":"Santa Barbara, CA, United States","start_date":"2015-08-16","end_date":"2015-08-20"},"month":"08","publisher":"Springer","department":[{"_id":"KrPi"}],"publication_status":"published","year":"2015","volume":9215,"date_updated":"2021-01-12T06:52:25Z","date_created":"2018-12-11T11:53:23Z","author":[{"full_name":"Gazi, Peter","first_name":"Peter","last_name":"Gazi","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z"},{"full_name":"Tessaro, Stefano","last_name":"Tessaro","first_name":"Stefano"}],"ec_funded":1,"publist_id":"5478","file_date_updated":"2020-07-14T12:45:11Z","page":"368 - 387","citation":{"ama":"Gazi P, Pietrzak KZ, Tessaro S. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. In: Vol 9215. Springer; 2015:368-387. doi:10.1007/978-3-662-47989-6_18","ista":"Gazi P, Pietrzak KZ, Tessaro S. 2015. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 368–387.","apa":"Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC (Vol. 9215, pp. 368–387). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-47989-6_18","ieee":"P. Gazi, K. Z. Pietrzak, and S. Tessaro, “The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9215, pp. 368–387.","mla":"Gazi, Peter, et al. The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC. Vol. 9215, Springer, 2015, pp. 368–87, doi:10.1007/978-3-662-47989-6_18.","short":"P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.","chicago":"Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,” 9215:368–87. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_18."},"date_published":"2015-08-01T00:00:00Z","scopus_import":1,"has_accepted_license":"1","day":"01","intvolume":" 9215","title":"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC","ddc":["004","005"],"status":"public","_id":"1671","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Submitted Version","file":[{"file_id":"4827","relation":"main_file","checksum":"17d854227b3b753fd34f5d29e5b5a32e","date_created":"2018-12-12T10:10:38Z","date_updated":"2020-07-14T12:45:11Z","access_level":"open_access","file_name":"IST-2016-673-v1+1_053.pdf","creator":"system","content_type":"application/pdf","file_size":592296}],"pubrep_id":"673","alternative_title":["LNCS"],"type":"conference","abstract":[{"lang":"eng","text":"This paper studies the concrete security of PRFs and MACs obtained by keying hash functions based on the sponge paradigm. One such hash function is KECCAK, selected as NIST’s new SHA-3 standard. In contrast to other approaches like HMAC, the exact security of keyed sponges is not well understood. Indeed, recent security analyses delivered concrete security bounds which are far from existing attacks. This paper aims to close this gap. We prove (nearly) exact bounds on the concrete PRF security of keyed sponges using a random permutation. These bounds are tight for the most relevant ranges of parameters, i.e., for messages of length (roughly) l ≤ min{2n/4, 2r} blocks, where n is the state size and r is the desired output length; and for l ≤ q queries (to the construction or the underlying permutation). Moreover, we also improve standard-model bounds. As an intermediate step of independent interest, we prove tight bounds on the PRF security of the truncated CBC-MAC construction, which operates as plain CBC-MAC, but only returns a prefix of the output."}]},{"day":"08","has_accepted_license":"1","scopus_import":1,"date_published":"2015-09-08T00:00:00Z","publication":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences","citation":{"short":"B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).","mla":"Adlam, Ben, et al. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, 20150114, Royal Society of London, 2015, doi:10.1098/rspa.2015.0114.","chicago":"Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2015. https://doi.org/10.1098/rspa.2015.0114.","ama":"Adlam B, Chatterjee K, Nowak M. Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2015;471(2181). doi:10.1098/rspa.2015.0114","apa":"Adlam, B., Chatterjee, K., & Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rspa.2015.0114","ieee":"B. Adlam, K. Chatterjee, and M. Nowak, “Amplifiers of selection,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181. Royal Society of London, 2015.","ista":"Adlam B, Chatterjee K, Nowak M. 2015. Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 471(2181), 20150114."},"abstract":[{"lang":"eng","text":"When a new mutant arises in a population, there is a probability it outcompetes the residents and fixes. The structure of the population can affect this fixation probability. Suppressing population structures reduce the difference between two competing variants, while amplifying population structures enhance the difference. Suppressors are ubiquitous and easy to construct, but amplifiers for the large population limit are more elusive and only a few examples have been discovered. Whether or not a population structure is an amplifier of selection depends on the probability distribution for the placement of the invading mutant. First, we prove that there exist only bounded amplifiers for adversarial placement-that is, for arbitrary initial conditions. Next, we show that the Star population structure, which is known to amplify for mutants placed uniformly at random, does not amplify for mutants that arise through reproduction and are therefore placed proportional to the temperatures of the vertices. Finally, we construct population structures that amplify for all mutational events that arise through reproduction, uniformly at random, or through some combination of the two. "}],"issue":"2181","type":"journal_article","file":[{"creator":"kschuh","file_size":391466,"content_type":"application/pdf","file_name":"2015_rspa_Adlam.pdf","access_level":"open_access","date_created":"2019-04-18T12:39:56Z","date_updated":"2020-07-14T12:45:11Z","checksum":"e613d94d283c776322403a28aad11bdd","file_id":"6342","relation":"main_file"}],"oa_version":"Published Version","status":"public","ddc":["000"],"title":"Amplifiers of selection","intvolume":" 471","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"1673","month":"09","language":[{"iso":"eng"}],"doi":"10.1098/rspa.2015.0114","quality_controlled":"1","project":[{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering"}],"oa":1,"file_date_updated":"2020-07-14T12:45:11Z","publist_id":"5477","ec_funded":1,"article_number":"20150114","date_created":"2018-12-11T11:53:24Z","date_updated":"2021-01-12T06:52:26Z","volume":471,"author":[{"full_name":"Adlam, Ben","last_name":"Adlam","first_name":"Ben"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Nowak, Martin","first_name":"Martin","last_name":"Nowak"}],"publication_status":"published","publisher":"Royal Society of London","department":[{"_id":"KrCh"}],"acknowledgement":"K.C. gratefully acknowledges support from ERC Start grant no. (279307: Graph Games), Austrian Science Fund (FWF) grant no. P23499-N23, and FWF NFN grant no. S11407-N23 (RiSE). ","year":"2015"},{"month":"08","main_file_link":[{"url":"http://eprint.iacr.org/2015/397","open_access":"1"}],"oa":1,"project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"}],"quality_controlled":"1","doi":"10.1007/978-3-662-48116-5_16","conference":{"start_date":"2015-03-08","location":"Istanbul, Turkey","end_date":"2015-03-11","name":"FSE: Fast Software Encryption"},"language":[{"iso":"eng"}],"ec_funded":1,"publist_id":"5481","year":"2015","publisher":"Springer","department":[{"_id":"KrPi"}],"publication_status":"published","author":[{"full_name":"Gazi, Peter","first_name":"Peter","last_name":"Gazi","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jooyoung","last_name":"Lee","full_name":"Lee, Jooyoung"},{"full_name":"Seurin, Yannick","first_name":"Yannick","last_name":"Seurin"},{"last_name":"Steinberger","first_name":"John","full_name":"Steinberger, John"},{"full_name":"Tessaro, Stefano","last_name":"Tessaro","first_name":"Stefano"}],"volume":9054,"date_updated":"2020-08-11T10:09:26Z","date_created":"2018-12-11T11:53:22Z","scopus_import":1,"series_title":"Lecture Notes in Computer Science","day":"12","citation":{"ieee":"P. Gazi, J. Lee, Y. Seurin, J. Steinberger, and S. Tessaro, “Relaxing full-codebook security: A refined analysis of key-length extension schemes,” vol. 9054. Springer, pp. 319–341, 2015.","apa":"Gazi, P., Lee, J., Seurin, Y., Steinberger, J., & Tessaro, S. (2015). Relaxing full-codebook security: A refined analysis of key-length extension schemes. Presented at the FSE: Fast Software Encryption, Istanbul, Turkey: Springer. https://doi.org/10.1007/978-3-662-48116-5_16","ista":"Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. 2015. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 9054, 319–341.","ama":"Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 2015;9054:319-341. doi:10.1007/978-3-662-48116-5_16","chicago":"Gazi, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48116-5_16.","short":"P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.","mla":"Gazi, Peter, et al. Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes. Vol. 9054, Springer, 2015, pp. 319–41, doi:10.1007/978-3-662-48116-5_16."},"page":"319 - 341","date_published":"2015-08-12T00:00:00Z","type":"conference","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"We revisit the security (as a pseudorandom permutation) of cascading-based constructions for block-cipher key-length extension. Previous works typically considered the extreme case where the adversary is given the entire codebook of the construction, the only complexity measure being the number qe of queries to the underlying ideal block cipher, representing adversary’s secret-key-independent computation. Here, we initiate a systematic study of the more natural case of an adversary restricted to adaptively learning a number qc of plaintext/ciphertext pairs that is less than the entire codebook. For any such qc, we aim to determine the highest number of block-cipher queries qe the adversary can issue without being able to successfully distinguish the construction (under a secret key) from a random permutation.\r\nMore concretely, we show the following results for key-length extension schemes using a block cipher with n-bit blocks and κ-bit keys:\r\nPlain cascades of length ℓ=2r+1 are secure whenever qcqre≪2r(κ+n), qc≪2κ and qe≪22κ. The bound for r=1 also applies to two-key triple encryption (as used within Triple DES).\r\nThe r-round XOR-cascade is secure as long as qcqre≪2r(κ+n), matching an attack by Gaži (CRYPTO 2013).\r\nWe fully characterize the security of Gaži and Tessaro’s two-call "}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"1668","intvolume":" 9054","title":"Relaxing full-codebook security: A refined analysis of key-length extension schemes","status":"public","oa_version":"Submitted Version"},{"scopus_import":1,"day":"01","month":"06","page":"42 - 46","project":[{"name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","citation":{"chicago":"Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.","short":"S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.","mla":"Bogomolov, Sergiy, et al. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. AAAI Press, 2015, pp. 42–46.","ieee":"S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46.","apa":"Bogomolov, S., Magazzeni, D., Minopoli, S., & Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.","ista":"Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. 2015. PDDL+ planning with hybrid automata: Foundations of translating must behavior. ICAPS: International Conference on Automated Planning and Scheduling, 42–46.","ama":"Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. PDDL+ planning with hybrid automata: Foundations of translating must behavior. In: AAAI Press; 2015:42-46."},"main_file_link":[{"url":"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10606/10394"}],"language":[{"iso":"eng"}],"date_published":"2015-06-01T00:00:00Z","conference":{"end_date":"2015-06-11","location":"Jerusalem, Israel","start_date":"2015-06-07","name":"ICAPS: International Conference on Automated Planning and Scheduling"},"type":"conference","ec_funded":1,"publist_id":"5479","abstract":[{"text":"Planning in hybrid domains poses a special challenge due to the involved mixed discrete-continuous dynamics. A recent solving approach for such domains is based on applying model checking techniques on a translation of PDDL+ planning problems to hybrid automata. However, the proposed translation is limited because must behavior is only overapproximated, and hence, processes and events are not reflected exactly. In this paper, we present the theoretical foundation of an exact PDDL+ translation. We propose a schema to convert a hybrid automaton with must transitions into an equivalent hybrid automaton featuring only may transitions.","lang":"eng"}],"publisher":"AAAI Press","department":[{"_id":"ToHe"}],"publication_status":"published","title":"PDDL+ planning with hybrid automata: Foundations of translating must behavior","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"1670","year":"2015","acknowledgement":"This work was partly supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS, http://www.avacs.org/), by the European Research Council (ERC) under grant 267989 (QUAREM), by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), and by the Swiss National Science Foundation (SNSF) as part of the project “Automated Reformulation and Pruning in Factored State Spaces (ARAP)”.","oa_version":"None","date_created":"2018-12-11T11:53:23Z","date_updated":"2021-01-12T06:52:25Z","author":[{"id":"369D9A44-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0686-0365","first_name":"Sergiy","last_name":"Bogomolov","full_name":"Bogomolov, Sergiy"},{"full_name":"Magazzeni, Daniele","first_name":"Daniele","last_name":"Magazzeni"},{"full_name":"Minopoli, Stefano","first_name":"Stefano","last_name":"Minopoli"},{"last_name":"Wehrle","first_name":"Martin","full_name":"Wehrle, Martin"}]}]