io-port.net

io-port 05990082 Kása, Zoltán

On scattered subword complexity. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 127-136 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX

io-port 05990081 Iványi, Antal; Kátai, Imre

Testing of random matrices. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 99-126 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX

io-port 05990080 Domoszlai, László; Bruël, Eddy; Jansen, Jan Martin

Implementing a non-strict purely functional language in JavaScript. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 76-98 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX

io-port 05990079 Pârv, Bazil; Motogna, Simona-Claudia; Lazăr, Ioan; Czibula, Istvan-Gergely; Lazăr, Codruţ-Lucian

ComDeValCo framework: designing software components and systems using MDD, executable models, and TDD. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 48-75 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX

io-port 05990078 Popov, Vladimir Yu.

Arc-preserving subsequences of arc-annotated sequences. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 35-47 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX

io-port 05990077 Lischke, Gerhard

Primitive words and roots of words. (English)

Acta Univ. Sapientiae, Inform. 3, No. 1, 5-34 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896714 Kátai, Zoltán

Modelling dynamic programming problems by generalized $d$-graphs. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 210-230 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896713 Horváth, Géza; Nagy, Benedek

Pumping lemmas for linear and nonlinear context-free languages. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 194-209 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896712 Pirzada, Shariefuddin; Zhou, Guofei; Iványi, Antal

Score lists in multipartite hypertournaments. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 184-193 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896710 Pataki, Norbert

Testing by {\tt C++} template metaprograms. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 154-167 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896709 Iványi, Antal; Novák, Balázs

Testing of sequences by simulation. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 135-153 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX

io-port 05896708 Jakubčo, Peter; Šimoňák, Slavomír; Ádám, Norbert

Communication model of emuStudio emulation platform. (English)

Acta Univ. Sapientiae, Inform. 2, No. 2, 117-134 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711526 Márton, Gyöngyvér

Public-key cryptography in functional programming context. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 99-112 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711525 Sobota, Branislav; Guzan, Milan

Macro and micro view on steady states in state space. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 90-98 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711524 Fornai, Péter; Iványi, Antal

FIFO anomaly is unbounded. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 80-89 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711523 Achs, Ágnes

A multivalued knowledge-base model. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 51-79 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711522 Václavík, Peter; Porubän, Jaroslav; Mezei, Marek

Automatic derivation of domain terms and concept location based on the analysis of the identifiers. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 40-50 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711521 Korečko, Štefan; Sobota, Branislav

Using coloured Petri nets for design of parallel raytracing environment. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 28-39 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711520 Burcsi, Péter; Kovács, Attila; Tátrai, Antal

Start-phase control of distributed systems written in Erlang/OTP. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 10-27 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX

io-port 05711519 Pirzada, Shariefuddin; Zhou, Guofei

On $k$-hypertournament losing scores. (English)

Acta Univ. Sapientiae, Inform. 2, No. 1, 5-9 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX