Hong Kong University of Science and Technology

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Hong Kong University of Science and Technology
 
Country Land
Hong Kong
 
Acronym Akronym
HKUST
 
Type of Organization Organisationstyp
Education
Established Gegründet
1991
 
ROR ID
ISNI
0000 0004 1937 1450
URL
 

OrgUnit's Publications


Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hitharth-2024-Extending DRAT to SMT-vor.pdf.jpgHitarth, S. ; Codel, Cayden ; Lachnitt, Hanna ; Dutertre, Bruno Extending DRAT to SMTInproceedings Konferenzbeitrag Oct-2024
2Hitarth-2024-Linear Loop Synthesis for Quadratic Invariants-vor.pdf.jpgHitarth, S. ; Kenison, George James ; Kovacs, Laura ; Varonka, Anton Linear Loop Synthesis for Quadratic InvariantsInproceedings Konferenzbeitrag 11-Mar-2024
3Yang, Yang ; Wu, Jianjun ; Chen, Tianjiao ; Peng, Chenghui ; Wang, Jun ; Deng, Juan ; Tao, Xiaofeng ; Liu, Guangyi ; Li, Wenjing ; Yang, Li ; He, Yufeng ; Yang, Tingting ; Aghvami, A. Hamid ; Eliassen, Frank ; Dustdar, Schahram ; Niyato, Dusit ; Sun, Wanfei ; Xu, Yang ; Yuan, Yannan ; Xie, Jiang ; Li, Rongpeng ; Dai, Cuiqin Task-Oriented 6G Native-AI Network ArchitectureArticle Artikel Jan-2024
4Neagu, Dragos ; Irvine, J T S ; Wang, Jiayue ; Yildiz, Bilge ; Opitz, Alexander K ; Fleig, Jürgen ; Wang, Yuhao ; Liu, Jiapeng ; Shen, Longyun ; Ciucci, Francesco ; Rosen, Brian ; Xiao, Yongchun ; Xie, Kui ; Yang, Guangming ; Shao, Zongping ; Zhang, Yubo ; Reinke, Jakob ; Schmauss, Travis ; Barnett, Scott A ; Maring, Roelf ; Kyriakou, Vasileios ; Mushtaq, Usman ; Tsampas, Mihalis N ; Kim, Youdong ; O’Hayre, Ryan ; Carrillo, Alfonso J ; Ruh, Thomas ; Lindenthal, Lorenz ; Schrenk, Florian ; Rameshan, Christoph ; Papaioannou, Evangelos I ; Kousi, Kalliopi ; Metcalfe, Ian S ; Xu, Xiaoxiang ; Liu, Gang Roadmap on exsolution for energy applicationsArticle Artikel 20-Jun-2023
5Fries-2022-BigBio A Framework for Data-Centric Biomedical Natural Languag...-vor.pdf.jpgFries, Jason ; Weber, Leon ; Seelam, Natasha ; Altay, Gabriel ; Datta, Debajyoti ; Su, Ruisi ; Garda, Samuele ; Kang, Sunny MS ; Biderman, Stella ; Samwald, Matthias ; Bach, Stephen H. ; Kusa, Wojciech ; Cahyawijaya, Samuel ; Barth, Fabio ; Ott, Simon ; Sänger, Mario ; Wang, Bo ; Callahan, Alison ; Leon Perinan, Daniel ; Gigant, Theo ; Haller, Patrick ; Chim, Jenny ; Posada, Jose ; Giorgi, John ; Sivaraman, Karthik Rangasai ; Pamies, Marc ; Nezhurina, Marianna ; Martin, Robert ; Freidank, Moritz ; Dahlberg, Nathan ; Mishra, Shubhanshu ; Bose, Shamik ; Broad, Nicholas ; Labrak, Yanis ; Deshmukh, Shlok ; Kiblawi, Sid ; Singh, Ayush ; Vu, Minh Chien ; Neeraj, Trishala ; Golde, Jonas ; Villanova del Moral, Albert ; Beilharz, Benjamin BigBio: A Framework for Data-Centric Biomedical Natural Language ProcessingInproceedings Konferenzbeitrag 2022
6Wu, Wenchao ; Zheng, Yixian ; Qu, Huamin ; Chen, Wei ; Gröller, Eduard ; Ni, Lionel BoundarySeer: Visual analysis of 2D boundary changesInproceedings Konferenzbeitrag13-Feb-2015