Concepedia

Matthew Weber

MW

5

Publications

346

Citations

5

H-Index

2015

Active since

Affiliations

University of California, Berkeley(Current)

Matthew Weber is an author at University of California, Berkeley specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSystems EngineeringSoftware EngineeringBusinessGeneticsGenomics

Publications per year

2015–2020

5

Publications

5

Simulating Next-Generation Sequencing Datasets from Empirical Mutation and Sequencing Models

Zachary Stephens, Matthew E. Hudson, Liudmila S. Mainzer et al. · PLoS ONE · 2016 · 122 citations · Full text

Genetics, Empirical Mutation, Analysis Toolkit +22

Programmable Logic Controllers in the Context of Industry 4.0

Martin A. Sehr, Marten Lohstroh, Matthew Weber et al. · IEEE Transactions on Industrial Informatics · 2020 · 112 citations · Full text

Engineering, Industrial Engineering, Software Engineering +21

A Vision of Swarmlets

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh et al. · IEEE Internet Computing · 2015 · 53 citations

Engineering, Swarm Dynamic, Distributed Environment +17

A Component Architecture for the Internet of Things

Christopher Brooks, Chadlia Jerad, Hokeun Kim et al. · Proceedings of the IEEE · 2018 · 45 citations · Full text

A Language for Deterministic Coordination Across Multiple Timelines

Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten et al. · 2020 · 14 citations

Engineering, Reactive System, Verification +16

Rows per page

1–5 of 5