Robert Bellarmine Krug
From MaRDI portal
Person:2802934
Available identifiers
zbMath Open krug.robert-bellarmineMaRDI QIDQ2802934
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| On the Total Number of Bends for Planar Octilinear Drawings | 2017-07-13 | Paper |
| On the Total Number of Bends for Planar Octilinear Drawings | 2016-05-03 | Paper |
| Planar Octilinear Drawings with One Bend Per Edge | 2016-01-07 | Paper |
| Slanted Orthogonal Drawings: Model, Algorithms and Evaluations | 2015-01-15 | Paper |
| Planar Octilinear Drawings with One Bend Per Edge | 2015-01-07 | Paper |
| Slanted Orthogonal Drawings | 2013-12-20 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Meta Reasoning in ACL2 | 2006-07-06 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Robert Bellarmine Krug
