×
Author ID: basu.samik Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year