Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jacob Chang

dblp:15/947 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2026
0000-0002-3719-7949ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program verification · 77% Requirements engineering and software design · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › refinement
interface refinement
0.012004
Using Interface Refinement to Integrate Formal Verification into the Design Cycle · CAV 2004
Requirements engineering and software design
design process
0.012004
Using Interface Refinement to Integrate Formal Verification into the Design Cycle · CAV 2004
YearPublicationVenuePosition
2026 Multi-sample and multi-group spatial colocalization analysis using PANORAMIC
abstract
MOTIVATION: Spatial omics studies compare cell-cell organization across samples, but most methods model between-sample variability while treating sample-level spatial estimates as error-free. Overlooking within-sample uncertainty can distort inference in heterogeneous cohorts, motivating methods that explicitly quantify and propagate this uncertainty into cohort-level analyses. RESULTS: We present Pooled ANalysis Of VaRiance-Aware Modeling and Inference of Colocalization (PANORAMIC), a hierarchical framework for spatial colocalization analysis that uses edge-corrected neighborhood enrichment to estimate local cell-type colocalization, spatial bootstrapping to quantify within-sample uncertainty, and multilevel random-effects meta-analysis to propagate this uncertainty across samples, patients, and conditions. In simulations, PANORAMIC improved recovery of within-sample uncertainty and between-sample heterogeneity relative to naive estimators across diverse spatial settings and progressive data degradation. Applied to a colorectal cancer tissue microarray profiled by multiplexed immunofluorescence imaging, PANORAMIC identified stronger B- and T-cell colocalization in tumors with Crohn's-like reaction than in tumors with diffuse inflammatory infiltration, together with tighter higher-order immune organization consistent with immune aggregates. These findings were missed using standard methods, showing that propagating within-sample spatial uncertainty can improve cohort-level inference in spatial omics studies. AVAILABILITY AND IMPLEMENTATION: PANORAMIC is released as an open-source R package at https://github.com/plevritis-lab/panoramic and archived on Zenodo at https://doi.org/10.5281/zenodo.19927197.
Jacob Chang, Almudena Espin Perez, Perla Molina, Rohit Khurana, Weiruo Zhang, Sylvia K. Plevritis
Bioinform.1
2004 Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill
CAV1