BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kubica:Marcin

Contributed to:

LATA 20102010
FASE 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.