Showing results 1 to 16 of 16
A note on the perimeter of fat objects Bose, Prosenjit; Cheong, Otfried; Dujmovic, Vida, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, v.44, no.1, pp.1 - 8, 2011-01 |
Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
Computing many faces in arrangements of lines and segments Agarwal, PK; Matousek, J; Cheong, Otfried, SIAM JOURNAL ON COMPUTING, v.27, no.2, pp.491 - 505, 1998-04 |
Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems Lee, Jinkyu; Shin, Insik; Easwaran, Arvind, JOURNAL OF SYSTEMS AND SOFTWARE, v.85, no.10, pp.2331 - 2339, 2012-10 |
Distributed formation of degree constrained minimum routing cost tree in wireless ad-hoc networks Kim, Taehong; Seo, Seog Chung; Kim, Daeyoung, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.83, pp.143 - 158, 2015-09 |
EMSA: Extensibility Metric for Software Architecture Kim, Jungho; Kang, Sungwon; Ahn, Jongsun; Lee, Seonah, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.28, no.3, pp.371 - 405, 2018-03 |
Linear Kernels and Single-Exponential Algorithms Via Protrusion Decompositions Kim, Eunjung; Langer, Alexander; Paul, Christophe; Reidl, Felix; Rossmanith, Peter; Sau, Ignasi; Sikdar, Somnath, ACM TRANSACTIONS ON ALGORITHMS, v.12, no.2, 2016-02 |
Lower and Upper Bounds for Linkage Discovery Choi, SS; Jung, Kyomin; Moon, BR, IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, v.13, no.2, pp.201 - 216, 2009-04 |
REACHING A GOAL WITH DIRECTIONAL UNCERTAINTY DEBERG, M; GUIBAS, L; HALPERIN, D; OVERMARS, M; Cheong, Otfried; SHARIR, M; TEILLAUD, M, THEORETICAL COMPUTER SCIENCE, v.140, no.2, pp.301 - 317, 1995-04 |
REAL ANALYTIC MACHINES AND DEGREES: A TOPOLOGICAL VIEW ON ALGEBRAIC LIMITING COMPUTATION Gaertner, Tobias; Ziegler, Martin, LOGICAL METHODS IN COMPUTER SCIENCE, v.7, no.3, 2011 |
Real hypercomputation and continuity Ziegler, Martin, THEORY OF COMPUTING SYSTEMS, v.41, no.1, pp.177 - 206, 2007-07 |
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION Park, Sewon; Brausse, Franz; Collins, Pieter; Kim, Sunyoung; Konecny, Michal; Lee, Gyesik; Mueller, Norbert; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.20, no.2, 2024-06 |
Stability versus speed in a computable algebraic model Ziegler, M, THEORETICAL COMPUTER SCIENCE, v.351, no.1, pp.14 - 26, 2006-02 |
The Number of Holes in the Union of Translates of a Convex Set in Three Dimensions Aronov, Boris; Cheong, Otfried; Dobbins, Michael Gene; Goaoc, Xavier, DISCRETE & COMPUTATIONAL GEOMETRY, v.57, no.1, pp.104 - 124, 2017-01 |
Twin-width I: Tractable FO Model Checking Bonnet, Edouard; Kim, Eunjung; Thomasse, Stephan; Watrigant, Remi, JOURNAL OF THE ACM, v.69, no.1, 2022-02 |
Uncomputability below the real halting problem Meer, Klaus; Ziegler, Martin, LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, v.3988, pp.368 - 377, 2006 |
Discover