Browse by cikk, tanulmány, mű

2002

Asgeirsson Eyjólfur Ingi and Ayesta U. and Coffman E. and Etra J. and Momčilović P. and Phillips D. and Vokhshoori V. and Wang Z. and Wolfe J.: Closed on-line bin packing. In: Acta cybernetica, (15) 3. pp. 361-367. (2002)

Buzáné Kis Piroska and Mihálykó Csaba and Lakatos Béla G.: Mathematical models fof simulation of continuous grinding process with recirculation. In: Acta cybernetica, (15) 4. pp. 529-545. (2002)

Csákány Béla: A form of the Zermelo von Neumann theorem under minimal assumptions. In: Acta cybernetica, (15) 3. pp. 321-325. (2002)

Faragó Csaba and Gergely Tamás: Handling pointers and unstructured statements in the forward computed dynamic slice algorithm. In: Acta cybernetica, (15) 4. pp. 489-508. (2002)

Ferenc Rudolf and Gustafsson Juha and Müller László and Paakki Jukka: Recognizing design patterns in C++ programs with the integration of Columbus and Maisa. In: Acta cybernetica, (15) 4. pp. 669-682. (2002)

Fóris Gábor and Sógor László and Hendlein Péter and Notaisz Krisztián and Fidrich Márta: Development of a communication environment between IPv6 and IPv4. In: Acta cybernetica, (15) 4. pp. 683-704. (2002)

Gyimóthy Tibor and Fülöp Zoltán: Preface. In: Acta cybernetica, (15) 4. p. 479. (2002)

Havasi Ferenc: XML semantics extension. In: Acta cybernetica, (15) 4. pp. 509-528. (2002)

Imreh Balázs: Automaton theory approach for solving modified PNS problems. In: Acta cybernetica, (15) 3. pp. 327-338. (2002)

Koskinen Johannes and Mäkinen Erkki and Systä Tarja: Implemeting a component-based tool for interactive synthesis of UML statechart diagrams. In: Acta cybernetica, (15) 4. pp. 547-565. (2002)

Kotkas Vahur: A distributed program synthesizer. In: Acta cybernetica, (15) 4. pp. 567-581. (2002)

Kovács Gábor and Pap Zoltán and Csopaki Gyula: Automatic test selection based on CEFSM specifications. In: Acta cybernetica, (15) 4. pp. 583-599. (2002)

Küngas Peep: Resource-conscious AI planning with conjunctions and disjunctions. In: Acta cybernetica, (15) 4. pp. 601-620. (2002)

Link Sebastian and Schewe Klaus-Dieter: An arithmetic theory of consistency enforcement. In: Acta cybernetica, (15) 3. pp. 379-416. (2002)

Lorentsen Louise and Tuovinen Antti-Pekka and Xu Jianli: Experiences in modelling feature interactions with Coloured Petri Nets. In: Acta cybernetica, (15) 4. pp. 621-632. (2002)

Mateescu Alexandru and Salomaa Arto and Yu Sheng: Factorizations of languages and commutativity conditions. In: Acta cybernetica, (15) 3. pp. 339-351. (2002)

Meduna Alexander and Švec Martin: Reduction of simple semi-conditional grammars with respect to the number of conditional productions. In: Acta cybernetica, (15) 3. pp. 353-360. (2002)

Melinte Roxana and Oanea Olivia and Olga Ioana and Țiplea Ferucio Laurenţiu: The home marking problem and some related concepts. In: Acta cybernetica, (15) 3. pp. 467-478. (2002)

Nestra Härmel: A framework for studying substitution. In: Acta cybernetica, (15) 4. pp. 633-652. (2002)

Németh Zsolt: Definition of a parallel execution model with abstract state machines. In: Acta cybernetica, (15) 3. pp. 417-455. (2002)

Pap Zoltán and Rétháti Zoltán and Horváth Róbert and Adamis Gusztáv: Standardized event pair based test generation method using TSS&TP. In: Acta cybernetica, (15) 4. pp. 653-667. (2002)

Schuur Petra and Woeginger Gerhard J.: A PTAS for single machine scheduling with controllable processing times. In: Acta cybernetica, (15) 3. pp. 369-378. (2002)

Sneed Harry M.: Human cognition of complex thought patterns. In: Acta cybernetica, (15) 4. pp. 481-487. (2002)

Vaarandi Risto: Platform independent tool for local event correlation. In: Acta cybernetica, (15) 4. pp. 705-723. (2002)

Vu Nghia D. and Ramamurthy Bina: Properties of composite of closure operations and choice functions. In: Acta cybernetica, (15) 3. pp. 457-465. (2002)