| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Medical Image Anal.
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
CVPR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
CVPR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICLR
|
| 2025 | J | jnl |
CoRR
|
| 2024 | A* | conf |
ICLR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ECCV (40)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
CVPR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
MLHC
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
CHIL
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
CHI
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
FAccT
|
| 2023 | A* | conf |
NeurIPS
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICML
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICCV
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
CHIL
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A | conf |
IUI
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2021 | — | conf |
EAAMO
|
| 2021 | A* | conf |
ICCV
|
| 2021 | J | jnl |
npj Digit. Medicine
|
| 2021 | A* | conf |
ICML
|
| 2021 | — | conf |
IPMI
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
CHIL
|
| 2021 | A* | conf |
ICML
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
ICML
|
| 2020 | — | conf |
CHIL
|
| 2020 | A* | conf |
CVPR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
MLSys
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
CVPR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
MLHC
|
| 2019 | — | conf |
MLHC
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Medical Image Anal.
|
| 2019 | A* | conf |
ICCV
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Trans. Medical Imaging
|
| 2018 | A* | conf |
CVPR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
CVPR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
KDD
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
AAAI
|
| 2018 | — | conf |
MLHC
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
|
| 2018 | A* | conf |
CVPR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
MICCAI (1)
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
MLHC
|
| 2017 | A* | conf |
KDD
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Commun. ACM
|
| 2017 | J | jnl |
CoRR
|
| 2017 | A* | conf |
KDD
|
| 2016 | J | jnl |
CoRR
|
| 2016 | A* | conf |
KDD
|
| 2016 | A* | conf |
ICDM
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
J. Mach. Learn. Res.
|
| 2016 | A | conf |
INTERSPEECH
|
| 2016 | — | conf |
MLHC
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
MLHC
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
Stat. Anal. Data Min.
|
| 2015 | J | jnl |
IEEE Trans. Biomed. Eng.
|
| 2015 | — | conf |
ICCV Workshops
|
| 2015 | J | jnl |
J. Biomed. Informatics
|
| 2015 | A* | conf |
KDD
|
| 2015 | J | jnl |
ACM Trans. Graph.
|
| 2014 | J | jnl |
J. Am. Medical Informatics Assoc.
|
| 2014 | J | jnl |
IEEE Trans. Biomed. Eng.
|
| 2014 | — | conf |
BCB
|
| 2013 | A* | conf |
KDD
|
| 2013 | — | conf |
HEALTHINF
|
| 2013 | A* | conf |
CVPR
|
| 2013 | — | conf |
ICML (2)
|
| 2012 | J | jnl |
ACM Trans. Graph.
|
| 2012 | — | conf |
NIPS
|
| 2012 | J | jnl |
EURASIP J. Adv. Signal Process.
|
| 2011 | — | conf |
EMBC
|
| 2011 | — | conf |
EMBC
|
| 2011 | — | conf |
EMBC
|
| 2011 | — | conf |
EMBC
|
| 2011 | J | jnl |
J. Mach. Learn. Res.
|
| 2011 | — | conf |
BIOSIGNALS
|
| 2010 | J | jnl |
IEEE J. Solid State Circuits
|
| 2010 | — | conf |
NIPS
|
| 2010 | A* | conf |
ICML
|
| 2010 | — | conf |
NIPS
|
| 2010 | J | jnl |
ACM Trans. Knowl. Discov. Data
|
| 2009 | A* | conf |
SIGCOMM
|
| 2009 | J | jnl |
J. Mach. Learn. Res.
|
| 2009 | J | jnl |
Int. J. Neural Syst.
|
| 2009 | Misc | conf |
ICASSP
|
| 2009 | A | conf |
MobiSys
|
| 2009 | J | jnl |
J. Ambient Intell. Smart Environ.
|
| 2008 | J | jnl |
J. Am. Medical Informatics Assoc.
|
| 2008 | — | conf |
BODYNETS
|
| 2007 | J | jnl |
IEEE Trans. Biomed. Eng.
|
| 2007 | J | jnl |
EURASIP J. Adv. Signal Process.
|
| 2007 | — | conf |
ICASSP (1)
|
| 2006 | B | conf |
CBMS
|
| 2006 | — | conf |
EMBC
|
| 2006 | — | conf |
EMBC
|
| 2006 | A* | conf |
ACM Multimedia
|
| 2005 | Misc | conf |
AMIA
|
| 2005 | A | conf |
MobiSys
|
| 2005 | A* | conf |
INFOCOM
|
| 2004 | Misc | conf |
SenSys
|
| 2004 | — | conf |
ACM SIGOPS European Workshop
|
| 2004 | — | conf |
USENIX ATC, General Track
|
| 2003 | — | conf |
USENIX ATC, General Track
|
| 2002 | B | conf |
LCN
|
| 2002 | — | ch. |
Software Pioneers
|
| 2002 | — | ch. |
Software Pioneers
|
| 2001 | — | book |
Program Development in Java - Abstraction, Specification, and Object-Oriented Design.
|
| 1999 | J | jnl |
Computer
|
| 1999 | A* | conf |
MobiCom
|
| 1999 | J | jnl |
IEEE J. Sel. Areas Commun.
|
| 1998 | A* | conf |
INFOCOM
|
| 1998 | J | jnl |
IEEE Netw.
|
| 1998 | J | jnl |
Comput. Networks
|
| 1995 | A | conf |
OOPSLA
|
| 1994 | — | conf |
SIGSOFT FSE
|
| 1994 | — | conf |
PARLE
|
| 1994 | — | conf |
SIGSOFT FSE
|
| 1993 | — | conf |
Functional Programming, Concurrency, Simulation and Automated Reasoning
|
| 1993 | A* | conf |
CAV
|
| 1993 | — | conf |
TAPSOFT
|
| 1993 | — | book |
|
| 1993 | J | jnl |
Formal Methods Syst. Des.
|
| 1992 | — | conf |
TPCD
|
| 1992 | — | conf |
Larch
|
| 1992 | — | conf |
Designing Correct Circuits
|
| 1991 | — | conf |
VDM Europe (2)
|
| 1991 | — | conf |
VDM Europe (1)
|
| 1990 | J | jnl |
IEEE Trans. Software Eng.
|
| 1990 | — | conf |
Programming Concepts and Methods
|
| 1989 | — | conf |
RTA
|
| 1989 | — | conf |
Automatic Verification Methods for Finite State Systems
|
| 1988 | A* | conf |
POPL
|
| 1988 | A | conf |
CADE
|
| 1987 | A* | conf |
SOSP
|
| 1986 | J | jnl |
Sci. Comput. Program.
|
| 1986 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1986 | J | jnl |
Sci. Comput. Program.
|
| 1985 | J | jnl |
IEEE Softw.
|
| 1983 | — | conf |
IFIP Congress
|
| 1983 | J | jnl |
SIAM J. Comput.
|
| 1982 | A* | conf |
ICALP
|
| 1982 | J | jnl |
Sci. Comput. Program.
|
| 1981 | — | conf |
Program Specification
|
| 1981 | — | conf |
FPCA
|
| 1980 | A* | conf |
POPL
|
| 1980 | J | jnl |
IEEE Trans. Software Eng.
|
| 1978 | J | jnl |
Commun. ACM
|
| 1978 | — | conf |
Program Construction
|
| 1978 | — | conf |
Program Construction
|
| 1978 | J | jnl |
Acta Informatica
|
| 1978 | J | jnl |
Acta Informatica
|
| 1977 | — | conf |
Formal Description of Programming Concepts
|
| 1977 | J | jnl |
Commun. ACM
|
| 1977 | — | conf |
Language Design for Reliable Software
|
| 1976 | — | conf |
Conference on Data: Abstraction, Definition and Structure
|
| 1976 | A* | conf |
ICSE
|