Andrew Phillips

Kenneth Martin

John Impagliazzo

Inroads, 2019

Accredited Undergraduate Cybersecurity Degrees: Four Approaches.

[BibT_eX]

[DOI]

Computer, 2019

Cybersecurity Program Accreditation: Benefits and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Machine Learning, 2019

Identifying Student Team Leaders and Social Loafers in a First-Year Engineering Cornerstone Robotics Design Project.

[BibT_eX]

[DOI]

Krista M. Kecskemety

Rachel L. Kajfez

Proceedings of the IEEE Frontiers in Education Conference, 2019

Fast Enumeration of Non-isomorphic Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Automated analysis of tethered DNA nanostructures using constraint solving.

[BibT_eX]

[DOI]

Rosa D. Hernansaiz-Ballesteros

Nat. Comput., 2018

Computing with biological switches and clocks.

[BibT_eX]

[DOI]

Neil Dalchau

Gregory Szép

Nat. Comput., 2018

2017

Preface.

[BibT_eX]

[DOI]

Peng Yin

Nat. Comput., 2017

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

2016

A strand graph semantics for DNA-based computation.

[BibT_eX]

[DOI]

Rasmus L. Petersen

Theor. Comput. Sci., 2016

Modular verification of chemical reaction network encodings via serializability analysis.

[BibT_eX]

[DOI]

Darko Stefanovic

Theor. Comput. Sci., 2016

Preface.

[BibT_eX]

[DOI]

Marta Kwiatkowska

Chris Thachuk

Theor. Comput. Sci., 2016

2015

Using a Message Board as a Teaching Tool in an Introductory Cyber-Security Course.

[BibT_eX]

[DOI]

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

2014

Is it time for ABET cybersecurity criteria?

[BibT_eX]

[DOI]

Raymond Greenlaw

Allen S. Parrish

Inroads, 2014

Bio Simulators: a web UI for biological simulation.

[BibT_eX]

[DOI]

Bioinform., 2014

A comparison of chatter attenuation techniques applied to a twin rotor system.

[BibT_eX]

[DOI]

Ferat Sahin

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2014

Abstract Modelling of Tethered DNA Circuits.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks.

[BibT_eX]

[DOI]

Neil Dalchau

Georg Seelig

Christoph M. Wintersteiger

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2013

Network reconnaissance, attack, and defense laboratories for an introductory cyber-security course.

[BibT_eX]

[DOI]

Inroads, 2013

Functional Analysis of Large-Scale DNA Strand Displacement Circuits.

[BibT_eX]

[DOI]

Boyan Yordanov

Youssef Hamadi

Hillel Kugler

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.

[BibT_eX]

[DOI]

Darko Stefanovic

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2012

Stochastic simulation of multiple process calculi for biology.

[BibT_eX]

[DOI]

Loïc Paulevé

Theor. Comput. Sci., 2012

Anatomy, dissection, and mechanics of an introductory cyber-security course's curriculum at the United States naval academy.

[BibT_eX]

[DOI]

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Developing and implementing an institution-wide introductory cyber-security course in record time.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011

Visual DSD: a design and analysis tool for DNA strand displacement systems.

[BibT_eX]

[DOI]

Bioinform., 2011

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

Localized Hybridization Circuits.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

2010

Stochastic Simulation of Process Calculi for Biology

[BibT_eX]

[DOI]

Loïc Paulevé

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

A process model of Rho GTP-binding proteins.

[BibT_eX]

[DOI]

Emmanuelle Caron

Philippa Gardner

Ozan Kahramanogullari

Theor. Comput. Sci., 2009

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2009

Less is more: energy-efficient mobile sensing with senseless.

[BibT_eX]

[DOI]

Fehmi Ben Abdesslem

Tristan Henderson

Proceedings of the 1st ACM SIGCOMM Workshop on Networking, 2009

@composite: macro annotations for Java C.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

The Effect of a Standardized Form in Guiding Communication Between Peers During the Hand-Off of Patients in a Hospital Setting.

[BibT_eX]

[DOI]

Proceedings of the Connecting Health and Humans - Proceedings of NI2009, The 10th International Congress on Nursing Informatics, 28 June, 2009

2008

An Abstract Machine for the Stochastic Bioambient calculus.

[BibT_eX]

[DOI]

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

A Process Model of Actin Polymerisation.

[BibT_eX]

[DOI]

Emmanuelle Caron

Philippa Gardner

Ozan Kahramanogullari

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

BAM: BioAmbient machine.

[BibT_eX]

[DOI]

Vinod A. Muganthan

Maria Grazia Vigliotti

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

A Chart Semantics for the Pi-Calculus.

[BibT_eX]

[DOI]

Johannes Borgström

Andrew D. Gordon

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

Specifying and implementing secure mobile applications in the channel ambient system.

[BibT_eX]

[DOI]

PhD thesis, 2006

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.

[BibT_eX]

[DOI]

Giuseppe Castagna

Trans. Comp. Sys. Biology, 2006

A Compositional Approach to the Stochastic Dynamics of Gene Networks.

[BibT_eX]

[DOI]

Ralf Blossey

Trans. Comp. Sys. Biology, 2006

2004

A Distributed Abstract Machine for Boxed Ambient Calculi.

[BibT_eX]

[DOI]