Colonic conduit for esophageal bypass in Celphos-induced tracheoesophageal fistula: our experience of two cases von Srivastava, Vivek, Ansari, Mumtaz, Basu, Somprakas, Agrawal, Damayanti, Lahiri, T.K, Kumar, Anand

Volltext

Giant mediastinal haemangiopericytoma: an uncommon case von Agrawal, D, Lahiri, T K, Lakhotia, S, Singh, Deepak

Volltext

Uncommon parathyroid mediastinal cyst compressing the trachea von AGRAWAL, D, LAHIRI, T. K, AGRAWAL, Anshu, MANISH KUMAR SINGH

Volltext

Enhanced external counterpulsation as an effective nonsurgical solution for ischemic heart disease patients von Kumar, Sanjay, Lahiri, T

Volltext

Pulmonary nocardiosis presenting as fungal ball--a rare entity von Tilak, Ragini, Agarwal, D, Lahiri, T K, Tilak, Vijai

Volltext

Role of magill forcep in retrieval of foreign body coin von Singh, Gautam Bir, Aggarwal, Damyanti, Mathur, B. D., Lahiri, T. K., Aggarwal, M. K., Jain, R. K.

Volltext

Pulmonary fungal ball in non-immunocompromised patient: a case report von Jain, Ragini, Agarwal, D, Lahiri, T K, Tilak, Vijai, Gulati, A K

Volltext

Clinico-radiological Follow-up Study of Empyema Thoracis in Children von MISHRA, O. P., DAS, B. K., JAIN, A. K., LAHIRI, T. K., SEN, P. C., BHARGAVA, V.

Volltext

Carcinoma of the esophagus in childhood von ARYYA, N. C, LAHIRI, T. K, GANGOPADHYAY, A. N, ASTHANA, A. K

Volltext

Properties of the discotic-nematic to isotropic transition: influence of short range orientational order von Singh, Kalyan, Singh, Shri, Lahiri, T. K.

Volltext

Perturbation theory for discotic nematic liquid crystals of axially symmetric molecules: effect of dispersion interaction von SINGH, KALYAN, PANDEY, N. S., LAHIRI, T. K.

Volltext

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode von Albert, Elvira, Gordillo, Pablo, Livshits, Benjamin, Rubio, Albert, Sergey, Ilya

Volltext

The effect of pressure on the discotic nematic-isotropic transition properties von Lahiri, T. K., Singh, S., Singh, K.

Volltext

Verifying Rust Programs with SMACK von Baranowski, Marek, He, Shaobo, Rakamarić, Zvonimir

Volltext

A Formally Verified Motion Planner for Autonomous Vehicles von Rizaldi, Albert, Immler, Fabian, Schürmann, Bastian, Althoff, Matthias

Volltext

Accelerated Model Checking of Parametric Markov Chains von Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven

Volltext

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs von Takisaka, Toru, Oyabu, Yuichiro, Urabe, Natsuki, Hasuo, Ichiro

Volltext

Formal Specification for Deep Neural Networks von Seshia, Sanjit A., Desai, Ankush, Dreossi, Tommaso, Fremont, Daniel J., Ghosh, Shromona, Kim, Edward, Shivakumar, Sumukh, Vazquez-Chanlatte, Marcell, Yue, Xiangyu

Volltext

PSense: Automatic Sensitivity Analysis for Probabilistic Programs von Huang, Zixin, Wang, Zhenbang, Misailovic, Sasa

Volltext

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates von Jagtap, Pushpak, Soudjani, Sadegh, Zamani, Majid

Volltext