Arkiver - Side 6

• PB-476 An Introduction to the Theoretical Aspects of Coloured Petri Nets

  Nr. 476 (1994)

• PB-475 What's Connectionism got to do with IT?!

  Nr. 475 (1994)

• PB-474 Strictness and Totality Analysis

  Nr. 474 (1994)

• PB-473 Provable Security Against a Differential Attack

  Nr. 473 (1994)

• PB-472 Practically Secure Feistel Ciphers

  Nr. 472 (1994)

• PB-471 Oasis: An Optimizing Action-based Compiler Generator

  Nr. 471 (1994)

• PB-470 Verification of Pointers

  Nr. 470 (1994)

• PB-469 Graphs and Decidable Transductions based on Edge Constraints: Extended abstract

  Nr. 469 (1994)

• PB-468 Computing Near-Optimal Solutions to the Steiner Problem in a Graph Using a Genetic Algorithm

  Nr. 468 (1994)

• PB-467 Bisimulations, Games and Logic

  Nr. 467 (1994)

• PB-466 Tailorable Systems: Design, Support, Techniques, and Applications

  Nr. 466 (1994)

• PB-465 Challenging Practice: an approach to Cooperative Analysis

  Nr. 465 (1994)

• PB-464 Efficient Training of Feed-Forward Neural Networks

  Nr. 464 (1993)

• PB-463 Models for Concurrency

  Nr. 463 (1993)

• PB-462 Fibrations, Logical Predicates and Indeterminates

  Nr. 462 (1993)

• PB-461 Rewriting Extended Regular Expressions

  Nr. 461 (1993)

• PB-460 Determinizing Asynchronous Automata

  Nr. 460 (1993)

• PB-459 Designing Dexter-based Cooperative Hypermedia Systems

  Nr. 459 (1993)

• PB-458 Design Issues for a Dexter-based Hypermedia System

  Nr. 458 (1993)

• PB-457 Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop

  Nr. 457 (1993)

• PB-456 Relationships between Models of Concurency

  Nr. 456 (1993)

• PB-455 Complexity Results for 1-safe Nets

  Nr. 455 (1993)

• PB-454 The AT-project: practical research in cooperative design

  Nr. 454 (1993)

• PB-453 Sharing of Computations

  Nr. 453 (1993)

• PB-452 Communicative Action Notation with Shared Storage

  Nr. 452 (1993)