Travelled to:1 × Germany
1 × Poland
Collaborated with:∅ M.Crochemore C.S.Iliopoulos J.Radoszewski W.Rytter T.Walen
Talks about:structur (1) approach (1) pointer (1) tempor (1) string (1) specif (1) number (1) verif (1) maxim (1) cubic (1)
Person: Marcin Kubica
DBLP: Kubica:Marcin
Contributed to:
2010
2003Wrote 2 papers:
- LATA-2010-CrochemoreIKRRW #on the #polynomial #string
- On the Maximal Number of Cubic Runs in a String (MC, CSI, MK, JR, WR, TW), pp. 227–238.
- FASE-2003-Kubica #approach #pointer #specification #verification
- A Temporal Approach to Specification and Verification of Pointer Data-Structures (MK), pp. 231–245.