Bud Mishra - RankMe

121 papers A* 7A 5B 5C 5Misc 15Journal 56Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Modeling Epidemiological Dynamics Under Adversarial Data and User Deception. CoRR Yiqi Su, Christo Kurisummoottil Thomas, Walid Saad, Bud Mishra, Naren Ramakrishnan
2024	J	`jnl`	AI, Thinking Machines and a Vast Active Living Intelligent System. Int. J. Artif. Intell. Robotics Res. Bud Mishra
2024	—	`book`	The Mischief of Math - Short Stories of Clowns, Contortionists, and Court-Jesters The Mischief of Math Inavamsi Enaganti, Nivedita Ganesh, Bud Mishra, Alexander Lu
2021	—	`conf`	Coins, Covid, Keynes and K-Shaped Recovery. Financial Cryptography Workshops Pepi Martinez, William Huang, Bud Mishra
2021	J	`jnl`	Creolizing the Web. CoRR Abhinav Tamaskar, Roy Rinberg, Sunandan Chakraborty, Bud Mishra
2021	J	`jnl`	Decidability in robot manipulation planning. Auton. Robots Marilena Vendittelli, Andrea Cristofaro, Jean-Paul Laumond, Bud Mishra
2021	J	`jnl`	Efficient Evolutionary Models with Digraphons. CoRR Abhinav Tamaskar, Bud Mishra
2021	J	`jnl`	PHENSIM: Phenotype Simulator. PLoS Comput. Biol. Salvatore Alaimo, Rosaria Valentina Rapicavoli, Gioacchino P. Marceca, Alessandro La Ferlita, Oksana B. Serebrennikova, Philip N. Tsichlis, Bud Mishra, Alfredo Pulvirenti, Alfredo Ferro
2021	J	`jnl`	To mock a Mocking bird : Studies in Biomimicry. CoRR Inavamsi Enaganti, Bud Mishra
2020	J	`jnl`	Correction to: Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
2019	—	`ed.`	Bio-inspired Information and Communication Technologies - 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019, Proceedings BICT Adriana B. Compagnoni, William Casey, Yang Cai, Bud Mishra
2019	J	`jnl`	Deception, identity, and security: the game theory of sybil attacks. Commun. ACM William Casey, Ansgar Kellner, Parisa Memarmoshrefi, Jose Andre Morales, Bud Mishra
2019	—	`conf`	Tech and the City: Axialization, Institutionalization and Disruption. SmartCity360° Bud Mishra
2018	J	`jnl`	Causal data science for financial stress testing. J. Comput. Sci. Gelin Gao, Bud Mishra, Daniele Ramazzotti
2018	J	`jnl`	Decidability in Robot Manipulation Planning. CoRR Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra
2018	A	`conf`	Probabilistic Causal Analysis of Social Influence. CIKM Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti
2018	J	`jnl`	Probabilistic Causal Analysis of Social Influence. CoRR Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti
2017	Misc	`conf`	Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. ICCS Gelin Gao, Bud Mishra, Daniele Ramazzotti
2017	J	`jnl`	Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. CoRR Gelin Gao, Bud Mishra, Daniele Ramazzotti
2017	J	`jnl`	Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
2017	—	`conf`	Malware Fingerprinting under Uncertainty. CSCloud Krishnendu Ghosh, William Casey, Jose Andre Morales, Bud Mishra
2016	J	`jnl`	Compliance signaling games: toward modeling the deterrence of insider threats. Comput. Math. Organ. Theory William Casey, Jose Andre Morales, Evan Wright, Quanyan Zhu, Bud Mishra
2016	J	`jnl`	Design of the TRONCO BioConductor Package for TRanslational ONCOlogy. R J. Marco Antoniotti, Giulio Caravagna, Luca De Sano, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Daniele Ramazzotti
2016	J	`jnl`	Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems. Mob. Networks Appl. William Casey, Rhiannon Weaver, Jose Andre Morales, Evan Wright, Bud Mishra
2016	J	`jnl`	Identity Deception and Game Deterrence via Signaling Games. EAI Endorsed Trans. Security Safety William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra
2016	J	`jnl`	TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data. Bioinform. Luca De Sano, Giulio Caravagna, Daniele Ramazzotti, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Marco Antoniotti
2016	J	`jnl`	Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. William Casey, Jose Andre Morales, Bud Mishra
2016	C	`conf`	Visualizing a Malware Distribution Network. VizSEC Sebastian Peryt, Jose Andre Morales, William Casey, Aaron Volkmann, Bud Mishra, Yang Cai
2015	J	`jnl`	CAPRI: efficient inference of cancer progression models from cross-sectional data. Bioinform. Daniele Ramazzotti, Giulio Caravagna, Loes Olde Loohuis, Alex Graudenzi, Ilya Korsunsky, Giancarlo Mauri, Marco Antoniotti, Bud Mishra
2015	—	`conf`	Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games. MIST@CCS William Austin Casey, Quanyan Zhu, Jose Andre Morales, Bud Mishra
2015	J	`jnl`	Exposing the Probabilistic Causal Structure of Discrimination. CoRR Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
2015	Misc	`conf`	Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics. ICDCIT Bud Mishra
2015	—	`conf`	Identity Deception and Game Deterrence via Signaling Games. BICT William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra
2015	—	`conf`	Sandboxing and reasoning on malware infection trees. MALWARE Krishnendu Ghosh, Jose Andre Morales, William Casey, Bud Mishra
2014	—	`conf`	Agent-based trace learning in a recommendation-verification system for cybersecurity. MALWARE William Casey, Evan Wright, Jose Andre Morales, Michael Appel, Jeff Gennari, Bud Mishra
2014	J	`jnl`	Cancer hybrid automata: Model, beliefs and therapy. Inf. Comput. Loes Olde Loohuis, Andreas Witzel, Bud Mishra
2014	—	`conf`	Cyber Security via Minority Games with Epistatic Signaling. BICT William Casey, Rhiannon Weaver, Leigh Metcalf, Jose Andre Morales, Evan Wright, Bud Mishra
2014	Misc	`conf`	Cyber Security via Signaling Games: Toward a Science of Cyber Security. ICDCIT William Casey, Jose Andre Morales, Thomson Nguyen, Jonathan M. Spring, Rhiannon Weaver, Evan Wright, Leigh Metcalf, Bud Mishra
2014	C	`conf`	Decidability of Robot Manipulation Planning: Three Disks in the Plane. WAFR Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra
2014	J	`jnl`	Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. Loes Olde Loohuis, Andreas Witzel, Bud Mishra
2014	J	`jnl`	Inference of Cancer Progression Models with Biological Noise. CoRR Ilya Korsunsky, Daniele Ramazzotti, Giulio Caravagna, Bud Mishra
2014	—	`conf`	On Algorithmic Complexity of Biomolecular Sequence Assembly Problem. AlCoB Giuseppe Narzisi, Bud Mishra, Michael C. Schatz
2012	J	`jnl`	Discovering the Ebb and Flow of Ideas from Text Corpora. Computer Justin Jee, Lee Case Klippel, Mahmud Shahriar Hossain, Naren Ramakrishnan, Bud Mishra
2012	J	`jnl`	Image Analysis and Length Estimation of Biomolecules Using AFM. IEEE Trans. Inf. Technol. Biomed. Andrew Sundstrom, Silvio Cirrone, Salvatore Paxia, Carlin Hsueh, Rachel Kjolby, James K. Gimzewski, Jason Reed, Bud Mishra
2012	J	`jnl`	Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons CoRR Francesco Vezzi, Giuseppe Narzisi, Bud Mishra
2012	J	`jnl`	The Temporal Logic of Causal Structures CoRR Samantha Kleinberg, Bud Mishra
2012	—	`conf`	Towards Cancer Hybrid Automata HSB Loes Olde Loohuis, Andreas Witzel, Bud Mishra
2011	J	`jnl`	Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data. IEEE ACM Trans. Comput. Biol. Bioinform. Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra
2011	J	`jnl`	Scoring-and-unfolding trimmed tree assembler: concepts, constructs and comparisons. Bioinform. Giuseppe Narzisi, Bud Mishra
2011	J	`jnl`	TotalReCaller: improved accuracy and performance via integrated alignment and base-calling. Bioinform. Fabian Menges, Giuseppe Narzisi, Bud Mishra
2010	J	`jnl`	On a novel coalescent model for genome-wide evolution of Copy Number Variations. Int. J. Data Min. Bioinform. Antonina Mitrofanova, Bud Mishra
2010	J	`jnl`	Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle. Artif. Intell. Medicine Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra
2010	A*	`conf`	The Temporal Logic of Token Causes. KR Samantha Kleinberg, Bud Mishra
2009	Misc	`conf`	Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees. Pacific Symposium on Biocomputing Antonina Mitrofanova, Martin Farach-Colton, Bud Mishra
2009	J	`jnl`	Metamorphosis: the Coming Transformation of Translational Systems Biology. ACM Queue Samantha Kleinberg, Bud Mishra
2009	J	`jnl`	Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. J. Bioinform. Comput. Biol. Satish Tadepalli, Naren Ramakrishnan, Layne T. Watson, Bud Mishra, Richard F. Helm
2009	J	`jnl`	Technical perspective - Where biology meets computing. Commun. ACM Bud Mishra
2009	A	`conf`	The Temporal Logic of Causal Structures. UAI Samantha Kleinberg, Bud Mishra
2008	C	`ed.`	Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA WAFR Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra
2008	B	`conf`	Decidable Compositions of O-Minimal Automata. ATVA Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2008	—	`ed.`	Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings HSCC Magnus Egerstedt, Bud Mishra
2008	J	`jnl`	Inclusion dynamics hybrid automata. Inf. Comput. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
2008	—	`conf`	Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. BIBM Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra
2008	Misc	`conf`	Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. WSC Fabian Menges, Bud Mishra, Giuseppe Narzisi
2008	Misc	`conf`	Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. SAC Antonina Mitrofanova, Bud Mishra
2008	A*	`conf`	Psst: a web-based system for tracking political statements. WWW Samantha Kleinberg, Bud Mishra
2008	J	`jnl`	Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics. Int. J. Robotics Res. Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra
2008	—	`conf`	Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles. BIBM Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra
2007	—	`conf`	Algebraic Systems Biology: Theses and Hypotheses. AB Bud Mishra
2007	—	`conf`	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB Venkatesh Mysore, Bud Mishra
2007	—	`conf`	Composing Semi-algebraic O-Minimal Automata. HSCC Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2007	—	`conf`	Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri
2007	J	`jnl`	From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research. PLoS Comput. Biol. Jomol P. Mathew, Barry S. Taylor, Gary D. Bader, Saiju Pyarajan, Marco Antoniotti, Arul M. Chinnaiyan, Chris Sander, Steven J. Burakoff, Bud Mishra
2007	J	`jnl`	Functional genomics via multiscale analysis: application to gene expression and ChIP-on-chip data. Bioinform. Gilad Lerman, Joseph McQuown, Alexandre Blais, Brian D. Dynlacht, Guangliang Chen, Bud Mishra
2007	—	`conf`	Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool. HoloMAS Giuseppe Narzisi, Joshua S. Mincer, Silas Smith, Bud Mishra
2007	Misc	`conf`	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS Raffaella Gentilini, Klaus Schneider, Bud Mishra
2007	—	`conf`	Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra
2006	Misc	`conf`	COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. International Conference on Computational Science (2) Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra
2006	—	`conf`	Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. Computational Intelligence Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
2006	Misc	`conf`	SEPA: Approximate Non-subjective Empirical International Conference on Computational Science (2) Ofer H. Gill, Bud Mishra
2006	—	`ed.`	Transactions on Computational Systems Biology VII Trans. Computational Systems Biology Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson
2006	J	`jnl`	Validation of J. Comput. Biol. Joseph West, John Healy, Michael Wigler, William Casey, Bud Mishra
2005	A*	`conf`	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
2005	B	`conf`	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA Venkatesh Mysore, Carla Piazza, Bud Mishra
2005	—	`conf`	Algorithmic Algebraic Model Checking III: Approximate Methods. INFINITY Venkatesh Mysore, Bud Mishra
2005	—	`ch.`	Aligning sequences with non-Affine Gap penalty: Plains Algorithm, a Practical Implementation, and its biological Applications in Comparative genomics. Advances in Bioinformatics and Its Applications Ofer H. Gill, Yi Zhou, Bud Mishra
2005	Misc	`conf`	Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
2005	—	`conf`	Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC Alberto Casagrande, Carla Piazza, Bud Mishra
2004	J	`jnl`	Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
2004	Misc	`conf`	Time-frequency feature detection for time-course microarray data. SAC Jiawu Feng, Paolo Emilio Barbano, Bud Mishra
2004	A*	`conf`	Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm
2003	Misc	`conf`	A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC Will Casey, Bud Mishra
2003	Misc	`conf`	Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra
2003	Misc	`conf`	Life's Duplicities: Sex, Death, and Valis. HiPC Bud Mishra
2002	J	`jnl`	A Random Walk Down the Genomes: DNA Evolution in Valis. Computer Salvatore Paxia, Archisman Rudra, Yi Zhou, Bud Mishra
2002	J	`jnl`	Comparing gnomes. Comput. Sci. Eng. Bud Mishra
2002	Misc	`conf`	XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra
2001	C	`conf`	False Positives in Genomic Map Assembly and Sequence Validation. WABI Thomas S. Anantharaman, Bud Mishra
2001	C	`conf`	Placing Probes along the Genome Using Pairwise Distance Data. WABI Will Casey, Bud Mishra, Michael Wigler
2000	J	`jnl`	On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences. SIAM J. Comput. Richard Cole, Bud Mishra, Jeanette P. Schmidt, Alan Siegel
2000	J	`jnl`	Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. Discret. Appl. Math. Laxmi Parida, Bud Mishra
2000	J	`jnl`	Probabilistic Algorithms for Efficient Grasping and Fixturing. Algorithmica Marek Teichmann, Bud Mishra
2000	J	`jnl`	Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. Int. J. Robotics Res. Marek Teichmann, Bud Mishra
1999	A	`conf`	Genomics via Optical Mapping III: Contiging Genomic DNA. ISMB Thomas S. Anantharaman, Bud Mishra, David C. Schwartz
1998	B	`conf`	New approaches to genomic analysis using single molecules. RECOMB David C. Schwartz, Thomas S. Anantharaman, C. Aston, Bud Mishra, V. Clarke, D. Gebauer, S. Delobette, E. Dimalanta, J. Edington, J. Evenzehav, J. Giacalone, C. Hiort, E. Huff, J. Jing, Z. Lai, E. Lee, J. Lin, B. Porter, R. Qi, Y. Skiadis
1998	B	`conf`	Partitioning RECOMB Laxmi Parida, Bud Mishra
1997	J	`jnl`	Genomics via Optical Mapping II: Ordered Restriction Maps. J. Comput. Biol. Thomas S. Anantharaman, Bud Mishra, David C. Schwartz
1997	B	`conf`	Statistical Algorithms and Software for Genomics. COMPSAC Thomas S. Anantharaman, Bud Mishra
1996	—	`conf`	CAFE': a Complex Adaptive Financial Environment. CIFEr Roil Even, Bud Mishra
1995	A*	`conf`	Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. ICRA Marco Antoniotti, Bud Mishra
1994	A*	`conf`	Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. ICRA Marek Teichmann, Bud Mishra
1992	J	`jnl`	NC Algorithms for Real Algebraic Numbers. Appl. Algebra Eng. Commun. Comput. Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy
1991	J	`jnl`	An NL Hierarchy. Inf. Process. Lett. Jianer Chen, Jim Cox, Bud Mishra
1991	A	`conf`	On the competitiveness of on-line real-time task scheduling. RTSS Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bud Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang
1991	A	`conf`	Workholding-analysis and planning. IROS Bud Mishra
1989	J	`jnl`	Notes on Gröbner bases. Inf. Sci. Bud Mishra, Chee-Keng Yap
1989	J	`jnl`	Some discussion of static gripping and its stability. IEEE Trans. Syst. Man Cybern. Bud Mishra, Naomi Silver
1986	J	`jnl`	Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Trans. Computers Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra
1986	J	`jnl`	Compiling Path Expressions Into VLSI Circuits. Distributed Comput. Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
1985	A*	`conf`	Compiling Path Expressions into VLSI Circuits. POPL Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
1983	—	`conf`	Automatic Verification of Asynchronous Circuits. Logic of Programs Edmund M. Clarke, Bud Mishra