Demo Data from VLDB 2026 / reviewers in the wild / expert
Richard Robinson
dblp:70/3971
· DBLP profile ↗
9ranked-venue papers
1as first author
1since 2021 · last 2021
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Human-computer interaction and ubiquitous computing · 5 · 1 since 2021Security and privacy · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 1 heaviest of 1, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
security verification |
0.1 | 1 | 2008 | Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution · FM 2008 |
Methods — techniques the papers use, named apart from their topics
formal methods · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | The Virtual Pivot: Transitioning Computational Thinking PD for Middle and High School Content Area TeachersabstractIn 2018 and 2019, Infusing Computing offered face-to-face summer PD workshops to support middle and high school teachers in integrating computational thinking into their classrooms through week-long summer PD workshops and academic-year support. Due to COVID-19, 151 teachers attended the Summer 2020 PD workshops in a week-long virtual conference format. In this paper, we describe Virtual Pivot: Infusing Computing, which employed emerging technology tools, pre-PD training, synchronous and asynchronous sessions, Snap! pair programming, live support, and live networking. Drawing on findings from participant interviews and post-PD surveys, we argue that three categories of changes (digital tools, formats, and supports for teacher engagement and collaboration) were effective in increasing participants' self-efficacy in teaching CT, supporting collaboration, and enabling participants to design CT-infused content-area lessons. We conclude by discussing how elements of this virtual PD can be replicated to increase teacher and student access to CT practices in middle and high school classrooms Robin Jocius, Deepti Joshi, Jennifer L. Albert, Tiffany Barnes, Richard Robinson, Veronica Cateté, Yihuan Dong, Melanie Blanton, W. Ian O'Byrne, Ashley Andrews |
SIGCSE | 5 |
| 2020 | Subjective Assessment of Stereoscopic Image Quality: The Impact of Visually Lossless CompressionabstractIn stereoscopic displays different images are presented separately to the left and right eyes. This requirement may increase the bandwidth demand as well as increase the occurrence of visible compression-related artefacts. Here we report the results of a large-scale subjective assessment of high dynamic range (HDR) stereoscopic image compression. The ISO/IEC 29170-2 flicker paradigm was adapted for stereoscopic images and used to evaluate two VESA (Video Electronics Standards Association) image compression codecs: DSC 1.2a and VDCM 1.2.2. We compared the performance on stereoscopic images versus 2D images for both codecs. Sanjida Sharmin Mohona, Domenic Au, Onoise Gerald Kio, Richard Robinson, Yuqian Hou, Laurie M. Wilcox, Robert S. Allison |
QoMEX | 4 |
| 2020 | Code, Connect, Create: The 3C Professional Development Model to Support Computational Thinking InfusionabstractDespite the increasing attention to infusing CT into middle and high school content area classrooms, there is a lack of information about the most effective practices and models to support teachers in their efforts to integrate disciplinary content and CT principles. To address this need, this paper proposes the Code, Connect and Create (3C) professional development (PD) model, which was designed to support middle and high school content area teachers in infusing computational thinking into their classrooms. To evaluate the model, we analyzed quantitative and qualitative data collected from Infusing Computing PD workshops designed for in-service science, math, English language arts, and social studies teachers located in two Southeastern states. Drawing on findings from our analysis of teacher-created learning segments, surveys, and interviews, we argue that the 3C professional development model supported shifts in teacher understandings of the role of computational thinking in content area classrooms, as well as their self-efficacy and beliefs regarding CT integration into disciplinary content. We conclude by offering implications for the use of this model to increase teacher and student access to computational thinking practices in middle and high school classrooms. Robin Jocius, Deepti Joshi, Yihuan Dong, Richard Robinson, Veronica Cateté, Tiffany Barnes, Jennifer L. Albert, Ashley Andrews, Nicholas Lytle |
SIGCSE | 4 |
| 2019 | Infusing Computing: Analyzing Teacher Programming Products in K-12 Computational Thinking Professional DevelopmentabstractIn summer 2018, we conducted two week-long professional development workshops for 116 middle and high school teachers interested in infusing computational thinking (CT) into their classrooms. Teachers learned to program in Snap!, connect CT to their disciplines, and create infused CT learning segments for their classes. This paper investigates the extent to which teachers were able to successfully infuse CT skills of pattern recognition, abstraction, decomposition, and algorithms into their learning products. Yihuan Dong, Veronica Cateté, Nicholas Lytle, Amy Isvik, Tiffany Barnes, Robin Jocius, Jennifer L. Albert, Deepti Joshi, Richard Robinson, Ashley Andrews |
ITiCSE | 9 |
| 2019 | PRADA: A Practical Model for Integrating Computational Thinking in K-12 EducationabstractOne way to increase access to education on computing is to integrate computational thinking (CT) into K12 disciplinary courses. However, this challenges teachers to both learn CT and decide how to best integrate CT into their classes. In this position paper, we present PRADA, an acronym for Pattern Recognition, Abstraction, Decomposition, and Algorithms, as a practical and understandable way of introducing the core ideas of CT to non-computing teachers. We piloted the PRADA model in two, separate, week-long professional development workshops designed for in-service middle and high school teachers and found that the PRADA model supported teachers in making connections between CT and their current course material. Initial findings, which emerged from the analysis of teacher-created learning materials, survey responses, and focus group interviews, indicate that the PRADA model supported core content teachers in successfully infusing CT into their existing curricula and increased their self-efficacy in CT integration. Yihuan Dong, Veronica Cateté, Robin Jocius, Nicholas Lytle, Tiffany Barnes, Jennifer L. Albert, Deepti Joshi, Richard Robinson, Ashley Andrews |
SIGCSE | 8 |
| 2008 | Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution
Scott Lintelman, Richard Robinson, Krishna Sampigethaya |
FM | 2 |
| 2008 | Formal Security Analysis of Electronic Software Distribution Systems
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
SAFECOMP | 4 |
| 2007 | Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
Richard Robinson, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar |
SAFECOMP | 1 |
| 2002 | An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBAabstractMany scientific and engineering computer applications are computationally intensive. These applications are generally hosted on powerful servers, often multi-processor or cluster configurations. Engineers typically login to these servers and launch these applications through shell commands or scripts. When multiple engineering applications need to run in a design experiment flow, a complicated script in languages like PERL is needed. For long-running jobs, the user has to continuously check job status to learn when results can be accessed. Furthermore, special software is needed for a user to remotely login to the computation servers and the user must know on which machine an application of interest resides. This paper describes "Engineering Computing Portal, " an architecture and its implementation for simplifying the use of scientific and engineering applications using Web technology and lightweight high performance CORBA technology. Guijun Wang, Richard Robinson |
EDOC | 2 |