Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Richard Robinson

dblp:70/3971 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Systems and software security
security verification
0.112008
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
YearPublicationVenuePosition
2021 The Virtual Pivot: Transitioning Computational Thinking PD for Middle and High School Content Area Teachers
abstract
In 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
SIGCSE5
2020 Subjective Assessment of Stereoscopic Image Quality: The Impact of Visually Lossless Compression
abstract
In 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
QoMEX4
2020 Code, Connect, Create: The 3C Professional Development Model to Support Computational Thinking Infusion
abstract
Despite 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
SIGCSE4
2019 Infusing Computing: Analyzing Teacher Programming Products in K-12 Computational Thinking Professional Development
abstract
In 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
ITiCSE9
2019 PRADA: A Practical Model for Integrating Computational Thinking in K-12 Education
abstract
One 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
SIGCSE8
2008 Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution
Scott Lintelman, Richard Robinson, Krishna Sampigethaya
FM2
2008 Formal Security Analysis of Electronic Software Distribution Systems
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson
SAFECOMP4
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
SAFECOMP1
2002 An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA
abstract
Many 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
EDOC2