Browse by cikk, tanulmány, mű

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: 2002
Number of items: 25.

2002

Asgeirsson, Eyjólfur Ingi: Closed on-line bin packing. 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. Acta cybernetica, (15) 4. pp. 529-545. (2002)

Csákány, Béla: A form of the Zermelo—von Neumann theorem under minimal assumptions. 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. Acta cybernetica, (15) 4. pp. 489-508. (2002)

Ferenc, Rudolf: Recognizing design patterns in C++ programs with the integration of Columbus and Maisa. Acta cybernetica, (15) 4. pp. 669-682. (2002)

Fóris, Gábor: Development of a communication environment between IPv6 and IPv4. Acta cybernetica, (15) 4. pp. 683-704. (2002)

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

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

Imreh, Balázs: Automaton theory approach for solving modified PNS problems. 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. Acta cybernetica, (15) 4. pp. 547-565. (2002)

Kotkas, Vahur: A distributed program synthesizer. 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. Acta cybernetica, (15) 4. pp. 583-599. (2002)

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

Link, Sebastian and Schewe, Klaus-Dieter: An arithmetic theory of consistency enforcement. 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. Acta cybernetica, (15) 4. pp. 621-632. (2002)

Mateescu, Alexandru and Salomaa, Arto and Yu, Sheng: Factorizations of languages and commutativity conditions. 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. Acta cybernetica, (15) 3. pp. 353-360. (2002)

Melinte, Roxana: The home marking problem and some related concepts. Acta cybernetica, (15) 3. pp. 467-478. (2002)

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

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

Pap, Zoltán: Standardized event pair based test generation method using TSS&TP. Acta cybernetica, (15) 4. pp. 653-667. (2002)

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

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

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

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

This list was generated on 2020. április 5. 15:58:01 CEST.