SmartPulse: Automated Checking of Temporal Properties in Smart Contracts von Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu, Dillig, Isil

Volltext

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis von Mariano, Benjamin, Wang, Ziteng, Pailoor, Shankara, Collberg, Christian, Dillig, Işil

Volltext

Automated Translation of Functional Big Data Queries to SQL von Zhang, Guoqiang, Mariano, Benjamin, Shen, Xipeng, Dillig, Işıl

Volltext

Automated transpilation of imperative to functional code using neural-guided program synthesis von Mariano, Benjamin, Chen, Yanju, Feng, Yu, Durrett, Greg, Dillig, Işil

Volltext

SolType: refinement types for arithmetic overflow in solidity von Tan, Bryan, Mariano, Benjamin, Lahiri, Shuvendu K., Dillig, Isil, Feng, Yu

Volltext

Program synthesis with algebraic library specifications von Mariano, Benjamin, Reese, Josh, Xu, Siyuan, Nguyen, ThanhVu, Qiu, Xiaokang, Foster, Jeffrey S., Solar-Lezama, Armando

Volltext

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version) von Mariano, Benjamin, Chen, Yanju, Feng, Yu, Durrett, Greg, Dillig, Isil

Volltext bestellen

SolType: Refinement Types for Arithmetic Overflow in Solidity von Tan, Bryan, Mariano, Benjamin, Lahiri, Shuvendu K, Dillig, Isil, Yu, Feng

Volltext

Automatically Tailoring Static Analysis to Custom Usage Scenarios von Mansur, Muhammad Numair, Mariano, Benjamin, Christakis, Maria, Navas, Jorge A, Wüstholz, Valentin

Volltext bestellen

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version) von Mariano, Benjamin, Chen, Yanju, Yu, Feng, Durrett, Greg, Dillig, Isil

Volltext

Automatically Tailoring Static Analysis to Custom Usage Scenarios von Mansur, Muhammad Numair, Mariano, Benjamin, Christakis, Maria, Navas, Jorge A, Wüstholz, Valentin

Volltext

On-the-fly decision making within organizations: A systematic literature review and future research directions von Mariano, Stefania, Laker, Benjamin

Volltext

Dengue subgenomic flaviviral RNA disrupts immunity in mosquito salivary glands to increase virus transmission von Pompon, Julien, Manuel, Menchie, Ng, Geok Kee, Wong, Benjamin, Shan, Chao, Manokaran, Gayathri, Soto-Acosta, Ruben, Bradrick, Shelton S, Ooi, Eng Eong, Missé, Dorothée, Shi, Pei-Yong, Garcia-Blanco, Mariano A

Volltext

Thermoelectrics: From history, a window to the future von Beretta, Davide, Neophytou, Neophytos, Hodges, James M., Kanatzidis, Mercouri G., Narducci, Dario, Martin- Gonzalez, Marisol, Beekman, Matt, Balke, Benjamin, Cerretti, Giacomo, Tremel, Wolfgang, Zevalkink, Alexandra, Hofmann, Anna I., Müller, Christian, Dörling, Bernhard, Campoy-Quiles, Mariano, Caironi, Mario

Volltext

Does Information About AI Regulation Change Manager Evaluation of Ethical Concerns and Intent to Adopt AI? von Cuéllar, Mariano-Florentino, Larsen, Benjamin, Lee, Yong Suk, Webb, Michael

Volltext

Benefits for plants in ant-plant protective mutualisms: a meta-analysis von Trager, Matthew D, Bhotika, Smriti, Hostetler, Jeffrey A, Andrade, Gilda V, Rodriguez-Cabal, Mariano A, McKeon, C Seabird, Osenberg, Craig W, Bolker, Benjamin M

Volltext

Large scale screening of neural signatures of consciousness in patients in a vegetative or minimally conscious state von SITT, Jacobo Diego, KING, Jean-Remi, IMEN EL KAROUI, ROHAUT, Benjamin, FAUGERAS, Frederic, GRAMFORT, Alexandre, COHEN, Laurent, SIGMAN, Mariano, DEHAENE, Stanislas, NACCACHE, Lionel

Volltext

Improving breast cancer survival analysis through competition-based multidimensional modeling von Bilal, Erhan, Dutkowski, Janusz, Guinney, Justin, Jang, In Sock, Logsdon, Benjamin A, Pandey, Gaurav, Sauerwine, Benjamin A, Shimoni, Yishai, Moen Vollan, Hans Kristian, Mecham, Brigham H, Rueda, Oscar M, Tost, Jorg, Curtis, Christina, Alvarez, Mariano J, Kristensen, Vessela N, Aparicio, Samuel, Børresen-Dale, Anne-Lise, Caldas, Carlos, Califano, Andrea, Friend, Stephen H, Ideker, Trey, Schadt, Eric E, Stolovitzky, Gustavo A, Margolin, Adam A

Volltext

Hierarchical folding and reorganization of chromosomes are linked to transcriptional changes in cellular differentiation von Fraser, James, Ferrai, Carmelo, Chiariello, Andrea M, Schueler, Markus, Rito, Tiago, Laudanno, Giovanni, Barbieri, Mariano, Moore, Benjamin L, Kraemer, Dorothee CA, Aitken, Stuart, Xie, Sheila Q, Morris, Kelly J, Itoh, Masayoshi, Kawaji, Hideya, Jaeger, Ines, Hayashizaki, Yoshihide, Carninci, Piero, Forrest, Alistair RR, Semple, Colin A, Dostie, Josée, Pombo, Ana, Nicodemi, Mario

Volltext

A molecular single-cell lung atlas of lethal COVID-19 von Melms, Johannes C., Biermann, Jana, Huang, Huachao, Wang, Yiping, Nair, Ajay, Tagore, Somnath, Katsyv, Igor, Rendeiro, André F., Amin, Amit Dipak, Schapiro, Denis, Frangieh, Chris J., Luoma, Adrienne M., Filliol, Aveline, Fang, Yinshan, Ravichandran, Hiranmayi, Clausi, Mariano G., Alba, George A., Rogava, Meri, Chen, Sean W., Ho, Patricia, Montoro, Daniel T., Kornberg, Adam E., Han, Arnold S., Bakhoum, Mathieu F., Anandasabapathy, Niroshana, Suárez-Fariñas, Mayte, Bakhoum, Samuel F., Bram, Yaron, Borczuk, Alain, Guo, Xinzheng V., Lefkowitch, Jay H., Marboe, Charles, Lagana, Stephen M., Del Portillo, Armando, Tsai, Emily J., Zorn, Emmanuel, Markowitz, Glen S., Schwabe, Robert F., Schwartz, Robert E., Elemento, Olivier, Saqi, Anjali, Hibshoosh, Hanina, Que, Jianwen, Izar, Benjamin

Volltext