Login / Signup
Jesse Martinez
ORCID
Publication Activity (10 Years)
Years Active: 2008-2019
Publications (10 Years): 2
Top Topics
Logic Programming
Copyright Protection
Desirable Properties
Smart Devices
Top Venues
IEEE Symposium on Security and Privacy Workshops
ICSE
</>
Publications
</>
Lefan Zhang
,
Weijia He
,
Jesse Martinez
,
Noah Brackenbury
,
Shan Lu
,
Blase Ur
AutoTap: synthesizing and repairing trigger-action programs using LTL properties.
ICSE
(2019)
Weijia He
,
Jesse Martinez
,
Roshni Padhi
,
Lefan Zhang
,
Blase Ur
When Smart Devices Are Stupid: Negative Experiences Using Home Smart Devices.
IEEE Symposium on Security and Privacy Workshops
(2019)
Gary Geisler
,
Paul Stenis
,
Jesse Martinez
,
Allison King
Game Scholar: Do we need a reference database for video game research?
ASIST
(2008)