Edit Profile (opens in new tab) Basu, Samik Co-Author Distance Author ID: basu.samik Published as: Basu, Samik External Links: MGP Documents Indexed: 62 Publications since 1996, including 1 Book and 15 Additional arXiv Preprints Co-Authors: 37 Co-Authors with 46 Joint Publications 513 Co-Co-Authors all top 5 Co-Authors 5 single-authored 5 Basu, Somnath 5 Ghosh, Surojit 5 Ramakrishnan, C. R. 5 Sen, Debasis 4 Blanc, David Abraham 4 Kasilingam, Ramesh 3 Bultan, Tevfik 3 Dey, Pinka 3 Honavar, Vasant 3 Santhanam, Ganesh Ram. 3 Sarkar, Swagata 2 Dasgupta, Debanil 2 Dutta, S. P. 2 Gondhali, Shilpa 2 Karmakar, Aparajita 2 Kundu, Bikramjit 2 Mukherjee, Goutam 2 Ouederni, Meriem 1 Basu, Arnab K. 1 Das, Apurba 1 Das, N. C. 1 Demarque, Pierre 1 Fathima, Safikaa 1 Ghosh, Aloke Kr. 1 Huynh, V. M. 1 Keller, Curtis W. 1 Kumar, K. Narayan 1 Li, Linghuai 1 Magar-Sawant, Priyanka 1 Maity, Soma 1 Mandal, Samir Ch. 1 Mj, Mahan 1 Mukund, Madhavan 1 North, W. P. T. 1 Penza, V. 1 Pokorny, L. Robert 1 Ramakrishnan, I. V. 1 Sagave, Steffen 1 Saha, Diptikalyan 1 Sarkar, Ankur 1 Schlichtkrull, Christian 1 Smolka, Scott A. 1 Sofia, S. 1 Subhash, Bhaskaran 1 Verma, Rakesh M. 1 Yang, Ping all top 5 Serials 4 Homology, Homotopy and Applications 2 Theoretical Computer Science 2 International Journal of Production Research 2 Proceedings of the Indian Academy of Sciences. Mathematical Sciences 2 Transactions of A. Razmadze Mathematical Institute 1 Acta Mechanica 1 Astrophysics and Space Science 1 Computers & Mathematics with Applications 1 International Journal of Heat and Mass Transfer 1 Advances in Mathematics 1 Applied Mathematics and Computation 1 Canadian Mathematical Bulletin 1 Indian Journal of Mathematics 1 Journal of Pure and Applied Algebra 1 Mathematische Zeitschrift 1 Osaka Journal of Mathematics 1 Topology and its Applications 1 Forum Mathematicum 1 International Journal of Mathematics 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Topology Proceedings 1 The New York Journal of Mathematics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Algebraic & Geometric Topology 1 Journal of the Institute of Mathematics of Jussieu 1 Journal of Homotopy and Related Structures 1 Synthesis Lectures on Artificial Intelligence and Machine Learning 1 Journal of Theoretical Biology all top 5 Fields 29 Algebraic topology (55-XX) 17 Manifolds and cell complexes (57-XX) 12 Computer science (68-XX) 3 Algebraic geometry (14-XX) 3 Associative rings and algebras (16-XX) 3 Convex and discrete geometry (52-XX) 3 Differential geometry (53-XX) 2 \(K\)-theory (19-XX) 2 Measure and integration (28-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of deformable solids (74-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Commutative algebra (13-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Sequences, series, summability (40-XX) 1 Integral equations (45-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 27 Publications have been cited 84 times in 64 Documents Cited by ▼ Year ▼ Deciding choreography realizability. Zbl 1321.68183 Basu, Samik; Bultan, Tevfik; Ouederni, Meriem 20 2012 Reflection of generalized thermoelastic waves from isothermal and insulated boundaries of a half space. Zbl 1165.74343 Das, N. C.; Lahiri, A.; Sarkar, S.; Basu, S. 12 2008 On deciding synchronizability for asynchronously communicating systems. Zbl 1353.68195 Basu, Samik; Bultan, Tevfik 8 2016 Homotopy groups and periodic geodesics of closed 4-manifolds. Zbl 1331.53064 Basu, Samik; Basu, Somnath 7 2015 Synchronizability for verification of asynchronously communicating systems. Zbl 1325.68139 Basu, Samik; Bultan, Tevfik; Ouederni, Meriem 6 2012 Generalized Thom spectra and their topological Hochschild homology. Zbl 1430.19006 Basu, Samik; Sagave, Steffen; Schlichtkrull, Christian 6 2020 Homotopy groups of highly connected manifolds. Zbl 1433.55005 Basu, Samik; Basu, Somnath 5 2018 Compositional analysis for verification of parameterized systems. Zbl 1031.68543 Basu, Samik; Ramakrishnan, C. R. 4 2003 Note on Toda brackets. Zbl 1460.55016 Basu, Samik; Blanc, David; Sen, Debasis 4 2020 The homotopy type of the loops on \((n-1)\)-connected \((2n+1)\)-manifolds. Zbl 1422.55016 Basu, Samik 4 2019 Parameterized verification of \(\pi\)-calculus systems. Zbl 1180.68181 Yang, Ping; Basu, Samik; Ramakrishnan, C. R. 2 2006 Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582 Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh 2 2001 Equivariant maps related to the topological Tverberg conjecture. Zbl 1382.55009 Basu, Samik; Ghosh, Surojit 2 2017 Representing Bredon cohomology with local coefficients. Zbl 1318.55005 Basu, Samik; Sen, Debasis 2 2015 Bredon cohomology of finite dimensional \(C_p\)-spaces. Zbl 1494.55012 Basu, Samik; Ghosh, Surojit 2 2021 Computations in \(C_{pq}\)-Bredon cohomology. Zbl 1435.55003 Basu, Samik; Ghosh, Surojit 2 2019 Impact of a torsional load on a penny-shaped crack sandwiched between two elastic layers embedded in an elastic medium. Zbl 1390.74147 Karan, S.; Basu, S.; Mandal, S. C. 2 2018 Substrate stiffness and mechanical stress due to intercellular cooperativity guides tissue structure. Zbl 1406.92045 Basu, S.; Sutradhar, S.; Paul, R. 2 2018 Nambu structures and associated bialgebroids. Zbl 1472.17076 Basu, Samik; Basu, Somnath; Das, Apurba; Mukherjee, Goutam 2 2019 A process modelling framework for AGV control. Zbl 0949.90593 Basu, S.; Dutta, S. P.; North, W. P. T. 1 1999 Representing and reasoning with qualitative preferences for compositional systems. Zbl 1234.68454 Santhanam, Ganesh Ram.; Basu, Samik; Honavar, Vasant 1 2011 Topological Hochschild homology of \(K/p\) as a \(K_p^\wedge\) module. Zbl 1384.55006 Basu, Samik 1 2017 Inertia groups of high-dimensional complex projective spaces. Zbl 1382.57013 Basu, Samik; Kasilingam, Ramesh 1 2018 Topology of certain quotient spaces of Stiefel manifolds. Zbl 1369.55012 Basu, Samik; Subhash, B. 1 2017 Higher structure in the unstable Adams spectral sequence. Zbl 1478.55011 Basu, Samik; Blanc, David; Sen, Debasis 1 2021 Abstract formulations of some theorems on nonmeasurable sets. Zbl 1428.28002 Basu, S.; Sen, D. 1 2017 Some computations in equivariant cobordism in relation to Milnor manifolds. Zbl 1295.57036 Basu, Samik; Mukherjee, Goutam; Sarkar, Swagata 1 2014 Bredon cohomology of finite dimensional \(C_p\)-spaces. Zbl 1494.55012 Basu, Samik; Ghosh, Surojit 2 2021 Higher structure in the unstable Adams spectral sequence. Zbl 1478.55011 Basu, Samik; Blanc, David; Sen, Debasis 1 2021 Generalized Thom spectra and their topological Hochschild homology. Zbl 1430.19006 Basu, Samik; Sagave, Steffen; Schlichtkrull, Christian 6 2020 Note on Toda brackets. Zbl 1460.55016 Basu, Samik; Blanc, David; Sen, Debasis 4 2020 The homotopy type of the loops on \((n-1)\)-connected \((2n+1)\)-manifolds. Zbl 1422.55016 Basu, Samik 4 2019 Computations in \(C_{pq}\)-Bredon cohomology. Zbl 1435.55003 Basu, Samik; Ghosh, Surojit 2 2019 Nambu structures and associated bialgebroids. Zbl 1472.17076 Basu, Samik; Basu, Somnath; Das, Apurba; Mukherjee, Goutam 2 2019 Homotopy groups of highly connected manifolds. Zbl 1433.55005 Basu, Samik; Basu, Somnath 5 2018 Impact of a torsional load on a penny-shaped crack sandwiched between two elastic layers embedded in an elastic medium. Zbl 1390.74147 Karan, S.; Basu, S.; Mandal, S. C. 2 2018 Substrate stiffness and mechanical stress due to intercellular cooperativity guides tissue structure. Zbl 1406.92045 Basu, S.; Sutradhar, S.; Paul, R. 2 2018 Inertia groups of high-dimensional complex projective spaces. Zbl 1382.57013 Basu, Samik; Kasilingam, Ramesh 1 2018 Equivariant maps related to the topological Tverberg conjecture. Zbl 1382.55009 Basu, Samik; Ghosh, Surojit 2 2017 Topological Hochschild homology of \(K/p\) as a \(K_p^\wedge\) module. Zbl 1384.55006 Basu, Samik 1 2017 Topology of certain quotient spaces of Stiefel manifolds. Zbl 1369.55012 Basu, Samik; Subhash, B. 1 2017 Abstract formulations of some theorems on nonmeasurable sets. Zbl 1428.28002 Basu, S.; Sen, D. 1 2017 On deciding synchronizability for asynchronously communicating systems. Zbl 1353.68195 Basu, Samik; Bultan, Tevfik 8 2016 Homotopy groups and periodic geodesics of closed 4-manifolds. Zbl 1331.53064 Basu, Samik; Basu, Somnath 7 2015 Representing Bredon cohomology with local coefficients. Zbl 1318.55005 Basu, Samik; Sen, Debasis 2 2015 Some computations in equivariant cobordism in relation to Milnor manifolds. Zbl 1295.57036 Basu, Samik; Mukherjee, Goutam; Sarkar, Swagata 1 2014 Deciding choreography realizability. Zbl 1321.68183 Basu, Samik; Bultan, Tevfik; Ouederni, Meriem 20 2012 Synchronizability for verification of asynchronously communicating systems. Zbl 1325.68139 Basu, Samik; Bultan, Tevfik; Ouederni, Meriem 6 2012 Representing and reasoning with qualitative preferences for compositional systems. Zbl 1234.68454 Santhanam, Ganesh Ram.; Basu, Samik; Honavar, Vasant 1 2011 Reflection of generalized thermoelastic waves from isothermal and insulated boundaries of a half space. Zbl 1165.74343 Das, N. C.; Lahiri, A.; Sarkar, S.; Basu, S. 12 2008 Parameterized verification of \(\pi\)-calculus systems. Zbl 1180.68181 Yang, Ping; Basu, Samik; Ramakrishnan, C. R. 2 2006 Compositional analysis for verification of parameterized systems. Zbl 1031.68543 Basu, Samik; Ramakrishnan, C. R. 4 2003 Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582 Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh 2 2001 A process modelling framework for AGV control. Zbl 0949.90593 Basu, S.; Dutta, S. P.; North, W. P. T. 1 1999 all cited Publications top 5 cited Publications all top 5 Cited by 122 Authors 7 Basu, Samik 5 Lozes, Etienne 4 Di Giusto, Cinzia 3 Beben, Piotr 3 Huang, Ruizhi 3 Laversa, Laetitia 3 Montesi, Fabrizio 3 Theriault, Stephen D. 3 Tuosto, Emilio 2 Bartoletti, Massimo 2 Basu, Somnath 2 Blanc, David Abraham 2 Bultan, Tevfik 2 Chevrou, Florent 2 Cimoli, Tiziana 2 Gabbrielli, Maurizio 2 Giallorenzo, Saverio 2 Hebestreit, Fabian 2 Hurault, Aurélie 2 Lanese, Ivan 2 Mukherjee, Goutam 2 Ouederni, Meriem 2 Quéinnec, Philippe 2 Ramakrishnan, C. R. 2 Sagave, Steffen 2 Zunino, Roberto 1 Ait-Ameur, Yamine 1 Autili, Marco 1 Barbanera, Franco 1 Bárcenas, Noé 1 Basile, Davide 1 Behrens, Mark Joseph 1 Benyagoub, Sarah 1 Berglund, Alexander 1 Bonakdarpour, Borzoo 1 Borjeson, Kaj 1 Carbone, Marco 1 Charney, Ruth Michele 1 Coto, Alex 1 Cruz-Filipe, Luís 1 Dai, Fei 1 Dalla Preda, Mila 1 Das, Apurba 1 Dasgupta, Debanil 1 De Nicola, Rocco 1 Degano, Pierpaolo 1 Dey, Pinka 1 Espinoza, Jesús F. 1 Faghih, Fathiyeh 1 Ferrari, Gian Luigi 1 Filali, Mamoun 1 Finkel, Alain 1 Galatius, Søren 1 Gallagher, John P. 1 Gange, Graeme 1 Garavel, Hubert 1 Ghosh, Surojit 1 Guanciale, Roberto 1 Guizouarn, Loïc Germerie 1 Guo, Haifeng 1 Hahn, Jeremy 1 Huang, Bi 1 Inverardi, Paola 1 Jacobs, Swen 1 Johnson, Mark W. 1 Jongmans, Sung-Shik T. Q. 1 Kafle, Bishoksan 1 Karmakar, Aparajita 1 Kasilingam, Ramesh 1 Kharoof, Aziz 1 Kitchloo, Nitu 1 Kundu, Bikramjit 1 Lang, Frédéric 1 Liang, Zhihong 1 Liao, Shizhong 1 Liu, Jinglei 1 Liu, Miao 1 Mateescu, Radu 1 Matteucci, Ilaria 1 Mauro, Jacopo 1 Meadows, Nicholas J. 1 Melgratti, Hernán 1 Mignosi, Filippo 1 Mirzaie, Nahal 1 Mishra, Satyendra Kumar 1 Murgia, Maurizio 1 Naolekar, Anita 1 Ōshima, Hideaki 1 Ōshima, Katsumi 1 Peressotti, Marco 1 Pinna, G. Michele 1 Qiang, Zhenping 1 Raclet, Jean-Baptiste 1 Ramakrishnan, I. V. 1 Rasekh, Nima 1 Roop, Partha S. 1 Saha, Diptikalyan 1 Sankaran, Parameswaran 1 Schachte, Peter 1 Schewe, Klaus-Dieter ...and 22 more Authors all top 5 Cited in 34 Serials 7 Journal of Logical and Algebraic Methods in Programming 4 Algebraic & Geometric Topology 4 Logical Methods in Computer Science 3 Acta Informatica 2 Advances in Mathematics 2 Forum Mathematicum 2 Journal of the Ramanujan Mathematical Society 2 The New York Journal of Mathematics 2 Journal of Homotopy and Related Structures 1 Indian Journal of Pure & Applied Mathematics 1 Information Sciences 1 Inventiones Mathematicae 1 Journal of Computer and System Sciences 1 Journal of the Mathematical Society of Japan 1 Journal of Pure and Applied Algebra 1 Mathematische Annalen 1 Osaka Journal of Mathematics 1 Proceedings of the American Mathematical Society 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 International Journal of Foundations of Computer Science 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences 1 Distributed Computing 1 Journal of Mathematical Sciences (New York) 1 Complexity 1 Documenta Mathematica 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Oberwolfach Reports 1 Forum of Mathematics, Sigma 1 Research in the Mathematical Sciences all top 5 Cited in 15 Fields 35 Computer science (68-XX) 27 Algebraic topology (55-XX) 15 Manifolds and cell complexes (57-XX) 5 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 3 Associative rings and algebras (16-XX) 3 \(K\)-theory (19-XX) 2 Nonassociative rings and algebras (17-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Differential geometry (53-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year