No photo of Bhubaneswar Mishra

Bhubaneswar Mishra

Professor of Computer Science and Mathematics

    1979 …2024

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2021

      Coins, Covid, Keynes and K-Shaped Recovery

      Martinez, P., Huang, W. & Mishra, B., 2021, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 611-627 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12676 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2020

      Prospero’s Books: A Distributed Architecture for AI: Invited Extended Abstract

      Mishra, B., 2020, Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Proceedings. Hung, D. V. & D’Souza, M. (eds.). Springer, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11969 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Tech and the city: Axialization, institutionalization and disruption

      Mishra, B., 2020, Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360, Proceedings. Santos, H., Pereira, G. V., Budde, M., Lopes, S. F. & Nikolic, P. (eds.). Springer, p. 3-12 10 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 323 LNICST).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2018

      Probabilistic causal analysis of social influence

      Bonchi, F., Mishra, B., Gullo, F. & Ramazzotti, D., Oct 17 2018, CIKM 2018 - Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 1003-1012 10 p. (International Conference on Information and Knowledge Management, Proceedings).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      Open Access
    • 2017

      Malware Fingerprinting under Uncertainty

      Ghosh, K., Casey, W., Morales, J. A. & Mishra, B., Jul 20 2017, Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017. Qiu, M. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 276-286 11 p. 7987210. (Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2016

      Sandboxing and reasoning on malware infection trees

      Ghosh, K., Morales, J. A., Casey, W. & Mishra, B., Feb 18 2016, 2015 10th International Conference on Malicious and Unwanted Software, MALWARE 2015. Institute of Electrical and Electronics Engineers Inc., p. 69-73 5 p. 7413686. (2015 10th International Conference on Malicious and Unwanted Software, MALWARE 2015).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Visualizing a Malware Distribution Network

      Peryt, S., Andre Morales, J., Casey, W., Volkmann, A., Mishra, B. & Cai, Y., Nov 8 2016, 2016 IEEE Symposium on Visualization for Cyber Security, VizSec 2016. Staheli, D., Harrison, L., Prigent, N., Best, D. M. & Engle, S. (eds.). Institute of Electrical and Electronics Engineers Inc., 7739585. (2016 IEEE Symposium on Visualization for Cyber Security, VizSec 2016).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2015

      Compliance control: Managed vulnerability surface in social-technological systems via signaling games

      Casey, W., Zhu, Q., Morales, J. A. & Mishra, B., Oct 16 2015, MIST 2015 - Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, co-located with CCS 2015. Association for Computing Machinery, Inc, p. 53-62 10 p. (MIST 2015 - Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, co-located with CCS 2015).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Decidability of robot manipulation planning: Three disks in the plane

      Vendittelli, M., Laumond, J. P. & Mishra, B., 2015, Algorithmic Foundations of Robotics - Selected Contributions of the 11th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014. van der Stappen, A. F., Levent Akin, H., Amato, N. M. & Isler, V. (eds.). Springer Verlag, p. 641-657 17 p. (Springer Tracts in Advanced Robotics; vol. 107).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Gappy Total ReCaller: Efficient algorithms and data structures for accurate transcriptomics

      Mishra, B., 2015, Distributed Computing and InternetTechnology - 11th International Conference, ICDCIT 2015, Proceedings. Natarajan, R., Barua, G. & Patra, M. R. (eds.). Springer Verlag, p. 150-161 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8956).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2014

      Agent-based trace learning in a recommendation-verification system for cybersecurity

      Casey, W., Wright, E., Morales, J. A., Appel, M., Gennari, J. & Mishra, B., Dec 29 2014, Proceedings of the 9th IEEE International Conference on Malicious and Unwanted Software, MALCON 2014. Institute of Electrical and Electronics Engineers Inc., p. 135-143 9 p. 6999404. (Proceedings of the 9th IEEE International Conference on Malicious and Unwanted Software, MALCON 2014).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Cyber security via signaling games: Toward a science of cyber security

      Casey, W., Morales, J. A., Nguyen, T., Spring, J., Weaver, R., Wright, E., Metcalf, L. & Mishra, B., 2014, Distributed Computing and Internet Technology - 10th International Conference, ICDCIT 2014, Proceedings. Springer Verlag, p. 34-42 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8337 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • On algorithmic complexity of biomolecular sequence assembly problem

      Narzisi, G., Mishra, B. & Schatz, M. C., 2014, Algorithms for Computational Biology - First International Conference, AlCoB 2014, Proceedings. Springer Verlag, p. 183-195 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8542 LNBI).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2012

      Towards cancer automata

      Mishra, B., Loohuis, L. O. & Witzel, A., Sep 3 2012, HSB 2012: First international workshop on hybrid systems and biology, September 3, 2012 New Castle on Tyne, UK .

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2011

      Improved assembly accuracy by integrating base-calling, error correction and assembly

      Mishra, B., Menges, F. & Narzisi, G., 2011, Conferences and meeting on bioinformatics and computation biology, September 15, 2011, New Delhi.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2010

      The temporal logic of token causes

      Kleinberg, S. & Mishra, B., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. Institute of Electrical and Electronics Engineers Inc., p. 575-577 3 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2009

      Efficient and robust prediction algorithms for protein complexes using gomory-hu trees

      Mitrofanova, A., Farach-Colton, M. & Mishra, B., 2009, Pacific Symposium on Biocomputing 2009, PSB 2009. p. 215-226 12 p. (Pacific Symposium on Biocomputing 2009, PSB 2009).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2008

      Complexities, catastrophies and cities: Emergency dynamic in varying scenarios and urban topolgies

      Mishra, B., Narzisi, G. & al., 2008, Proceedings of the international conference on complex systems 2008.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Decidable compositions of O-minimal automata

      Casagrande, A., Corvaja, P., Piazza, C. & Mishra, B., 2008, Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Proceedings. Springer Verlag, p. 274-288 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5311 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      Open Access
    • Deriving kripke structures from time series segmentation results

      Tadepalli, S., Ramakrishnan, N., Mishra, B., Watson, L. T. & Helm, R. F., 2008, Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08. p. 406-411 6 p. 4605980. (Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Integrative protein function transfer using factor graphs and heterogeneous data sources

      Mitrofanova, A., Pavlovic, V. & Mishra, B., 2008, Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008. p. 314-318 5 p. 4684910. (Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Modeling and simulation of e-mail social networks: A new stochastic agent-based approach

      Menges, F., Mishra, B. & Narzisi, G., 2008, Proceedings of the 2008 Winter Simulation Conference, WSC 2008. p. 2792-2800 9 p. 4736399. (Proceedings - Winter Simulation Conference).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      Open Access
    • Multiple testing of causal hypotheses

      Mishra, B. & Kleinberg, S., 2008, International conference: Causality and probability in the sciences (CAPITS 2008), Keynes College, University of Kent, Canterbury, UK September 2008.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • On a novel coalescent model for genome-wide evolution of copy number variations

      Mishra, B. & Mitrofanova, A., 2008, The twenty-third annual ACM symposium on applied computing (SAC 2008), March 16-20, 2008, Ceara, Brazil.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Population genetics of human copy number variations: Models and simulation of their evolution along and across the genomes

      Mitrofanova, A. & Mishra, B., 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 1309-1310 2 p. (Proceedings of the ACM Symposium on Applied Computing).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Psst: A web-based system for tracking political statements

      Kleinberg, S. & Mishra, B., 2008, Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08. p. 1143-1144 2 p. (Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Simultaneously segmenting multiple gene expression time courses by analyizing cluster dynamics

      Mishra, B., Tadepalli, S., Ramakrishnan, N., Watson, L. T. & Helm, R. F., 2008, The sixth Asia Pacific bioinformatics conference (APBC 2008), January 2008, Kyoto, Japan. p. 14-17

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Simultaneously segmenting multiple gene expression time courses by analyzing cluster dynamics

      Tadepalli, S., Ramakrishnan, N., Watson, L. T., Mishra, B. & Helm, R. F., 2008, Proceedings of 6th Asia-Pacific Bioinformatics Conference, APBC 2008. p. 297-306 10 p. (Series on Advances in Bioinformatics and Computational Biology; vol. 6).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Systems biology via redescription and ontologies (II): A tool for discovery in complex systems

      Mishra, B. & Kleinberg, S., 2008, Proceedings of the international conference on complex systems 2008.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Systems biology via redescription and ontologies (III): Protein classification using malaria parasite's temporal transcriptomic profiles

      Mitrofanova, A., Kleinberg, S., Carlton, J., Kasif, S. & Mishra, B., 2008, Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008. p. 278-283 6 p. 4684903. (Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      Open Access
    • 2007

      Algebraic systems biology: Theses and hypotheses

      Mishra, B., 2007, Algebraic Biology - Second International Conference, AB 2007, Proceedings. Springer Verlag, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4545 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Algorithmic algebraic model checking IV: Characterization of metabolic networks

      Mysore, V. & Mishra, B., 2007, Algebraic Biology - Second International Conference, AB 2007, Proceedings. Springer Verlag, p. 170-184 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4545 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Composing semi-algebraic O-minimal automata

      Casagrande, A., Corvaja, P., Piazza, C. & Mishra, B., 2007, Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Springer Verlag, p. 668-671 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4416 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Discovering relations among GO-annotated clusters by graph kernel methods

      Zoppis, I., Merico, D., Antoniotti, M., Mishra, B. & Mauri, G., 2007, Bioinformatics Research and Applications - Third International Symposium, ISBRA 2007, Proceedings. Springer Verlag, p. 158-169 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4463 LNBI).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Resilience in the face of disaster: Accounting for varying disaster magnitudes, resource topologies, and (sub)population distributions in the PLAN C emergency planning tool

      Narzisi, G., Mincer, J. S., Smith, S. & Mishra, B., 2007, Holonic and Multi-Agent Systems for Manufacturing - 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Proceedings. Springer Verlag, p. 433-446 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4659 LNAI).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Successive abstractions of hybrid automata for monotonic CTL model checking

      Gentilini, R., Schneider, K. & Mishra, B., 2007, Logical Foundations of Computer Science - International Symposium, LFCS 2007, Proceedings. Springer Verlag, p. 224-240 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4514 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      Open Access
    • Synchronized product of semi-algebraic O-minimal hybrid automata

      Mishra, B., Casagrande, A., Corvaja, P. & Piazza, C., 2007, The tenth international workshop on hybrid systems: Computation and control (HSCC 2007), Pisa, Italy. p. 668-671

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Systems biology via redescription and onotologies (I): Finding phase changes with applications to malaria temporal data

      Mishra, B., 2007, Life system modeling and simulation (LSLMS 07), September 2007, Shanghai, China.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Translating time-course gene expression profiles into semi-algebraic hybrid automata via dimensionality reduction

      Casagrande, A., Casey, K., Falchi, R., Piazza, C., Rupert, B., Vizzotto, G. & Mishra, B., 2007, Algebraic Biology - Second International Conference, AB 2007, Proceedings. Springer Verlag, p. 51-65 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4545 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2006

      CLARITY: Algorithms for semantic comparison of time-coarse transcriptomic data

      Mishra, B. & Kleinberg, S., 2006, International symposium on computational biology and bioinformatics: ISBB '06, Bhubaneswar, India, December 15-17, 2006.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • COMBAT: Search rapidly for highly similar protein-coding sequences using bipartite graph matching

      Sun, B., Schwartz, J. T., Gill, O. H. & Mishra, B., 2006, Computational Science - ICCS 2006: 6th International Conference, Proceedings. Springer Verlag, p. 654-661 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3992 LNCS - II).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Complexities, catastrophes and cities: Agent-based analysis of large-scale urban emergency response

      Mishra, B., Narzisi, G. & al., 2006, International conference on complex systems, Quincy, Boston, MA June 2006.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Emergency response planning for a potential sarin gas attack in Manhattan using agent based models

      Mishra, B., Mysore, V. & Narzisi, G., 2006, Agent technology for disaster management notification: ATDM '06 Hakodate, Japan May 8, 2006.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning

      Narzisi, G., Mysore, V. & Mishra, B., 2006, Proceedings of the 2nd IASTED International Conference on Computational Intelligence, CI 2006. p. 224-230 7 p. (Proceedings of the 2nd IASTED International Conference on Computational Intelligence, CI 2006).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Multiple biological model classification: From system biology to synthetic biology

      Mishra, B., Antoniotti, M. & al., 2006, Second annual workshop on concurrent molecular biology (BioConcur '04), The Royal Society, London, UK August 2004. Springer Verlag

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • PLANAR: RNA sequence alignment using non-affine gap penalty and secondary structure

      Mishra, B., Gill, O. & Ramakrishnan, N., 2006, International symposium on computational biology and bioinformatics (ISBB '06), Bhubaneswar, India December 15-17, 2006.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Remembrance of the experiments past: A redescription based tool for discovery in complex systems

      Mishra, B. & Kleinberg, S., 2006, International conference on complex systems, Quincy, Boston, MA June 2006.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • SEPA: Approximate non-subjective empirical p-value estimation for nucleotide sequence alignment

      Gill, O. & Mishra, B., 2006, Computational Science - ICCS 2006: 6th International Conference, Proceedings. Springer Verlag, p. 638-645 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3992 LNCS - II).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • 2005

      Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology

      Mysore, V., Piazza, C. & Mishra, B., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3707 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    • Algorithmic algebraic model checking III: Approximate methods

      Mishra, B. & Mysore, V., 2005, 7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005.

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Your message has successfully been sent.
    Your message was not sent due to an error.