[{"volume":2,"page":"12317 - 12322","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","intvolume":"         2","_id":"355","year":"2014","publication_status":"published","acknowledgement":"The research was supported by the European Regional Development\r\nFunds (ERDF, “FEDER Programa Competitivitat de\r\nCatalunya 2007-2013”) and the Framework 7 program under\r\nproject SCALENANO (FP7-NMP-ENERGY-2011-284486).","status":"public","issue":"31","article_type":"original","day":"21","citation":{"ama":"Yu X, An X, Shavel A, Ibáñez M, Cabot A. The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. <i>Journal of Materials Chemistry A</i>. 2014;2(31):12317-12322. doi:<a href=\"https://doi.org/10.1039/c4ta01315h\">10.1039/c4ta01315h</a>","mla":"Yu, Xuelian, et al. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGaxS2 Nanocrystals.” <i>Journal of Materials Chemistry A</i>, vol. 2, no. 31, Royal Society of Chemistry, 2014, pp. 12317–22, doi:<a href=\"https://doi.org/10.1039/c4ta01315h\">10.1039/c4ta01315h</a>.","short":"X. Yu, X. An, A. Shavel, M. Ibáñez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.","ista":"Yu X, An X, Shavel A, Ibáñez M, Cabot A. 2014. The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. Journal of Materials Chemistry A. 2(31), 12317–12322.","chicago":"Yu, Xuelian, Xiaoqiang An, Alexey Shavel, Maria Ibáñez, and Andreu Cabot. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGaxS2 Nanocrystals.” <i>Journal of Materials Chemistry A</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c4ta01315h\">https://doi.org/10.1039/c4ta01315h</a>.","ieee":"X. Yu, X. An, A. Shavel, M. Ibáñez, and A. Cabot, “The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals,” <i>Journal of Materials Chemistry A</i>, vol. 2, no. 31. Royal Society of Chemistry, pp. 12317–12322, 2014.","apa":"Yu, X., An, X., Shavel, A., Ibáñez, M., &#38; Cabot, A. (2014). The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. <i>Journal of Materials Chemistry A</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c4ta01315h\">https://doi.org/10.1039/c4ta01315h</a>"},"month":"08","language":[{"iso":"eng"}],"publication":"Journal of Materials Chemistry A","title":"The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals","publisher":"Royal Society of Chemistry","date_created":"2018-12-11T11:45:59Z","oa_version":"None","publist_id":"7471","date_published":"2014-08-21T00:00:00Z","author":[{"first_name":"Xuelian","last_name":"Yu","full_name":"Yu, Xuelian"},{"full_name":"An, Xiaoqiang","first_name":"Xiaoqiang","last_name":"An"},{"full_name":"Shavel, Alexey","first_name":"Alexey","last_name":"Shavel"},{"last_name":"Ibáñez","orcid":"0000-0001-5013-2843","first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria"},{"first_name":"Andreu","last_name":"Cabot","full_name":"Cabot, Andreu"}],"article_processing_charge":"No","date_updated":"2021-01-12T07:44:14Z","doi":"10.1039/c4ta01315h","abstract":[{"lang":"eng","text":"We report on the photocatalytic hydrogen evolution under full-arc light irradiation of CuIn1-xGaxS2 wurtzite nanocrystals in the presence of SO3 2- and S2- as sacrificial reagents. We analyzed the hydrogen generation rate as a function of the Ga content and associated it with the energy band positions. For photocatalytic water splitting, the CuInS2 bandgap is slightly too low to efficiently overcome the reaction over-potential. The presence of Ga shifts up the CuInS2 conduction band edge providing a larger driving force for photogenerated carriers to activate the water splitting reduction reaction. The larger the Ga content, the more energetically favorable the electron injection, and thus a more efficient use of the photogenerated carriers is reached. However, the band gap increase associated with the Ga incorporation reduces the concentration of photogenerated carriers available for water splitting, and consequently a lower hydrogen conversion rate is obtained for very high Ga contents. The optimum Ga concentration was experimentally found at CuIn0.3Ga0.7S2. "}],"extern":"1","quality_controlled":"1"},{"doi":"10.1021/ja502076b","date_updated":"2021-01-12T07:44:18Z","article_processing_charge":"No","date_published":"2014-07-02T00:00:00Z","author":[{"full_name":"Yu, Xuelian","first_name":"Xuelian","last_name":"Yu"},{"last_name":"Shavel","first_name":"Alexey","full_name":"Shavel, Alexey"},{"first_name":"Xiaoqiang","last_name":"An","full_name":"An, Xiaoqiang"},{"last_name":"Luo","first_name":"Zhishan","full_name":"Luo, Zhishan"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria","last_name":"Ibáñez","orcid":"0000-0001-5013-2843","first_name":"Maria"},{"first_name":"Andreu","last_name":"Cabot","full_name":"Cabot, Andreu"}],"quality_controlled":"1","extern":"1","abstract":[{"lang":"eng","text":"Cu2ZnSnS4, based on abundant and environmental friendly elements and with a direct band gap of 1.5 eV, is a main candidate material for solar energy conversion through both photovoltaics and photocatalysis. We detail here the synthesis of quasi-spherical Cu 2ZnSnS4 nanoparticles with unprecedented narrow size distributions. We further detail their use as seeds to produce CZTS-Au and CZTS-Pt heterostructured nanoparticles. Such heterostructured nanoparticles are shown to have excellent photocatalytic properties toward degradation of Rhodamine B and hydrogen generation by water splitting."}],"publisher":"American Chemical Society","title":"Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation","publication":"Journal of the American Chemical Society","publist_id":"7472","oa_version":"None","date_created":"2018-12-11T11:46:00Z","day":"02","article_type":"original","issue":"26","status":"public","acknowledgement":"This work was supported by the European Regional Development Funds and the Framework 7 program under project SCALENANO (FP7-NMP-ENERGY-2011-284486).","language":[{"iso":"eng"}],"month":"07","citation":{"ama":"Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. <i>Journal of the American Chemical Society</i>. 2014;136(26):9236-9239. doi:<a href=\"https://doi.org/10.1021/ja502076b\">10.1021/ja502076b</a>","mla":"Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 26, American Chemical Society, 2014, pp. 9236–39, doi:<a href=\"https://doi.org/10.1021/ja502076b\">10.1021/ja502076b</a>.","ista":"Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. Journal of the American Chemical Society. 136(26), 9236–9239.","short":"X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.","ieee":"X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 26. American Chemical Society, pp. 9236–9239, 2014.","chicago":"Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/ja502076b\">https://doi.org/10.1021/ja502076b</a>.","apa":"Yu, X., Shavel, A., An, X., Luo, Z., Ibáñez, M., &#38; Cabot, A. (2014). Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja502076b\">https://doi.org/10.1021/ja502076b</a>"},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"9236 - 9239","volume":136,"publication_status":"published","year":"2014","_id":"356","intvolume":"       136"},{"year":"2014","publication_status":"published","intvolume":"        16","_id":"357","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":16,"page":"4120 - 4125","month":"05","language":[{"iso":"eng"}],"citation":{"apa":"Fairbrother, A., Izquierdo Roca, V., Fontané, X., Ibáñez, M., Cabot, A., Saucedo, E., &#38; Pérez Rodríguez, A. (2014). ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. <i>CrystEngComm</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c3ce42578a\">https://doi.org/10.1039/c3ce42578a</a>","chicago":"Fairbrother, Andrew, Victor Izquierdo Roca, Xavier Fontané, Maria Ibáñez, Andreu Cabot, Edgardo Saucedo, and Alejandro Pérez Rodríguez. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.” <i>CrystEngComm</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c3ce42578a\">https://doi.org/10.1039/c3ce42578a</a>.","ieee":"A. Fairbrother <i>et al.</i>, “ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation,” <i>CrystEngComm</i>, vol. 16, no. 20. Royal Society of Chemistry, pp. 4120–4125, 2014.","ista":"Fairbrother A, Izquierdo Roca V, Fontané X, Ibáñez M, Cabot A, Saucedo E, Pérez Rodríguez A. 2014. ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. CrystEngComm. 16(20), 4120–4125.","short":"A. Fairbrother, V. Izquierdo Roca, X. Fontané, M. Ibáñez, A. Cabot, E. Saucedo, A. Pérez Rodríguez, CrystEngComm 16 (2014) 4120–4125.","mla":"Fairbrother, Andrew, et al. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.” <i>CrystEngComm</i>, vol. 16, no. 20, Royal Society of Chemistry, 2014, pp. 4120–25, doi:<a href=\"https://doi.org/10.1039/c3ce42578a\">10.1039/c3ce42578a</a>.","ama":"Fairbrother A, Izquierdo Roca V, Fontané X, et al. ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. <i>CrystEngComm</i>. 2014;16(20):4120-4125. doi:<a href=\"https://doi.org/10.1039/c3ce42578a\">10.1039/c3ce42578a</a>"},"issue":"20","article_type":"original","day":"28","acknowledgement":"This research was supported by the People Programme\r\n(Marie Curie Actions) of the European Union's Seventh Framework\r\nProgramme under REA grant agreement number 269167\r\n(PVICOKEST) and the Spanish Ministerio de Economía y\r\nCompetividad (MINECO) under KEST-PV (ref. ENE2010-\r\n121541-C03-01/02). Authors from IREC belong to the M-2E\r\n(Electronic Materials for Energy) Consolidated Research\r\nGroup and the XaRMAE Network of Excellence on Materials\r\nfor Energy of the “Generalitat de Catalunya”. A. Fairbrother\r\nthanks the MINECO for support via the FPU program\r\n(FPU12/05508), V. Izquierdo for the Juan de la Cierva program\r\n(JCI-2011-10782), and E. Saucedo for the Ramón y Cajal\r\nprogram (RYC-2011-09212).","status":"public","publist_id":"7473","date_created":"2018-12-11T11:46:00Z","oa_version":"None","publisher":"Royal Society of Chemistry","publication":"CrystEngComm","title":"ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation","quality_controlled":"1","extern":"1","abstract":[{"text":"Near-resonant Raman scattering measurements of zinc sulfide nanoparticles and thin films have been made and correlated to grain and particle size, respectively, using a 325 nm wavelength excitation source. The area ratios between the first, second, and third order peaks of ZnS identified as the T 2(LO) mode decrease with increasing ZnS grain size. This is an effect attributed to changes in the bandgap energy from quantum confinement due to the varying grain size between the films/particles, as noted by a shift in the room temperature photoluminescence emission corresponding to the free exciton emission energy. While Raman scattering spectroscopy is typically limited to identification of phases and their crystalline properties, it is possible to attain more than such straightforward information by calibrating the spectral features to variations between sets of samples. These results open the possibility of making a quantitative grain size estimation in ZnS thin films and nanostructures, as well as in other material systems where ZnS may be expected as a secondary phase, such as Cu2ZnSnS4. Additionally, more commonly used excitation wavelengths for Raman scattering, such as 514 and 532 nm, are shown to be of limited use in characterizing ZnS thin films due to the extremely low Raman scattering efficiency of ZnS in films with sub-micron thicknesses. ","lang":"eng"}],"article_processing_charge":"No","doi":"10.1039/c3ce42578a","date_updated":"2021-01-12T07:44:22Z","author":[{"last_name":"Fairbrother","first_name":"Andrew","full_name":"Fairbrother, Andrew"},{"last_name":"Izquierdo Roca","first_name":"Victor","full_name":"Izquierdo Roca, Victor"},{"first_name":"Xavier","last_name":"Fontané","full_name":"Fontané, Xavier"},{"full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","last_name":"Ibáñez","orcid":"0000-0001-5013-2843"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"},{"last_name":"Saucedo","first_name":"Edgardo","full_name":"Saucedo, Edgardo"},{"full_name":"Pérez Rodríguez, Alejandro","first_name":"Alejandro","last_name":"Pérez Rodríguez"}],"date_published":"2014-05-28T00:00:00Z"},{"publisher":"Wiley-Blackwell","publication":"ChemElectroChem","title":"In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles","publist_id":"7474","date_created":"2018-12-11T11:46:00Z","oa_version":"None","article_processing_charge":"No","date_updated":"2021-01-12T07:44:26Z","doi":"10.1002/celc.201300254","date_published":"2014-03-03T00:00:00Z","author":[{"last_name":"Herranz","first_name":"Tirma","full_name":"Herranz, Tirma"},{"first_name":"Maria","last_name":"Ibáñez","orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"first_name":"José","last_name":"Gómez De La Fuente","full_name":"Gómez De La Fuente, José"},{"last_name":"Pérez Alonso","first_name":"Francisco","full_name":"Pérez Alonso, Francisco"},{"first_name":"Miguel","last_name":"Peña","full_name":"Peña, Miguel"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"},{"full_name":"Rojas, Sergio","first_name":"Sergio","last_name":"Rojas"}],"extern":"1","quality_controlled":"1","abstract":[{"text":"Monodispersed Pt3Sn nanoparticles were prepared through a mild thermal synthesis in the presence of surfactants. The performance of Pt3Sn for the electrooxidation of ethanol and adsorbed carbon monoxide (COad) in acid medium was studied by a combination of electrochemical and insitu spectroscopic methods, namely, infrared reflection absorption spectroscopy and differential electrochemical mass spectrometry (DEMS), and the results were compared to those obtained with the use of Pt black. The formation of the Pt3Sn solid solution promoted the oxidation of COad at less-positive potentials than those required for Pt black. Also, the electrooxidation of ethanol, especially at lower potentials, was more favorable with Pt3Sn, as deduced from the higher faradaic currents recorded during the ethanol oxidation reaction (EOR). However, the distribution of products as deduced by DEMS analysis suggested that the formation of C1 products, CO2 inclusive, is less significant on Pt3Sn than on Pt. In fact, the higher faradaic current recorded with the former catalyst can be attributed to the greater amounts of acetaldehyde and acetic acid formed. After the EOR, the surface of both Pt and Pt3Sn remained covered by ethanol adsorbates. Whereas C2 fragments were the main adsorbates at the surface of Pt3Sn after the EOR, both C1 and C2 species remained adsorbed at Pt black.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":1,"page":"885 - 895","year":"2014","publication_status":"published","intvolume":"         1","_id":"358","issue":"5","day":"03","article_type":"original","status":"public","acknowledgement":"The Spanish Ministry of Science and Innovation (Project ENE2010–15381) and the CSIC (Project 201080E116) are acknowledged for financial support.","month":"03","language":[{"iso":"eng"}],"citation":{"apa":"Herranz, T., Ibáñez, M., Gómez De La Fuente, J., Pérez Alonso, F., Peña, M., Cabot, A., &#38; Rojas, S. (2014). In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. <i>ChemElectroChem</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/celc.201300254\">https://doi.org/10.1002/celc.201300254</a>","chicago":"Herranz, Tirma, Maria Ibáñez, José Gómez De La Fuente, Francisco Pérez Alonso, Miguel Peña, Andreu Cabot, and Sergio Rojas. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.” <i>ChemElectroChem</i>. Wiley-Blackwell, 2014. <a href=\"https://doi.org/10.1002/celc.201300254\">https://doi.org/10.1002/celc.201300254</a>.","ieee":"T. Herranz <i>et al.</i>, “In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles,” <i>ChemElectroChem</i>, vol. 1, no. 5. Wiley-Blackwell, pp. 885–895, 2014.","short":"T. Herranz, M. Ibáñez, J. Gómez De La Fuente, F. Pérez Alonso, M. Peña, A. Cabot, S. Rojas, ChemElectroChem 1 (2014) 885–895.","ista":"Herranz T, Ibáñez M, Gómez De La Fuente J, Pérez Alonso F, Peña M, Cabot A, Rojas S. 2014. In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem. 1(5), 885–895.","mla":"Herranz, Tirma, et al. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.” <i>ChemElectroChem</i>, vol. 1, no. 5, Wiley-Blackwell, 2014, pp. 885–95, doi:<a href=\"https://doi.org/10.1002/celc.201300254\">10.1002/celc.201300254</a>.","ama":"Herranz T, Ibáñez M, Gómez De La Fuente J, et al. In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. <i>ChemElectroChem</i>. 2014;1(5):885-895. doi:<a href=\"https://doi.org/10.1002/celc.201300254\">10.1002/celc.201300254</a>"}},{"date_updated":"2021-01-12T07:44:30Z","doi":"10.1021/nn405747h","article_processing_charge":"No","date_published":"2014-03-25T00:00:00Z","author":[{"first_name":"Reza","last_name":"Zamani","full_name":"Zamani, Reza"},{"first_name":"Maria","orcid":"0000-0001-5013-2843","last_name":"Ibáñez","full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Luysberg","first_name":"Martina","full_name":"Luysberg, Martina"},{"full_name":"García Castelló, Nuria","first_name":"Nuria","last_name":"García Castelló"},{"full_name":"Houben, Lothar","first_name":"Lothar","last_name":"Houben"},{"full_name":"Prades, Joan","first_name":"Joan","last_name":"Prades"},{"last_name":"Grillo","first_name":"Vincenzo","full_name":"Grillo, Vincenzo"},{"full_name":"Dunin Borkowski, Rafal","first_name":"Rafal","last_name":"Dunin Borkowski"},{"full_name":"Morante, Joan","last_name":"Morante","first_name":"Joan"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"},{"full_name":"Arbiol, Jordi","first_name":"Jordi","last_name":"Arbiol"}],"quality_controlled":"1","extern":"1","abstract":[{"lang":"eng","text":"An appropriate way of realizing property nanoengineering in complex quaternary chalcogenide nanocrystals is presented for Cu2Cd xSnSey(CCTSe) polypods. The pivotal role of the polarity in determining morphology, growth, and the polytypic branching mechanism is demonstrated. Polarity is considered to be responsible for the formation of an initial seed that takes the form of a tetrahedron with four cation-polar facets. Size and shape confinement of the intermediate pentatetrahedral seed is also attributed to polarity, as their external facets are anion-polar. The final polypod extensions also branch out as a result of a cation-polarity-driven mechanism. Aberration-corrected scanning transmission electron microscopy is used to identify stannite cation ordering, while ab initio studies are used to show the influence of cation ordering/distortion, stoichiometry, and polytypic structural change on the electronic band structure."}],"publisher":"American Chemical Society","title":"Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures","publication":"ACS Nano","publist_id":"7475","oa_version":"None","date_created":"2018-12-11T11:46:01Z","article_type":"original","day":"25","issue":"3","status":"public","acknowledgement":"The research leading to these results has received funding from the European Union Seventh Framework Programme under grant agreement 312483-ESTEEM2 (Integrated Infrastructure InitiativeI3) for using advance electron microscopes at ER-C Jülich. J.A. acknowledges the funding from the Spanish MICINN project MAT2010-15138 (COPEON) and Generalitat de Catalunya 2009 SGR 770. R.R.Z. acknowledges the former. The authors would also like to thank the TEM facilities in Serveis Cientificotecnics from Universitat de Barcelona. N.G.-C. acknowledges the Spanish MECD for her Ph.D. grant in the FPU program. JR and RZ acknowledge funding from MULTICAT and NANOENESTO projects.","language":[{"iso":"eng"}],"month":"03","citation":{"short":"R. Zamani, M. Ibáñez, M. Luysberg, N. García Castelló, L. Houben, J. Prades, V. Grillo, R. Dunin Borkowski, J. Morante, A. Cabot, J. Arbiol, ACS Nano 8 (2014) 2290–2301.","ista":"Zamani R, Ibáñez M, Luysberg M, García Castelló N, Houben L, Prades J, Grillo V, Dunin Borkowski R, Morante J, Cabot A, Arbiol J. 2014. Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. 8(3), 2290–2301.","mla":"Zamani, Reza, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.” <i>ACS Nano</i>, vol. 8, no. 3, American Chemical Society, 2014, pp. 2290–301, doi:<a href=\"https://doi.org/10.1021/nn405747h\">10.1021/nn405747h</a>.","ama":"Zamani R, Ibáñez M, Luysberg M, et al. Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. <i>ACS Nano</i>. 2014;8(3):2290-2301. doi:<a href=\"https://doi.org/10.1021/nn405747h\">10.1021/nn405747h</a>","apa":"Zamani, R., Ibáñez, M., Luysberg, M., García Castelló, N., Houben, L., Prades, J., … Arbiol, J. (2014). Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. <i>ACS Nano</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/nn405747h\">https://doi.org/10.1021/nn405747h</a>","chicago":"Zamani, Reza, Maria Ibáñez, Martina Luysberg, Nuria García Castelló, Lothar Houben, Joan Prades, Vincenzo Grillo, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.” <i>ACS Nano</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/nn405747h\">https://doi.org/10.1021/nn405747h</a>.","ieee":"R. Zamani <i>et al.</i>, “Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures,” <i>ACS Nano</i>, vol. 8, no. 3. American Chemical Society, pp. 2290–2301, 2014."},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"2290 - 2301","volume":8,"publication_status":"published","year":"2014","_id":"359","intvolume":"         8"},{"acknowledgement":"This research was partially supported from Fundo Europeu de Desenvolvimento Regional (FEDER) through COMPETE – Programa Operacional Factores de Compe titividade (POFC) and from the Portuguese national funds through Fundacaoparaa Ciencia e a Tecnologia (FCT) in the framework of the research project FCOMP-01-0124-FEDER-010645(ref. FCT PTDC/MAT/098871/2008), as well as from the funds distributed through the European Science Foundation (ESF) Research Networking Programme on “Applied and Computational Algebraic Topology” (ACAT). P.Real was additionally supported by the Spanish Ministry of Science and Innovation, project no. MTM2009-12716. ","status":"public","oa":1,"day":"01","issue":"1","citation":{"apa":"Pilarczyk, P., &#38; Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. <i>Advances in Computational Mathematics</i>. Kluwer. <a href=\"https://doi.org/10.1007/s10444-014-9356-1\">https://doi.org/10.1007/s10444-014-9356-1</a>","chicago":"Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” <i>Advances in Computational Mathematics</i>. Kluwer, 2014. <a href=\"https://doi.org/10.1007/s10444-014-9356-1\">https://doi.org/10.1007/s10444-014-9356-1</a>.","ieee":"P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and (co)homological operations via chain contraction,” <i>Advances in Computational Mathematics</i>, vol. 41, no. 1. Kluwer, pp. 253–275, 2014.","mla":"Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” <i>Advances in Computational Mathematics</i>, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:<a href=\"https://doi.org/10.1007/s10444-014-9356-1\">10.1007/s10444-014-9356-1</a>.","ista":"Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 41(1), 253–275.","short":"P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.","ama":"Pilarczyk P, Real P. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. <i>Advances in Computational Mathematics</i>. 2014;41(1):253-275. doi:<a href=\"https://doi.org/10.1007/s10444-014-9356-1\">10.1007/s10444-014-9356-1</a>"},"month":"01","page":"253 - 275","volume":41,"type":"journal_article","_id":"451","intvolume":"        41","main_file_link":[{"url":"https://idus.us.es/xmlui/handle/11441/38719","open_access":"1"}],"publication_status":"published","year":"2014","date_published":"2014-01-01T00:00:00Z","author":[{"id":"3768D56A-F248-11E8-B48F-1D18A9856A87","full_name":"Pawel Pilarczyk","last_name":"Pilarczyk","first_name":"Pawel"},{"first_name":"Pedro","last_name":"Real","full_name":"Real, Pedro"}],"doi":"10.1007/s10444-014-9356-1","date_updated":"2021-01-12T07:59:20Z","abstract":[{"lang":"eng","text":"We introduce algorithms for the computation of homology, cohomology, and related operations on cubical cell complexes, using the technique based on a chain contraction from the original chain complex to a reduced one that represents its homology. This work is based on previous results for simplicial complexes, and uses Serre’s diagonalization for cubical cells. An implementation in C++ of the introduced algorithms is available at http://www.pawelpilarczyk.com/chaincon/ together with some examples. The paper is self-contained as much as possible, and is written at a very elementary level, so that basic knowledge of algebraic topology should be sufficient to follow it."}],"quality_controlled":0,"extern":1,"title":"Computation of cubical homology, cohomology, and (co)homological operations via chain contraction","publication":"Advances in Computational Mathematics","publisher":"Kluwer","date_created":"2018-12-11T11:46:33Z","publist_id":"7371"},{"publication":"New Phytologist","title":"Defining the selectivity of processes along the auxin response chain: A study using auxin analogues","department":[{"_id":"JiFr"}],"publisher":"Wiley","ec_funded":1,"date_created":"2018-12-11T11:57:41Z","oa_version":"Published Version","publist_id":"4460","abstract":[{"text":"The mode of action of auxin is based on its non-uniform distribution within tissues and organs. Despite the wide use of several auxin analogues in research and agriculture, little is known about the specificity of different auxin-related transport and signalling processes towards these compounds. Using seedlings of Arabidopsis thaliana and suspension-cultured cells of Nicotiana tabacum (BY-2), the physiological activity of several auxin analogues was investigated, together with their capacity to induce auxin-dependent gene expression, to inhibit endocytosis and to be transported across the plasma membrane. This study shows that the specificity criteria for different auxin-related processes vary widely. Notably, the special behaviour of some synthetic auxin analogues suggests that they might be useful tools in investigations of the molecular mechanism of auxin action. Thus, due to their differential stimulatory effects on DR5 expression, indole-3-propionic (IPA) and 2,4,5-trichlorophenoxy acetic (2,4,5-T) acids can serve in studies of TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALLING F-BOX (TIR1/AFB)-mediated auxin signalling, and 5-fluoroindole-3-acetic acid (5-F-IAA) can help to discriminate between transcriptional and non-transcriptional pathways of auxin signalling. The results demonstrate that the major determinants for the auxin-like physiological potential of a particular compound are very complex and involve its chemical and metabolic stability, its ability to distribute in tissues in a polar manner and its activity towards auxin signalling machinery.","lang":"eng"}],"volume":200,"page":"1034 - 1048","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","_id":"2443","year":"2013","status":"public","acknowledgement":"The authors thank Dr Christian Luschnig (University of Natural Resources and Life Sciences (BOKU), Vienna, Austria) for the anti-PIN2 antibody, Professor Mark Estelle (University of California, San Diego, CA, USA) for tir1-1 mutant seeds and, last but not least, to Dr David Morris for critical reading of the manuscript. We also thank Markéta Pařezová and Jana Stýblová for excellent technical assistance. This work was supported by the Grant Agency of the Czech Republic (P305/11/0797 to E.Z. and 13-40637S to J.F.), the Central European Institute of Technology project CZ.1.05/1.1.00/02.0068 from the European Regional Development Fund and by a European Research Council starting independent research grant ERC-2011-StG-20101109-PSDP (to J.F.).","oa":1,"issue":"4","article_type":"original","citation":{"ama":"Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. <i>New Phytologist</i>. 2013;200(4):1034-1048. doi:<a href=\"https://doi.org/10.1111/nph.12437\">10.1111/nph.12437</a>","ista":"Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.","mla":"Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” <i>New Phytologist</i>, vol. 200, no. 4, Wiley, 2013, pp. 1034–48, doi:<a href=\"https://doi.org/10.1111/nph.12437\">10.1111/nph.12437</a>.","short":"S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.","chicago":"Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” <i>New Phytologist</i>. Wiley, 2013. <a href=\"https://doi.org/10.1111/nph.12437\">https://doi.org/10.1111/nph.12437</a>.","ieee":"S. Simon <i>et al.</i>, “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” <i>New Phytologist</i>, vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.","apa":"Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. <i>New Phytologist</i>. Wiley. <a href=\"https://doi.org/10.1111/nph.12437\">https://doi.org/10.1111/nph.12437</a>"},"author":[{"orcid":"0000-0002-1998-6741","last_name":"Simon","first_name":"Sibu","id":"4542EF9A-F248-11E8-B48F-1D18A9856A87","full_name":"Simon, Sibu"},{"last_name":"Kubeš","first_name":"Martin","full_name":"Kubeš, Martin"},{"last_name":"Baster","first_name":"Pawel","id":"3028BD74-F248-11E8-B48F-1D18A9856A87","full_name":"Baster, Pawel"},{"first_name":"Stéphanie","last_name":"Robert","full_name":"Robert, Stéphanie"},{"full_name":"Dobrev, Petre","first_name":"Petre","last_name":"Dobrev"},{"full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596"},{"last_name":"Petrášek","first_name":"Jan","full_name":"Petrášek, Jan"},{"last_name":"Zažímalová","first_name":"Eva","full_name":"Zažímalová, Eva"}],"date_published":"2013-12-01T00:00:00Z","article_processing_charge":"No","date_updated":"2025-05-07T11:12:32Z","doi":"10.1111/nph.12437","scopus_import":"1","quality_controlled":"1","intvolume":"       200","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/nph.12437"}],"publication_status":"published","day":"01","month":"12","language":[{"iso":"eng"}],"project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","grant_number":"282300","name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7"}]},{"publist_id":"4459","oa_version":"Preprint","date_created":"2018-12-11T11:57:42Z","ec_funded":1,"publisher":"Springer","department":[{"_id":"KrCh"}],"title":"Faster algorithms for Markov decision processes with low treewidth","series_title":"Lecture Notes in Computer Science","abstract":[{"text":"We consider two core algorithmic problems for probabilistic verification: the maximal end-component decomposition and the almost-sure reachability set computation for Markov decision processes (MDPs). For MDPs with treewidth k, we present two improved static algorithms for both the problems that run in time O(n·k 2.38·2k ) and O(m·logn· k), respectively, where n is the number of states and m is the number of edges, significantly improving the previous known O(n·k·√n· k) bound for low treewidth. We also present decremental algorithms for both problems for MDPs with constant treewidth that run in amortized logarithmic time, which is a huge improvement over the previously known algorithms that require amortized linear time.","lang":"eng"}],"arxiv":1,"year":"2013","_id":"2444","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"543 - 558","volume":8044,"citation":{"ista":"Chatterjee K, Ła̧Cki J. 2013. Faster algorithms for Markov decision processes with low treewidth. 8044, 543–558.","mla":"Chatterjee, Krishnendu, and Jakub Ła̧Cki. <i>Faster Algorithms for Markov Decision Processes with Low Treewidth</i>. Vol. 8044, Springer, 2013, pp. 543–58, doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_36\">10.1007/978-3-642-39799-8_36</a>.","short":"K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.","ama":"Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with low treewidth. 2013;8044:543-558. doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_36\">10.1007/978-3-642-39799-8_36</a>","apa":"Chatterjee, K., &#38; Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_36\">https://doi.org/10.1007/978-3-642-39799-8_36</a>","ieee":"K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.","chicago":"Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_36\">https://doi.org/10.1007/978-3-642-39799-8_36</a>."},"external_id":{"arxiv":["1304.0084"]},"oa":1,"status":"public","conference":{"start_date":"2013-07-13","location":"St. Petersburg, Russia","end_date":"2013-07-19","name":"CAV: Computer Aided Verification"},"quality_controlled":"1","scopus_import":1,"alternative_title":["LNCS"],"doi":"10.1007/978-3-642-39799-8_36","date_updated":"2020-08-11T10:09:47Z","date_published":"2013-07-01T00:00:00Z","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jakub","last_name":"Ła̧Cki","full_name":"Ła̧Cki, Jakub"}],"publication_status":"published","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1304.0084"}],"intvolume":"      8044","language":[{"iso":"eng"}],"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"month":"07","day":"01"},{"_id":"2445","year":"2013","has_accepted_license":"1","volume":8044,"page":"951 - 967","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","citation":{"ieee":"P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.","chicago":"Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_68\">https://doi.org/10.1007/978-3-642-39799-8_68</a>.","apa":"Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &#38; Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_68\">https://doi.org/10.1007/978-3-642-39799-8_68</a>","ama":"Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_68\">10.1007/978-3-642-39799-8_68</a>","ista":"Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.","mla":"Cerny, Pavol, et al. <i>Efficient Synthesis for Concurrency by Semantics-Preserving Transformations</i>. Vol. 8044, Springer, 2013, pp. 951–67, doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_68\">10.1007/978-3-642-39799-8_68</a>.","short":"P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967."},"oa":1,"status":"public","date_created":"2018-12-11T11:57:42Z","ec_funded":1,"oa_version":"Submitted Version","publist_id":"4458","title":"Efficient synthesis for concurrency by semantics-preserving transformations","department":[{"_id":"ToHe"}],"publisher":"Springer","abstract":[{"lang":"eng","text":"We develop program synthesis techniques that can help programmers fix concurrency-related bugs. We make two new contributions to synthesis for concurrency, the first improving the efficiency of the synthesized code, and the second improving the efficiency of the synthesis procedure itself. The first contribution is to have the synthesis procedure explore a variety of (sequential) semantics-preserving program transformations. Classically, only one such transformation has been considered, namely, the insertion of synchronization primitives (such as locks). Based on common manual bug-fixing techniques used by Linux device-driver developers, we explore additional, more efficient transformations, such as the reordering of independent instructions. The second contribution is to speed up the counterexample-guided removal of concurrency bugs within the synthesis procedure by considering partial-order traces (instead of linear traces) as counterexamples. A partial-order error trace represents a set of linear (interleaved) traces of a concurrent program all of which lead to the same error. By eliminating a partial-order error trace, we eliminate in a single iteration of the synthesis procedure all linearizations of the partial-order trace. We evaluated our techniques on several simplified examples of real concurrency bugs that occurred in Linux device drivers."}],"intvolume":"      8044","file":[{"file_id":"5158","date_updated":"2020-07-14T12:45:40Z","checksum":"70c70ca5487faba82262c63e1b678a27","file_name":"IST-2014-199-v1+1_cav2013-final.pdf","file_size":365548,"creator":"system","access_level":"open_access","relation":"main_file","date_created":"2018-12-12T10:15:37Z","content_type":"application/pdf"}],"publication_status":"published","month":"07","language":[{"iso":"eng"}],"project":[{"grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"ddc":["000","004"],"day":"01","conference":{"name":"CAV: Computer Aided Verification","end_date":"2013-07-19","location":"St. Petersburg, Russia","start_date":"2013-07-13"},"file_date_updated":"2020-07-14T12:45:40Z","scopus_import":1,"quality_controlled":"1","author":[{"id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","full_name":"Cerny, Pavol","last_name":"Cerny","first_name":"Pavol"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Arjun","last_name":"Radhakrishna","full_name":"Radhakrishna, Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ryzhyk","first_name":"Leonid","full_name":"Ryzhyk, Leonid"},{"full_name":"Tarrach, Thorsten","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87","first_name":"Thorsten","last_name":"Tarrach","orcid":"0000-0003-4409-8487"}],"pubrep_id":"199","date_published":"2013-07-01T00:00:00Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"1130"}]},"alternative_title":["LNCS"],"doi":"10.1007/978-3-642-39799-8_68","date_updated":"2023-09-07T11:57:01Z"},{"language":[{"iso":"eng"}],"project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"month":"07","day":"01","main_file_link":[{"url":"http://arxiv.org/abs/1304.5281","open_access":"1"}],"intvolume":"      8044","publication_status":"published","scopus_import":1,"quality_controlled":"1","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"full_name":"Gaiser, Andreas","last_name":"Gaiser","first_name":"Andreas"},{"full_name":"Kretinsky, Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Kretinsky","orcid":"0000-0002-8122-2881"}],"date_published":"2013-07-01T00:00:00Z","date_updated":"2020-08-11T10:09:47Z","doi":"10.1007/978-3-642-39799-8_37","alternative_title":["LNCS"],"conference":{"end_date":"2013-07-19","name":"CAV: Computer Aided Verification","start_date":"2013-07-13","location":"St. Petersburg, Russia"},"citation":{"ama":"Chatterjee K, Gaiser A, Kretinsky J. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 2013;8044:559-575. doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_37\">10.1007/978-3-642-39799-8_37</a>","short":"K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.","ista":"Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.","mla":"Chatterjee, Krishnendu, et al. <i>Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis</i>. Vol. 8044, Springer, 2013, pp. 559–75, doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_37\">10.1007/978-3-642-39799-8_37</a>.","ieee":"K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.","chicago":"Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture Notes in Computer Science. Springer, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_37\">https://doi.org/10.1007/978-3-642-39799-8_37</a>.","apa":"Chatterjee, K., Gaiser, A., &#38; Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_37\">https://doi.org/10.1007/978-3-642-39799-8_37</a>"},"status":"public","oa":1,"external_id":{"arxiv":["1304.5281"]},"_id":"2446","year":"2013","page":"559 - 575","volume":8044,"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The model-checking problem for probabilistic systems crucially relies on the translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless translation [KE12, GKE12] for the LTL(F,G) fragment produces smaller automata as compared to the traditional approach. In this work, instead of DRW we consider deterministic automata with acceptance condition given as disjunction of generalized Rabin pairs (DGRW). The Safraless translation of LTL(F,G) formulas to DGRW results in smaller automata as compared to DRW. We present algorithms for probabilistic model-checking as well as game solving for DGRW conditions. Our new algorithms lead to improvement both in terms of theoretical bounds as well as practical evaluation. We compare PRISM with and without our new translation, and show that the new translation leads to significant improvements."}],"series_title":"Lecture Notes in Computer Science","arxiv":1,"oa_version":"Preprint","date_created":"2018-12-11T11:57:42Z","ec_funded":1,"publist_id":"4457","department":[{"_id":"KrCh"}],"title":"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis","publisher":"Springer"},{"day":"01","ddc":["000"],"language":[{"iso":"eng"}],"month":"07","publication_status":"published","file":[{"date_updated":"2020-07-14T12:45:41Z","file_id":"7859","file_size":309182,"file_name":"2013_CAV_Piskac.pdf","checksum":"2e866932ab688f47ecd504acb4d5c7d4","relation":"main_file","access_level":"open_access","creator":"dernst","content_type":"application/pdf","date_created":"2020-05-15T11:13:01Z"}],"intvolume":"      8044","alternative_title":["LNCS"],"date_updated":"2020-08-11T10:09:47Z","doi":"10.1007/978-3-642-39799-8_54","article_processing_charge":"No","date_published":"2013-07-01T00:00:00Z","author":[{"first_name":"Ruzica","last_name":"Piskac","full_name":"Piskac, Ruzica"},{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Wies, Thomas","last_name":"Wies","first_name":"Thomas"},{"first_name":"Damien","last_name":"Zufferey","orcid":"0000-0002-3197-8736","full_name":"Zufferey, Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","scopus_import":1,"file_date_updated":"2020-07-14T12:45:41Z","conference":{"location":"St. Petersburg, Russia","start_date":"2013-07-13","name":"CAV: Computer Aided Verification","end_date":"2013-07-19"},"oa":1,"status":"public","citation":{"ieee":"R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.","chicago":"Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_54\">https://doi.org/10.1007/978-3-642-39799-8_54</a>.","apa":"Piskac, R., Wies, T., &#38; Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_54\">https://doi.org/10.1007/978-3-642-39799-8_54</a>","ama":"Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_54\">10.1007/978-3-642-39799-8_54</a>","ista":"Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.","short":"R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.","mla":"Piskac, Ruzica, et al. <i>Automating Separation Logic Using SMT</i>. Vol. 8044, Springer, 2013, pp. 773–89, doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_54\">10.1007/978-3-642-39799-8_54</a>."},"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"773 - 789","volume":8044,"year":"2013","has_accepted_license":"1","_id":"2447","series_title":"Lecture Notes in Computer Science","abstract":[{"lang":"eng","text":"Separation logic (SL) has gained widespread popularity because of its ability to succinctly express complex invariants of a program’s heap configurations. Several specialized provers have been developed for decidable SL fragments. However, these provers cannot be easily extended or combined with solvers for other theories that are important in program verification, e.g., linear arithmetic. In this paper, we present a reduction of decidable SL fragments to a decidable first-order theory that fits well into the satisfiability modulo theories (SMT) framework. We show how to use this reduction to automate satisfiability, entailment, frame inference, and abduction problems for separation logic using SMT solvers. Our approach provides a simple method of integrating separation logic into existing verification tools that provide SMT backends, and an elegant way of combining SL fragments with other decidable first-order theories. We implemented this approach in a verification tool and applied it to heap-manipulating programs whose verification involves reasoning in theory combinations.\r\n"}],"publisher":"Springer","department":[{"_id":"ToHe"}],"title":"Automating separation logic using SMT","publist_id":"4456","oa_version":"Submitted Version","date_created":"2018-12-11T11:57:43Z"},{"citation":{"apa":"Remy, E., Baster, P., Friml, J., &#38; Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. <i>Plant Signaling &#38; Behavior</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.4161/psb.25688\">https://doi.org/10.4161/psb.25688</a>","ieee":"E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip,” <i>Plant Signaling &#38; Behavior</i>, vol. 8, no. 10. Taylor &#38; Francis, 2013.","chicago":"Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” <i>Plant Signaling &#38; Behavior</i>. Taylor &#38; Francis, 2013. <a href=\"https://doi.org/10.4161/psb.25688\">https://doi.org/10.4161/psb.25688</a>.","short":"E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling &#38; Behavior 8 (2013).","mla":"Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” <i>Plant Signaling &#38; Behavior</i>, vol. 8, no. 10, e25688, Taylor &#38; Francis, 2013, doi:<a href=\"https://doi.org/10.4161/psb.25688\">10.4161/psb.25688</a>.","ista":"Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &#38; Behavior. 8(10), e25688.","ama":"Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. <i>Plant Signaling &#38; Behavior</i>. 2013;8(10). doi:<a href=\"https://doi.org/10.4161/psb.25688\">10.4161/psb.25688</a>"},"status":"public","oa":1,"issue":"10","external_id":{"pmid":["23857365"]},"article_type":"original","_id":"2448","year":"2013","volume":8,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","abstract":[{"lang":"eng","text":"Cell-to-cell directional flow of the phytohormone auxin is primarily established by polar localization of the PIN auxin transporters, a process tightly regulated at multiple levels by auxin itself. We recently reported that, in the context of strong auxin flows, activity of the vacuolar ZIFL1.1 transporter is required for fine-tuning of polar auxin transport rates in the Arabidopsis root. In particular, ZIFL1.1 function protects plasma-membrane stability of the PIN2 carrier in epidermal root tip cells under conditions normally triggering PIN2 degradation. Here, we show that ZIFL1.1 activity at the root tip also promotes PIN1 plasma-membrane abundance in central cylinder cells, thus supporting the notion that ZIFL1.1 acts as a general positive modulator of polar auxin transport in roots."}],"date_created":"2018-12-11T11:57:43Z","ec_funded":1,"oa_version":"Submitted Version","publist_id":"4455","publication":"Plant Signaling & Behavior","title":"ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip","department":[{"_id":"JiFr"}],"publisher":"Taylor & Francis","month":"07","language":[{"iso":"eng"}],"project":[{"call_identifier":"FP7","name":"Polarity and subcellular dynamics in plants","grant_number":"282300","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"pmid":1,"day":"10","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4091088/"}],"intvolume":"         8","publication_status":"published","scopus_import":"1","quality_controlled":"1","author":[{"full_name":"Remy, Estelle","first_name":"Estelle","last_name":"Remy"},{"id":"3028BD74-F248-11E8-B48F-1D18A9856A87","full_name":"Baster, Pawel","last_name":"Baster","first_name":"Pawel"},{"full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596"},{"last_name":"Duque","first_name":"Paula","full_name":"Duque, Paula"}],"date_published":"2013-07-10T00:00:00Z","article_processing_charge":"No","doi":"10.4161/psb.25688","date_updated":"2025-05-07T11:12:32Z","article_number":"e25688"},{"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"1849 - 1862","volume":6,"publication_status":"published","year":"2013","intvolume":"         6","_id":"2449","day":"01","issue":"6","status":"public","language":[{"iso":"eng"}],"month":"11","citation":{"chicago":"Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jiří Friml. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” <i>Molecular Plant</i>. Cell Press, 2013. <a href=\"https://doi.org/10.1093/mp/sst044\">https://doi.org/10.1093/mp/sst044</a>.","ieee":"T. Nodzyński <i>et al.</i>, “Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis,” <i>Molecular Plant</i>, vol. 6, no. 6. Cell Press, pp. 1849–1862, 2013.","apa":"Nodzyński, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene, J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. <i>Molecular Plant</i>. Cell Press. <a href=\"https://doi.org/10.1093/mp/sst044\">https://doi.org/10.1093/mp/sst044</a>","ama":"Nodzyński T, Feraru M, Hirsch S, et al. Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. <i>Molecular Plant</i>. 2013;6(6):1849-1862. doi:<a href=\"https://doi.org/10.1093/mp/sst044\">10.1093/mp/sst044</a>","ista":"Nodzyński T, Feraru M, Hirsch S, De Rycke R, Nicuales C, Van Leene J, De Jaeger G, Vanneste S, Friml J. 2013. Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant. 6(6), 1849–1862.","mla":"Nodzyński, Tomasz, et al. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” <i>Molecular Plant</i>, vol. 6, no. 6, Cell Press, 2013, pp. 1849–62, doi:<a href=\"https://doi.org/10.1093/mp/sst044\">10.1093/mp/sst044</a>.","short":"T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862."},"publisher":"Cell Press","department":[{"_id":"JiFr"}],"title":"Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis","publication":"Molecular Plant","publist_id":"4454","oa_version":"None","date_created":"2018-12-11T11:57:44Z","date_updated":"2021-01-12T06:57:33Z","doi":"10.1093/mp/sst044","date_published":"2013-11-01T00:00:00Z","author":[{"full_name":"Nodzyński, Tomasz","first_name":"Tomasz","last_name":"Nodzyński"},{"full_name":"Feraru, Murguel","last_name":"Feraru","first_name":"Murguel"},{"last_name":"Hirsch","first_name":"Sibylle","full_name":"Hirsch, Sibylle"},{"last_name":"De Rycke","first_name":"Riet","full_name":"De Rycke, Riet"},{"full_name":"Nicuales, Claudiu","first_name":"Claudiu","last_name":"Nicuales"},{"first_name":"Jelle","last_name":"Van Leene","full_name":"Van Leene, Jelle"},{"first_name":"Geert","last_name":"De Jaeger","full_name":"De Jaeger, Geert"},{"full_name":"Vanneste, Steffen","first_name":"Steffen","last_name":"Vanneste"},{"full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596"}],"quality_controlled":"1","abstract":[{"text":"Intracellular protein routing is mediated by vesicular transport which is tightly regulated in eukaryotes. The protein and lipid homeostasis depends on coordinated delivery of de novo synthesized or recycled cargoes to the plasma membrane by exocytosis and their subsequent removal by rerouting them for recycling or degradation. Here, we report the characterization of protein affected trafficking 3 (pat3) mutant that we identified by an epifluorescence-based forward genetic screen for mutants defective in subcellular distribution of Arabidopsis auxin transporter PIN1–GFP. While pat3 displays largely normal plant morphology and development in nutrient-rich conditions, it shows strong ectopic intracellular accumulations of different plasma membrane cargoes in structures that resemble prevacuolar compartments (PVC) with an aberrant morphology. Genetic mapping revealed that pat3 is defective in vacuolar protein sorting 35A (VPS35A), a putative subunit of the retromer complex that mediates retrograde trafficking between the PVC and trans-Golgi network. Similarly, a mutant defective in another retromer subunit, vps29, shows comparable subcellular defects in PVC morphology and protein accumulation. Thus, our data provide evidence that the retromer components VPS35A and VPS29 are essential for normal PVC morphology and normal trafficking of plasma membrane proteins in plants. In addition, we show that, out of the three VPS35 retromer subunits present in Arabidopsis thaliana genome, the VPS35 homolog A plays a prevailing role in trafficking to the lytic vacuole, presenting another level of complexity in the retromer-dependent vacuolar sorting. ","lang":"eng"}],"scopus_import":1},{"publist_id":"7659","date_created":"2018-12-11T11:45:24Z","publisher":"Walter de Gruyter","title":"Inhomogeneous cubic congruences and rational points on del Pezzo surfaces","publication":"Journal fur die Reine und Angewandte Mathematik","extern":1,"quality_controlled":0,"abstract":[{"lang":"eng","text":"For given non-zero integers a, b, q we investigate the density of solutions (x; y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined over ℚ."}],"date_updated":"2021-01-12T06:57:33Z","doi":"10.1515/crelle.2012.039","author":[{"full_name":"Baier, Stephan","last_name":"Baier","first_name":"Stephan"},{"orcid":"0000-0002-8314-0177","last_name":"Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Timothy Browning"}],"date_published":"2013-07-01T00:00:00Z","publication_status":"published","year":"2013","_id":"245","main_file_link":[{"url":"https://arxiv.org/abs/1011.3434","open_access":"1"}],"type":"journal_article","page":"69 - 151","month":"07","citation":{"ieee":"S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” <i>Journal fur die Reine und Angewandte Mathematik</i>, no. 680. Walter de Gruyter, pp. 69–151, 2013.","chicago":"Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter, 2013. <a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>.","apa":"Baier, S., &#38; Browning, T. D. (2013). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter. <a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>","ama":"Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2013;(680):69-151. doi:<a href=\"https://doi.org/10.1515/crelle.2012.039\">10.1515/crelle.2012.039</a>","mla":"Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>, no. 680, Walter de Gruyter, 2013, pp. 69–151, doi:<a href=\"https://doi.org/10.1515/crelle.2012.039\">10.1515/crelle.2012.039</a>.","short":"S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.","ista":"Baier S, Browning TD. 2013. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. (680), 69–151."},"day":"01","issue":"680","status":"public","oa":1},{"quality_controlled":0,"extern":1,"abstract":[{"lang":"eng","text":"Understanding how hormones and genes interact to coordinate plant growth is a major challenge in developmental biology. The activities of auxin, ethylene, and cytokinin depend on cellular context and exhibit either synergistic or antagonistic interactions. Here we use experimentation and network construction to elucidate the role of the interaction of the POLARIS peptide (PLS) and the auxin efflux carrier PIN proteins in the crosstalk of three hormones (auxin, ethylene, and cytokinin) in Arabidopsis root development. In ethylene hypersignaling mutants such as polaris (pls), we show experimentally that expression of both PIN1 and PIN2 significantly increases. This relationship is analyzed in the context of the crosstalk between auxin, ethylene, and cytokinin: in pls, endogenous auxin, ethylene and cytokinin concentration decreases, approximately remains unchanged and increases, respectively. Experimental data are integrated into a hormonal crosstalk network through combination with information in literature. Network construction reveals that the regulation of both PIN1 and PIN2 is predominantly via ethylene signaling. In addition, it is deduced that the relationship between cytokinin and PIN1 and PIN2 levels implies a regulatory role of cytokinin in addition to its regulation to auxin, ethylene, and PLS levels. We discuss how the network of hormones and genes coordinates plant growth by simultaneously regulating the activities of auxin, ethylene, and cytokinin signaling pathways.hormonal crosstalk, root development, auxin flux, PIN proteins, PLS protein, signaling network"}],"date_updated":"2021-01-12T06:57:34Z","doi":"10.3389/fpls.2013.00075","author":[{"last_name":"Liu","first_name":"Junli","full_name":"Liu, Junli"},{"first_name":"Saher","last_name":"Menhi","full_name":"Menhi, Saher"},{"full_name":"Topping, Jennifer","first_name":"Jennifer","last_name":"Topping"},{"full_name":"Jirí Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596"},{"full_name":"Lindsey, Keith","last_name":"Lindsey","first_name":"Keith"}],"date_published":"2013-04-01T00:00:00Z","publist_id":"4453","date_created":"2018-12-11T11:57:44Z","publisher":"Frontiers Research Foundation","title":"Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development","publication":"Frontiers in Plant Science","month":"04","citation":{"chicago":"Liu, Junli, Saher Menhi, Jennifer Topping, Jiří Friml, and Keith Lindsey. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.” <i>Frontiers in Plant Science</i>. Frontiers Research Foundation, 2013. <a href=\"https://doi.org/10.3389/fpls.2013.00075\">https://doi.org/10.3389/fpls.2013.00075</a>.","ieee":"J. Liu, S. Menhi, J. Topping, J. Friml, and K. Lindsey, “Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development,” <i>Frontiers in Plant Science</i>, vol. 4, no. 75. Frontiers Research Foundation, 2013.","apa":"Liu, J., Menhi, S., Topping, J., Friml, J., &#38; Lindsey, K. (2013). Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. <i>Frontiers in Plant Science</i>. Frontiers Research Foundation. <a href=\"https://doi.org/10.3389/fpls.2013.00075\">https://doi.org/10.3389/fpls.2013.00075</a>","ama":"Liu J, Menhi S, Topping J, Friml J, Lindsey K. Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. <i>Frontiers in Plant Science</i>. 2013;4(75). doi:<a href=\"https://doi.org/10.3389/fpls.2013.00075\">10.3389/fpls.2013.00075</a>","mla":"Liu, Junli, et al. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.” <i>Frontiers in Plant Science</i>, vol. 4, no. 75, Frontiers Research Foundation, 2013, doi:<a href=\"https://doi.org/10.3389/fpls.2013.00075\">10.3389/fpls.2013.00075</a>.","short":"J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science 4 (2013).","ista":"Liu J, Menhi S, Topping J, Friml J, Lindsey K. 2013. Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science. 4(75)."},"day":"01","issue":"75","status":"public","publication_status":"published","year":"2013","_id":"2450","intvolume":"         4","type":"journal_article","volume":4},{"citation":{"ista":"Barbez E, Laňková M, Pařezová M, Maizel A, Zažímalová E, Petrášek J, Friml J, Kleine Vehn J. 2013. Single-cell-based system to monitor carrier driven cellular auxin homeostasis. BMC Plant Biology. 13(1).","mla":"Barbez, Elke, et al. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.” <i>BMC Plant Biology</i>, vol. 13, no. 1, BioMed Central, 2013, doi:<a href=\"https://doi.org/10.1186/1471-2229-13-20\">10.1186/1471-2229-13-20</a>.","short":"E. Barbez, M. Laňková, M. Pařezová, A. Maizel, E. Zažímalová, J. Petrášek, J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).","ama":"Barbez E, Laňková M, Pařezová M, et al. Single-cell-based system to monitor carrier driven cellular auxin homeostasis. <i>BMC Plant Biology</i>. 2013;13(1). doi:<a href=\"https://doi.org/10.1186/1471-2229-13-20\">10.1186/1471-2229-13-20</a>","apa":"Barbez, E., Laňková, M., Pařezová, M., Maizel, A., Zažímalová, E., Petrášek, J., … Kleine Vehn, J. (2013). Single-cell-based system to monitor carrier driven cellular auxin homeostasis. <i>BMC Plant Biology</i>. BioMed Central. <a href=\"https://doi.org/10.1186/1471-2229-13-20\">https://doi.org/10.1186/1471-2229-13-20</a>","ieee":"E. Barbez <i>et al.</i>, “Single-cell-based system to monitor carrier driven cellular auxin homeostasis,” <i>BMC Plant Biology</i>, vol. 13, no. 1. BioMed Central, 2013.","chicago":"Barbez, Elke, Martina Laňková, Markéta Pařezová, Alexis Maizel, Eva Zažímalová, Jan Petrášek, Jiří Friml, and Jürgen Kleine Vehn. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.” <i>BMC Plant Biology</i>. BioMed Central, 2013. <a href=\"https://doi.org/10.1186/1471-2229-13-20\">https://doi.org/10.1186/1471-2229-13-20</a>."},"month":"02","status":"public","day":"01","issue":"1","_id":"2452","intvolume":"        13","publication_status":"published","year":"2013","volume":13,"type":"journal_article","abstract":[{"text":"Background: Abundance and distribution of the plant hormone auxin play important roles in plant development. Besides other metabolic processes, various auxin carriers control the cellular level of active auxin and, hence, are major regulators of cellular auxin homeostasis. Despite the developmental importance of auxin transporters, a simple medium-to-high throughput approach to assess carrier activities is still missing. Here we show that carrier driven depletion of cellular auxin correlates with reduced nuclear auxin signaling in tobacco Bright Yellow-2 (BY-2) cell cultures.Results: We developed an easy to use transient single-cell-based system to detect carrier activity. We use the relative changes in signaling output of the auxin responsive promoter element DR5 to indirectly visualize auxin carrier activity. The feasibility of the transient approach was demonstrated by pharmacological and genetic interference with auxin signaling and transport. As a proof of concept, we provide visual evidence that the prominent auxin transport proteins PIN-FORMED (PIN)2 and PIN5 regulate cellular auxin homeostasis at the plasma membrane and endoplasmic reticulum (ER), respectively. Our data suggest that PIN2 and PIN5 have different sensitivities to the auxin transport inhibitor 1-naphthylphthalamic acid (NPA). Also the putative PIN-LIKES (PILS) auxin carrier activity at the ER is insensitive to NPA in our system, indicating that NPA blocks intercellular, but not intracellular auxin transport.Conclusions: This single-cell-based system is a useful tool by which the activity of putative auxin carriers, such as PINs, PILS and WALLS ARE THIN1 (WAT1), can be indirectly visualized in a medium-to-high throughput manner. Moreover, our single cell system might be useful to investigate also other hormonal signaling pathways, such as cytokinin.","lang":"eng"}],"extern":1,"quality_controlled":0,"date_published":"2013-02-01T00:00:00Z","author":[{"last_name":"Barbez","first_name":"Elke","full_name":"Barbez, Elke"},{"first_name":"Martina","last_name":"Laňková","full_name":"Laňková, Martina"},{"full_name":"Pařezová, Markéta","first_name":"Markéta","last_name":"Pařezová"},{"first_name":"Alexis","last_name":"Maizel","full_name":"Maizel, Alexis"},{"full_name":"Zažímalová, Eva","first_name":"Eva","last_name":"Zažímalová"},{"last_name":"Petrášek","first_name":"Jan","full_name":"Petrášek, Jan"},{"full_name":"Jirí Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml"},{"full_name":"Kleine-Vehn, Jürgen","last_name":"Kleine Vehn","first_name":"Jürgen"}],"doi":"10.1186/1471-2229-13-20","date_updated":"2021-01-12T06:57:34Z","date_created":"2018-12-11T11:57:45Z","publist_id":"4451","title":"Single-cell-based system to monitor carrier driven cellular auxin homeostasis","publication":"BMC Plant Biology","publisher":"BioMed Central"},{"quality_controlled":"1","extern":"1","date_updated":"2021-01-12T06:57:36Z","doi":"10.1016/j.tplants.2012.08.009","date_published":"2013-01-01T00:00:00Z","author":[{"full_name":"Viaene, Tom","first_name":"Tom","last_name":"Viaene"},{"full_name":"Delwiche, Charles","first_name":"Charles","last_name":"Delwiche"},{"full_name":"Rensing, Stefan","first_name":"Stefan","last_name":"Rensing"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí"}],"publist_id":"4446","date_created":"2018-12-11T11:57:46Z","oa_version":"None","publisher":"Cell Press","publication":"Trends in Plant Science","title":"Origin and evolution of PIN auxin transporters in the green lineage","month":"01","language":[{"iso":"eng"}],"citation":{"chicago":"Viaene, Tom, Charles Delwiche, Stefan Rensing, and Jiří Friml. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.” <i>Trends in Plant Science</i>. Cell Press, 2013. <a href=\"https://doi.org/10.1016/j.tplants.2012.08.009\">https://doi.org/10.1016/j.tplants.2012.08.009</a>.","ieee":"T. Viaene, C. Delwiche, S. Rensing, and J. Friml, “Origin and evolution of PIN auxin transporters in the green lineage,” <i>Trends in Plant Science</i>, vol. 18, no. 1. Cell Press, pp. 5–10, 2013.","apa":"Viaene, T., Delwiche, C., Rensing, S., &#38; Friml, J. (2013). Origin and evolution of PIN auxin transporters in the green lineage. <i>Trends in Plant Science</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.tplants.2012.08.009\">https://doi.org/10.1016/j.tplants.2012.08.009</a>","ama":"Viaene T, Delwiche C, Rensing S, Friml J. Origin and evolution of PIN auxin transporters in the green lineage. <i>Trends in Plant Science</i>. 2013;18(1):5-10. doi:<a href=\"https://doi.org/10.1016/j.tplants.2012.08.009\">10.1016/j.tplants.2012.08.009</a>","ista":"Viaene T, Delwiche C, Rensing S, Friml J. 2013. Origin and evolution of PIN auxin transporters in the green lineage. Trends in Plant Science. 18(1), 5–10.","short":"T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18 (2013) 5–10.","mla":"Viaene, Tom, et al. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.” <i>Trends in Plant Science</i>, vol. 18, no. 1, Cell Press, 2013, pp. 5–10, doi:<a href=\"https://doi.org/10.1016/j.tplants.2012.08.009\">10.1016/j.tplants.2012.08.009</a>."},"issue":"1","day":"01","status":"public","year":"2013","publication_status":"published","intvolume":"        18","_id":"2457","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":18,"page":"5 - 10"},{"date_created":"2018-12-11T11:45:25Z","publist_id":"7658","title":"Rational points on singular intersections of quadrics","publication":"Compositio Mathematica","publisher":"Cambridge University Press","abstract":[{"text":"Given an intersection of two quadrics X Pm1, with m &gt; 9, the quantitative arithmetic of the set X(Q) is investigated under the assumption that the singular locus of X consists of a pair of conjugate singular points defined over Q(i).","lang":"eng"}],"quality_controlled":0,"extern":1,"author":[{"orcid":"0000-0002-8314-0177","last_name":"Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Timothy Browning"},{"last_name":"Munshi","first_name":"Ritabrata","full_name":"Munshi, Ritabrata"}],"date_published":"2013-09-01T00:00:00Z","date_updated":"2021-01-12T06:57:37Z","doi":"10.1112/S0010437X13007185","_id":"246","intvolume":"       149","publication_status":"published","year":"2013","page":"1457 - 1494","volume":149,"type":"journal_article","citation":{"ieee":"T. D. Browning and R. Munshi, “Rational points on singular intersections of quadrics,” <i>Compositio Mathematica</i>, vol. 149, no. 9. Cambridge University Press, pp. 1457–1494, 2013.","chicago":"Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.” <i>Compositio Mathematica</i>. Cambridge University Press, 2013. <a href=\"https://doi.org/10.1112/S0010437X13007185\">https://doi.org/10.1112/S0010437X13007185</a>.","apa":"Browning, T. D., &#38; Munshi, R. (2013). Rational points on singular intersections of quadrics. <i>Compositio Mathematica</i>. Cambridge University Press. <a href=\"https://doi.org/10.1112/S0010437X13007185\">https://doi.org/10.1112/S0010437X13007185</a>","ama":"Browning TD, Munshi R. Rational points on singular intersections of quadrics. <i>Compositio Mathematica</i>. 2013;149(9):1457-1494. doi:<a href=\"https://doi.org/10.1112/S0010437X13007185\">10.1112/S0010437X13007185</a>","short":"T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.","mla":"Browning, Timothy D., and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.” <i>Compositio Mathematica</i>, vol. 149, no. 9, Cambridge University Press, 2013, pp. 1457–94, doi:<a href=\"https://doi.org/10.1112/S0010437X13007185\">10.1112/S0010437X13007185</a>.","ista":"Browning TD, Munshi R. 2013. Rational points on singular intersections of quadrics. Compositio Mathematica. 149(9), 1457–1494."},"month":"09","status":"public","acknowledgement":"EP/E053262/1\tEngineering and Physical Sciences Research Council","day":"01","issue":"9"},{"intvolume":"        32","publication_status":"published","file":[{"file_size":8601561,"checksum":"aeea6b0ff2b27c695aeb8408c7d2fc50","file_name":"IST-2016-605-v1+1_tetflip_fixed.pdf","file_id":"5279","date_updated":"2020-07-14T12:45:41Z","content_type":"application/pdf","date_created":"2018-12-12T10:17:25Z","relation":"main_file","access_level":"open_access","creator":"system"}],"day":"01","ddc":["000"],"language":[{"iso":"eng"}],"month":"07","file_date_updated":"2020-07-14T12:45:41Z","article_number":"103","pubrep_id":"605","author":[{"full_name":"Ando, Ryoichi","last_name":"Ando","first_name":"Ryoichi"},{"full_name":"Thuerey, Nils","last_name":"Thuerey","first_name":"Nils"},{"first_name":"Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2013-07-01T00:00:00Z","doi":"10.1145/2461912.2461982","date_updated":"2024-11-19T11:56:45Z","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","volume":32,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"2466","year":"2013","has_accepted_license":"1","status":"public","oa":1,"issue":"4","title":"Highly adaptive liquid simulations on tetrahedral meshes","department":[{"_id":"ChWo"}],"publication":"ACM Transactions on Graphics","publisher":"ACM","oa_version":"Submitted Version","date_created":"2018-12-11T11:57:50Z","publist_id":"4436","abstract":[{"text":"We introduce a new method for efficiently simulating liquid with extreme amounts of spatial adaptivity. Our method combines several key components to drastically speed up the simulation of large-scale fluid phenomena: We leverage an alternative Eulerian tetrahedral mesh discretization to significantly reduce the complexity of the pressure solve while increasing the robustness with respect to element quality and removing the possibility of locking. Next, we enable subtle free-surface phenomena by deriving novel second-order boundary conditions consistent with our discretization. We couple this discretization with a spatially adaptive Fluid-Implicit Particle (FLIP) method, enabling efficient, robust, minimally-dissipative simulations that can undergo sharp changes in spatial resolution while minimizing artifacts. Along the way, we provide a new method for generating a smooth and detailed surface from a set of particles with variable sizes. Finally, we explore several new sizing functions for determining spatially adaptive simulation resolutions, and we show how to couple them to our simulator. We combine each of these elements to produce a simulation algorithm that is capable of creating animations at high maximum resolutions while avoiding common pitfalls like inaccurate boundary conditions and inefficient computation.","lang":"eng"}]},{"citation":{"apa":"Bernstein, G., &#38; Wojtan, C. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/2461912.2462027\">https://doi.org/10.1145/2461912.2462027</a>","chicago":"Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” <i>ACM Transactions on Graphics</i>. ACM, 2013. <a href=\"https://doi.org/10.1145/2461912.2462027\">https://doi.org/10.1145/2461912.2462027</a>.","ieee":"G. Bernstein and C. Wojtan, “Putting holes in holey geometry: Topology change for arbitrary surfaces,” <i>ACM Transactions on Graphics</i>, vol. 32, no. 4. ACM, 2013.","ista":"Bernstein G, Wojtan C. 2013. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 32(4), 34.","mla":"Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” <i>ACM Transactions on Graphics</i>, vol. 32, no. 4, 34, ACM, 2013, doi:<a href=\"https://doi.org/10.1145/2461912.2462027\">10.1145/2461912.2462027</a>.","short":"G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).","ama":"Bernstein G, Wojtan C. Putting holes in holey geometry: Topology change for arbitrary surfaces. <i>ACM Transactions on Graphics</i>. 2013;32(4). doi:<a href=\"https://doi.org/10.1145/2461912.2462027\">10.1145/2461912.2462027</a>"},"issue":"4","oa":1,"status":"public","year":"2013","has_accepted_license":"1","_id":"2467","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":32,"abstract":[{"text":"This paper presents a method for computing topology changes for triangle meshes in an interactive geometric modeling environment. Most triangle meshes in practice do not exhibit desirable geometric properties, so we develop a solution that is independent of standard assumptions and robust to geometric errors. Specifically, we provide the first method for topology change applicable to arbitrary non-solid, non-manifold, non-closed, self-intersecting surfaces. We prove that this new method for topology change produces the expected conventional results when applied to solid (closed, manifold, non-self-intersecting) surfaces---that is, we prove a backwards-compatibility property relative to prior work. Beyond solid surfaces, we present empirical evidence that our method remains tolerant to a variety of surface aberrations through the incorporation of a novel error correction scheme. Finally, we demonstrate how topology change applied to non-solid objects enables wholly new and useful behaviors.","lang":"eng"}],"publist_id":"4435","oa_version":"Submitted Version","date_created":"2018-12-11T11:57:50Z","publisher":"ACM","department":[{"_id":"ChWo"}],"title":"Putting holes in holey geometry: Topology change for arbitrary surfaces","publication":"ACM Transactions on Graphics","language":[{"iso":"eng"}],"month":"07","day":"01","ddc":["000"],"publication_status":"published","file":[{"relation":"main_file","access_level":"open_access","creator":"system","content_type":"application/pdf","date_created":"2018-12-12T10:09:43Z","file_id":"4768","date_updated":"2020-07-14T12:45:41Z","file_size":3514674,"checksum":"9c8425d62246996ca632c5a01870515b","file_name":"IST-2016-604-v1+1_toptop2013.pdf"}],"intvolume":"        32","quality_controlled":"1","scopus_import":1,"date_updated":"2023-02-23T10:44:16Z","doi":"10.1145/2461912.2462027","author":[{"first_name":"Gilbert","last_name":"Bernstein","full_name":"Bernstein, Gilbert"},{"id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","full_name":"Wojtan, Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","first_name":"Christopher J"}],"date_published":"2013-07-01T00:00:00Z","pubrep_id":"604","article_number":"34","file_date_updated":"2020-07-14T12:45:41Z"}]