‪Jiawei Chen‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	7	7
h-index	2	2
i10-index	0	0

0

4

2

2022202320241 3 3

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Adam M. FudickarCenter for the Integrative Study of Animal Behavior, Indiana UniversityVerified email at indiana.edu
Geoffrey M BrownIndiana UniversityVerified email at indiana.edu
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu

Jiawei Chen

Jiawei Chen

PhD Student, University of Michigan

Verified email at umich.edu

Robotics Formal Verification Programming Languages Movement Ecology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Simulation-based validation of activity logger data for animal behavior studies J Chen, G Brown, A Fudickar Animal Biotelemetry 9, 1-15, 2021	4	2021
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation J Chen, JL Vargas de Mendonça, S Jalili, B Ayele, BN Bekele, Z Qu, ... Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022	2	2022
An open-source platform for sub-, sub-A data loggers GM Brown, J Chen, A Fudickar, AE Jahn Animal Biotelemetry 11 (1), 19, 2023	1	2023
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic JB Jeannin, J Chen, JLV de Mendonça, K Mamouras 2022 International Conference on Embedded Software (EMSOFT), 11-12, 2022		2022
Bridging the Cyber and Physical with a Verifiable, Executable Language for Robotics J Chen, JLV de Mendonça, JB Jeannin

The system can't perform the operation now. Try again later.

Articles 1–5