Journal Article BlockGraph: a scalable secure distributed ledger that exploits locality 2024 • Distributed and Parallel Databases • 42(2):217-244 Goldstein SC, Gao S, Sun Z
Conference Using Peer Code Review as an Educational Tool 2020 • Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE • 173-179 Song X, Goldstein SC, Sakr M
Conference Understanding How Work Habits influence Student Performance 2019 • Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE • 154-160 Goldstein SC, Zhang H, Sakr M, An H, Dashti C
Journal Article A time synchronization protocol for large-scale distributed embedded systems with low-precision clocks and neighbor-to-neighbor communications 2018 • Journal of Network and Computer Applications • 105:123-142 Naz A, Piranda B, Bourgeois J, Goldstein SC
Conference Electing an Approximate Center in a Huge Modular Robot with the k-BFS SumSweep Algorithm 2018 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 4825-4832 Naz A, Piranda B, Bourgeois J, Goldstein SC
Conference A Distributed Self-Reconfiguration Algorithm for Cylindrical Lattice-Based Modular Robots 2016 • 15TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (IEEE NCA 2016) • 254-263 Naz A, Piranda B, Bourgeois J, Goldstein SC
Conference A Time Synchronization Protocol for Modular Robots 2016 • 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP) • 109-118 Naz A, Piranda B, Bourgeois J, Goldstein SC
Conference Approximate-Centroid Election in Large-Scale Distributed Embedded Systems 2016 • Proceedings - International Conference on Advanced Information Networking and Applications, AINA • 548-556 Naz A, Piranda B, Bourgeois J, Goldstein SC
Journal Article Declarative coordination of graph-based parallel programs 2016 • ACM Sigplan Notices • 51(8):1-12 Cruz F, Rocha R, Goldstein SC
Conference Declarative Coordination of Graph-based Parallel Programs 2016 • ACM Sigplan Notices • 51(8):37-48 Cruz F, Rocha R, Goldstein SC
Journal Article Scalable self-assembly process for the fabrication of sub-millimetre three-dimensional cylindrical tubes 2016 • Micro and Nano Letters • 11(1):4-8 Karagozler ME, Goldstein SC, Ricketts DS
Conference ABC-Center: Approximate-Center Election in Modular Robots 2015 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2951-2957 Naz A, Piranda B, Goldstein SC, Bourgeois J
Journal Article Distributed Intelligent MEMS: Progresses and Perspectives 2015 • IEEE Systems Journal • 9(3):1057-1068 Bourgeois J, Goldstein SC
Journal Article Energy-aware parallel self-reconfiguration for chains microrobot networks 2015 • Journal of Parallel and Distributed Computing • 75:67-80 Lakhlef H, Bourgeois J, Mabed H, Goldstein SC
Conference Thread-aware logic programming for data-driven parallel programs 2015 • CEUR Workshop Proceedings • 1433: Cruz F, Rocha R, Goldstein SC
Preprint A Linear Logic Programming Language for Concurrent Programming over Graph Structures 2014 Cruz F, Rocha R, Goldstein SC, Pfenning F
Conference A Linear Logic Programming Language for Concurrent Programming over Graph Structures 2014 • Theory and Practice of Logic Programming • 14:493-507 Cruz F, Rocha R, Goldstein SC, Pfenning F
Conference A parallel virtual machine for executing forward-chaining linear logic programs 2014 • Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 • 125-140 Cruz F, Rocha R, Goldstein SC
Conference Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs 2014 • PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING • 43-53 Cruz F, Rocha R, Goldstein SC
Journal Article Analysis and Modeling of Capacitive Power Transfer in Microsystems 2012 • IEEE Transactions on Circuits and Systems I: Regular Papers • 59(7):1557-1566 Karagozler ME, Goldstein SC, Ricketts DS
Conference Blinky Blocks: A physical ensemble programming platform 2011 • Cost Engineering (Morgantown) • 1111-1116 Kirby B, Ashley-Rollman M, Goldstein SC
Journal Article Detecting Locally Distributed Predicates 2011 • ACM Transactions on Autonomous and Adaptive Systems • 6(2): De Rosa M, Goldstein SC, Lee P, Campbell J, Pillai PS
Conference Distributed Intelligent MEMS: Progresses and Perspectives 2011 • Advances in Soft Computing • 150:15-+ Bourgeois J, Goldstein SC
Conference Electrostatic Actuation and Control of Micro Robots Using a Post-Processed High-Voltage SOI CMOS Chip 2011 • IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems • 2509-2512 Karagozler ME, Thaker A, Goldstein SC, Ricketts DS
Journal Article Hyperform specification: designing and interacting with self-reconfiguring materials 2011 • Personal and Ubiquitous Computing • 15(2):133-149 Weller MP, Gross MD, Goldstein SC