by Du, Zhihui, Rodriguez, Oliver Alvarado, Bader, David A.
Published in IEEE Conference on High Performance Extreme Computing (Online) (20.09.2021)

by KHOUSSAINOV, BAKH, TAKISAKA, TORU
Published in The Journal of symbolic logic (01.06.2022)

by Abbott, B., Alexander, G., Alonso, A., Anastopoulos, C., Angelidakis, S., Arguin, J-F., Bauer, F., Bernlochner, F. U., Bertsche, D., Binet, S., Blazek, T., Bortolotto, V., Brelier, B., Bugge, L., Buttinger, W., Byszewski, M., Caloba, L. P., Cardarelli, R., Cavaliere, V., Cavalli, D., Chavez Barajas, C. A., Chekanov, S., Chekulaev, S. V., Chen, C., Da Cunha Sargedas De Sousa, M. J., De Lorenzi, F., Deliot, F., Galea, C., Garonne, V., Gee, C. N. P., Grahn, K-J., Grohs, J. P., Guo, J., Haas, A., Hariri, F., Iliadis, D., Iwasaki, H., Jansen, H., Joshi, K. D., Kersten, S., King, S. B., Kuze, M., Ladygin, E., Lampl, W., Lassnig, M., Lehan, A., Leonhardt, K., Lester, C. M., Li, B., Liu, L., Loddenkoetter, T., Long, B. A., Lou, X., Lu, N., Magradze, E., Marti-Garcia, S., Mengarelli, A., Mergelmeyer, S., Mikenberg, G., Minaenko, A. A., Mir, L. M., Monnier, E., Mudd, R. D., Namasivayam, H., Naumann, T., Negri, G., Nomidis, I., Ochi, A., Oh, A., Ouchrif, M., Palka, M., Parker, M. A., Pastore, F., Peng, H., Piegaia, R., Rose, P., Rudolph, C., Ryabov, Y. F., Savage, G., Schaetzel, S., Scuri, F., Shmeleva, A., Socher, F., St. Denis, R. D., Stonjek, S., Strauss, M., Succurro, A., Sykora, T., Tanaka, R., Tarem, S., Tikhonov, Yu. A., Tsuno, S., Unverdorben, C., Vacavant, L., von der Schmitt, H., Wang, S. M., Wiedenmann, W., Wolter, M. W., Yamamura, T., Yen, A. L.
Published in The European physical journal. C, Particles and fields (11.12.2014)

by Khoussainov, Bakhadyr, Takisaka, Toru
Published in arXiv.org (01.06.2024)

by Khoussainov, Bakh, Takisaka, Toru
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)

by Ramey, Corinne
Published in Strings (San Anselmo, Calif.) (01.06.2013)

by Zhou, Zongwei, Xue, Yibo, Liu, Junda, Zhang, Wei, Li, Jun
Published in Information and Communications Security (2007)

by Blasi, Simone, Calibbi, Lorenzo, Mariotti, Alberto, Turbang, Kevin
Published in The journal of high energy physics (02.05.2025)

by Banerjee, B.
Published in IEEE transactions on neural networks (01.09.2007)

by Aad, G, Abbott, B, Abdallah, J, Abdel Khalek, S, Abdinov, O, Aben, R, Abi, B, Abolins, M, AbouZeid, O S, Abramowicz, H, Abreu, H, Abreu, R, Abulaiti, Y, Acharya, B S, Adamczyk, L, Adams, D L, Adelman, J, Adomeit, S, Adye, T, Agatonovic-Jovin, T, Aguilar-Saavedra, J A, Agustoni, M, Ahlen, S P, Ahmadov, F, Aielli, G, Akerstedt, H, Åkesson, T P A, Akimoto, G, Akimov, A V, Alberghi, G L, Albert, J, Albrand, S, Alconada Verzini, M J, Aleksa, M, Aleksandrov, I N, Alexa, C, Alexander, G, Alexandre, G, Alexopoulos, T, Alhroob, M, Alimonti, G, Alio, L, Alison, J, Allbrooke, B M M, Allison, L J, Allport, P P, Almond, J, Aloisio, A, Alonso, A, Alonso, F, Alpigiani, C, Altheimer, A, Alvarez Gonzalez, B, Alviggi, M G, Amako, K, Amaral Coutinho, Y, Amelung, C, Amidei, D, Amor Dos Santos, S P, Amorim, A, Amoroso, S, Amram, N, Amundsen, G, Anastopoulos, C, Ancu, L S, Andari, N, Andeen, T, Anders, C F, Anders, G, Anderson, K J, Andreazza, A, Andrei, V, Anduaga, X S, Angelidakis, S, Angelozzi, I, Anger, P, Angerami, A, Anghinolfi, F, Anisenkov, A V, Anjos, N, Annovi, A, Antonaki, A, Antonelli, M, Antonov, A, Antos, J, Anulli, F, Aoki, M, Aperio Bella, L, Apolle, R, Arabidze, G, Aracena, I, Arai, Y, Araque, J P, Arce, A T H, Arguin, J-F, Argyropoulos, S, Arik, M, Armbruster, A J, Arnaez, O, Arnal, V
Published in The European physical journal. C, Particles and fields (01.12.2014)

by Cerda, Patricio, Varoquaux, Gael
Published in IEEE transactions on knowledge and data engineering (01.03.2022)

by Antoniadis, I., Nanopoulos, D. V., Rizos, J.
Published in The European physical journal. C, Particles and fields (29.04.2022)

by Yunchao Gong, Lazebnik, Svetlana, Gordo, Albert, Perronnin, Florent
Published in IEEE transactions on pattern analysis and machine intelligence (01.12.2013)

by Zhang, Junbo, Wong, Jian-Syuan, Li, Tianrui, Pan, Yi
Published in International journal of approximate reasoning (01.03.2014)

by Nakata, Maho, Shimazaki, Tomomi
Published in Journal of chemical information and modeling (26.06.2017)

by Cai, Deng, He, Xiaofei, Han, Jiawei
Published in IEEE transactions on knowledge and data engineering (01.01.2008)

by Baer, Howard, Barger, Vernon, Sengupta, Dibyashree, Serce, Hasan, Sinha, Kuver, Deal, Robert Wiley
Published in The European physical journal. C, Particles and fields (01.11.2019)

by Afzal, Adeela, Alakhras, M, Kanafi, M H Jalali, Movahed, S M S
Published in Monthly notices of the Royal Astronomical Society (01.08.2025)

by Prilepina, Valentina, Tsai, Yuhsin
Published in The journal of high energy physics (01.09.2017)

by Liang, Jiye, Wang, Feng, Dang, Chuangyin, Qian, Yuhua
Published in International journal of approximate reasoning (01.09.2012)