Anirban Bhattacharyya

According to our database, Anirban Bhattacharyya authored at least 15 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Structured Acyclic Nets.

Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell

CoRR, 2024

2023

An interpretable deep learning model for time-series electronic health records: Case study of delirium prediction in critical care.

Seyedmostafa Sheikhalishahi, Anirban Bhattacharyya, Leo Anthony Celi, Venet Osmani

Artif. Intell. Medicine, October, 2023

Confusion-Tolerant Computation of Probability in Acyclic Nets.

Anirban Bhattacharyya, Maciej Koutny

Trans. Petri Nets Other Model. Concurr., 2023

2018

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.

Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Formal Aspects Comput., 2017

2016

Time in Structured Occurrence Nets.

Anirban Bhattacharyya, Bowen Li, Brian Randell

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara

CoRR, 2014

2013

Formal modelling and analysis of dynamic reconfiguration of dependable systems.

Anirban Bhattacharyya

PhD thesis, 2013

2011

Genome-wide mapping of RNA Pol-II promoter usage in mouse tissues by ChIP-seq.

Hao Sun, Jiejun Wu, Priyankara Wikramasinghe, Sharmistha Pal, Ravi Gupta, Anirban Bhattacharyya, Francisco J. Agosto-Perez, Louise C. Showe, Tim Hui-Ming Huang, Ramana V. Davuluri

Nucleic Acids Res., 2011

MPromDb update 2010: an integrated resource for annotation and visualization of mammalian gene promoters and ChIP-seq experimental data.

Ravi Gupta, Anirban Bhattacharyya, Francisco J. Agosto-Perez, Priyankara Wikramasinghe, Ramana V. Davuluri

Nucleic Acids Res., 2011

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Design, Modelling and Analysis of a Workflow Reconfiguration.

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

Manuel Mazzara, Anirban Bhattacharyya

CoRR, 2010

Annotation of gene promoters by integrative data-mining of ChIP-seq Pol-II enrichment data.

Ravi Gupta, Priyankara Wikramasinghe, Anirban Bhattacharyya, Francisco A. Perez, Sharmistha Pal, Ramana V. Davuluri

BMC Bioinform., 2010

2008

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary.

Anirban Bhattacharyya, John S. Fitzgerald

Proceedings of the SERENE 2008, 2008