io-port.net

io-port 05814101 Huizing, Cornelis; Kuiper, Ruurd; Verhoeff, Tom

Halting still standing ‒ programs versus specifications. (English)

Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 226-233 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05679029 Huizing, Cornelis; Koymans, Ron; Kuiper, Ruurd

A small step for mankind. (English)

Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 66-73 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70677863 Huizing, Cornelis; Kuiper, Ruurd; Verhoeff, Tom

Halting still standing - programs versus specifications (English)

UTP, 226-233 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70701738 Huizing, Cornelis; Koymans, Ron; Kuiper, Ruurd

A small step for mankind (English)

Concurrency, Compositionality, and Correctness, 66-73 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05499363 Middelkoop, Ronald; Huizing, Cornelis; Kuiper, Ruurd; Luit, Erik J.

Specification and verification of invariants by exploiting layers in OO designs. (English)

Fundam. Inform. 85, No. 1-4, 377-398 (2008).

5

PDF XML AMS-TeX TEXT BIBTeX

io-port 05417886 Middelkoop, Ronald; Huizing, Cornelis; Kuiper, Ruurd; Luit, Erik J.

Invariants for non-hierarchical object structures. (English)

Electron. Notes Theor. Comput. Sci. 195, 211-229 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05322234 Cornelis, Nico; Leibe, Bastian; Cornelis, Kurt; van Gool, Luc

3D urban scene modeling integrating recognition and reconstruction. (English)

Int. J. Comput. Vis. 78, No. 2-3, 121-141 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70774132 Havlena, Michal; Pajdla, Tomás; Cornelis, Kurt

Structure from omnidirectional stereo rig motion for city modeling (English)

VISAPP (2), 407-414 (2008).

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 70714916 Leibe, Bastian; Cornelis, Nico; Cornelis, Kurt; Van Gool, Luc J.

Dynamic 3D scene analysis from a moving vehicle (English)

CVPR (2007).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417158 Middelkoop, Ronald; Huizing, Cornelis; Kuiper, Ruurd; Luit, Erik J.

Cooperation-based invariants for OO languages. (English)

Electron. Notes Theor. Comput. Sci. 160, 225-237 (2006).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05342187 Cornelis, Kurt; Cornelis, Nico; Aerts, Maarten; Özden, Egemen; Van Gool, Luc

Online calibration of two zoom-pan-tilt units for planar dynamic events. (English)

Franke, Katrin (ed.) et al., Pattern recognition. 28th DAGM symposium, Berlin, Germany, September 12‒14, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-44412-1/pbk). Lecture Notes in Computer Science 4174, 698-707 (2006).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05342137 Leibe, Bastian; Cornelis, Nico; Cornelis, Kurt; Van Gool, Luc

Integrating recognition and reconstruction for cognitive traffic scene analysis from a moving vehicle. (English)

Franke, Katrin (ed.) et al., Pattern recognition. 28th DAGM symposium, Berlin, Germany, September 12‒14, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-44412-1/pbk). Lecture Notes in Computer Science 4174, 192-201 (2006).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70448616 Cornelis, Kurt; Cornelis, Nico; Aerts, Maarten; Ozden, Kemal Egemen; Van Gool, Luc J.

Online calibration of two zoom-pan-tilt units for planar dynamic events (English)

DAGM-Symposium, 698-707 (2006).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70448960 Leibe, Bastian; Cornelis, Nico; Cornelis, Kurt; Van Gool, Luc J.

Integrating recognition and reconstruction for cognitive traffic scene analysis from a moving vehicle (English)

DAGM-Symposium, 192-201 (2006).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70650719 Ozden, Kemal Egemen; Cornelis, Kurt; Van Gool, Luc J.

Space-time-scale registration of dynamic scene reconstructions (English)

ECCV (4), 173-185 (2006).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70714460 Cornelis, Nico; Cornelis, Kurt; Van Gool, Luc J.

Fast compact city modeling for navigation pre-visualization (English)

CVPR (2), 1339-1344 (2006).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 71009026 Cornelis, Nico; Leibe, Bastian; Cornelis, Kurt; Van Gool, Luc J.

3D city modeling using cognitive loops (English)

3DPVT, 9-16 (2006).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70890603 Huizing, Cornelis; Kuiper, Ruurd; Punter, Teade; Serebrenik, Alexander

Looking for stability (English)

DDoPS, 31-44 (2005).

18

PDF XML AMS-TeX TEXT BIBTeX

io-port 05112459 Cornelis, Kurt; Verbiest, Frank; Van Gool, Luc

Drift Detection and Removal for Sequential Structure from Motion Algorithms. (English)

IEEE Transactions on Pattern Analysis and Machine Intelligence 26, No.10, 1249-1259 (2004).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02244057 Pollefeys, Marc; Van Gool, Luc; Vergauwen, Maarten; Verbiest, Frank; Cornelis, Kurt; Tops, Jan; Koch, Reinhard

Visual modeling with a hand-held camera. (English)

Int. J. Comput. Vis. 59, No. 3, 207-232 (2004).

20

PDF XML AMS-TeX TEXT BIBTeX DOI