Did you mean: summersummarysummaries

search result

Cover von Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D

Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D

Year: 2021
Media group: LIPIcs
Cover von Software Verification "Across the Stack" (Invited Talk)

Software Verification "Across the Stack" (Invited Talk)

Year: 2015
Media group: LIPIcs
Cover von Lightweight Support for Magic Wands in an Automatic Verifier

Lightweight Support for Magic Wands in an Automatic Verifier

Year: 2015
Media group: LIPIcs
Cover von DB2 UDB's High-Function Business Intelligence in e-business
Search for this author
Year: 2002
Publisher: Yorktown Heights, IBM / Redbooks
Media group: MONOGRAPHIE
Cover von REST

REST

Integrating Term Rewriting with Program Verification
Year: 2022
Media group: LIPIcs
Cover von Intrinsic Universality in Self-Assembly

Intrinsic Universality in Self-Assembly

Year: 2010
Media group: ARTICLE
Cover von Self-Assembly of Arbitrary Shapes Using RNAse Enzymes

Self-Assembly of Arbitrary Shapes Using RNAse Enzymes

Meeting the Kolmogorov Bound with Small Scale Factor (extended abstract)
Year: 2011
Media group: ARTICLE
Cover von Two Hands Are Better Than One (up to constant factors)

Two Hands Are Better Than One (up to constant factors)

Self-Assembly In The 2HAM vs. aTAM
Author: Cannon, Sarah; Demaine, Erik D.; Demaine, Martin L.
Year: 2013
Media group: ARTICLE
OPEN V 11.1.0.0