Technical Reports Archive

These are the technical reports of our institute up to the year 2015.
More recent reports are published on Boris or arXiv.

2015

INF-15-005: Passively Track WiFi Users with an Enhanced Particle Filter using Power-based Ranging

Zan Li, Torsten Braun
Abstract Download

INF-15-004: Fine-grained Indoor Tracking by Fusing Inertial Sensor and Physical Layer Information in WLANs

Zan Li, Danilo Burbano Acu na, Luis Carrera, Torsten Braun
Abstract Download

INF-15-003: Content-Aware Delivery of Scalable Video in Network Coding Enabled Named Data Networks

E. Bourtsoulatze, N. Thomos, J. Saltarin and T. Braun
Abstract Download

INF-15-002: 2015 Doctoral Workshop on Distributed Systems

H. Mercier, T. Braun, P. Felber, P. Kropf, P. Kuonen, E. Riviere (eds.)
Abstract Download

IAM-15-001: Persistent Caching in Information-Centric Networking

C. Anastasiades, A. Gomes, R. Gadow, T. Braun
Abstract Download

2014

IAM-14-004: Survey in Service-Centric Networking

Dima Mansour and Torsten Braun
Abstract Download

IAM-14-003: Performance Evaluation of Service Support in Content-Centric Networking

Dima Mansour and Torsten Braun
Abstract Download

IAM-14-002: Critical Issues of Centralized and Cloudified LTE-FDD Radio Access Networks

Islam Alyafawi, Eryk Schiller, Torsten Braun, Desislava Dimitrova, Andre Gomes, Navid Nikaein
Abstract Download

IAM-14-001: 2014 Doctoral Workshop on Distributed Systems

H. Mercier, T. Braun, P. Felber, P. Kropf, P. Kuonen (eds.)
Abstract Download

2013

IAM-13-002: 2013 Doctoral Workshop on Distributed Systems

H. Mercier, T. Braun, P. Felber, P. Kropf, P. Kuonen (eds.)
Abstract Download

IAM-13-001: A Link Quality and Geographical-aware Routing Protocol for Video Transmission in Mobile IoT

Denis Rosario, Zhongliang Zhao, Eduardo Cerqueira, Torsten Braun, Aldri Santos
Abstract Download

2012

IAM-12-003: Doctoral Workshop on Distributed Systems

H. Mercier, T. Braun, P. Felber, P. Kropf, P. Kuonen, E. Rivière (eds.)
Abstract Download

IAM-12-002: Dynamic SLA Management with Forecasting using Multi-Objective Optimizations

A.-F. Antonescu, P. Robinson, T. Braun
Abstract Download

IAM-12-001: Proceedings of the WISH seminar on Wireless Integration of Sensor networks in Hybrid architectures

Desislava Dimitrova
Abstract Download

2011

IAM-11-004: Data filtering and aggregation in the Location Based Analyser testbed

I.F.R. Noppen, D.C. Dimitrova, T. Braun
Abstract Download

IAM-11-003: Link-Quality Aware Run-Time Adaptive Forward Error Correction Strategies in Wireless Sensor Networks

Philipp Hurni, Torsten Braun
Abstract Download

IAM-11-002: TABLEAUX 2011 Workshops, Tutorials, and Short Papers

Martin Giese and Roman Kuznets (editors)
Abstract Download

IAM-11-001: Real-World Experiences with the Maximally Traffic-Adaptive Medium Access Control Protocol

P. Hurni, T. Braun
Abstract Download

2010

IAM-10-004: Adding Virtual Mobility to a Federated Testbed for Wireless Sensor Networks: a Proposal

Geoff Coulson, Torsten Braun, Thomas Staub
Abstract Download

IAM-10-003: An Evaluation of Compression Schemes for Wireless Networks

Kirsten Dolfus, Torsten Braun
Abstract Download

IAM-10-001: Proof, Computation, Complexity PCC 2010 International Workshop, Proceedings

K. Brünnler and T. Studer (editors)
Abstract Download

2009

IAM-09-007: Final Report of the Technology Transfer Project "Wireless Mesh Networks for Interconnection of Remote Sites to Fixed Broadband Networks (Feasibility Study)"

Thomas Staub, Markus Anwander, Marc Brogle, Kirsten Dolfus, Torsten Braun, Kurt Baumann, Christian Félix, Pascal Dornier
Abstract Download

IAM-09-006: BeNeFri Summer School 2009 on Dependable Systems

Marc Brogle, Torsten Braun (eds.)
Abstract Download

IAM-09-005: Supporting task-oriented navigation in IDEs with configurable HeatMaps

David Röthlisberger, Oscar Nierstrasz, Stephane Ducasse, Damien Pollet, Romain Robbes
Abstract

IAM-09-004: Reliability Evaluation and Diagnostics with Propositional Directed Acyclic Graphs

Jacek Jonczy, Rolf Haenni
Abstract Download

IAM-09-003: Analytical Cuts in Propositional Linear-Time Temporal Logic

Ricardo Wehbe
Abstract Download

IAM-09-002: PyGirl: Generating Whole-System VMs from high-level models using PyPy

Camillo Bruni, Toon Verwaest, Marcus Denker
Abstract Download

IAM-09-001: A Syntactical Treatment of Simultaneous Fixpoints in the Modal Mu-Calculus

Luca Alberucci
Abstract Download

2008

IAM-08-003: BeNeFri Summer School 2008 on Dependable Systems

Marc Brogle, Torsten Braun (eds.)
Abstract Download

IAM-08-002: Data Privacy for ALC Knowledge Bases

Ph. Stouppa, Th. Studer
Abstract Download

IAM-08-001: Self-aware, Evolving Eternal Systems

Oscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Kuhn, Adrian Lienhard, David Röthlisberger
Abstract Download

2007

IAM-07-004: RVS Retreat 2007 at Quarten

Torsten Braun, Ulrich Ultes-Nitsche, Marc Brogle, Dragan Milic, Patrick Lauer, Thomas Staub, Gerald Wagenknecht, Markus Anwander, Markus Waelchli, Markus Wulff, Carolin Latze, Michael Hayoz, Christoph Ehret, Thierry Nicola
Abstract Download

IAM-07-003: Sensor Node Platform and Middleware for Management of Wireless Sensor Networks

Markus Anwander, Gerald Wagenknecht, Torsten Braun
Abstract Download

IAM-07-002: Energy-efficient Management of Heterogeneous Wireless Sensor Networks

Markus Anwander, Gerald Wagenknecht, Torsten Braun
Abstract Download

IAM-07-001: Cut-free systems for the propositional modal mu-calculus

Gerhard Jäger, Mathis Kretz, Thomas Studer
Abstract Download

2006

IAM-06-008: Implementation of the DELTA objects tracking algorithm on the ESB sensor nodes

Piotr Skoczylas, Markus Wälchli, and Torsten Braun
Abstract Download

IAM-06-007: A Sequent System for Sets of Clauses

Ricardo Wehbe
Abstract Download

IAM-06-006: Logical Compilation of Bayesian Networks

Michael Wachter and Rolf Haenni
Abstract Download

IAM-06-005: Interactive Ray Tracing Using Hardware Accelerated Image-Space Methods

Philippe C.D. Robert, Severin Schoepke
Abstract Download

IAM-06-004: OSLab Module Author Guideline

Attila Weyland and Torsten Braun
Abstract Download

IAM-06-003: OSLab Course Author Guideline

Attila Weyland and Torsten Braun
Abstract Download

IAM-06-002: Using Contextual Information to Assess Package Cohesion

Laura Ponisio, Oscar Nierstrasz
Abstract

IAM-06-001: Probabilistic Equivalence Checking with Propositional DAGs

Michael Wachter, Rolf Haenni
Abstract Download

2005

IAM-05-005: Flattening Traits

Oscar Nierstrasz, Stéphane Ducasse and Nathanael Schärli
Abstract Download

IAM-05-003: Exploring Parallelism for Real-Time Smoke Visualisation

Philippe C.D. Robert, Daniel Schweri
Abstract Download

IAM-05-002: Retreat of the ”Computer Networks and Distributed Systems” research group

Torsten Braun, Marc-Alain Steinemann, Thomas Bernoulli, Marc Brogle, Marc Danzeisen, Dragan Milic, Matthias Scheidegger, Thomas Staub, Markus Waelchli, Attila Weyland
Abstract Download

IAM-05-001: ESUG 2005 International Smalltalk Conference

Stéphane Ducasse, Serge Stinckwich
Abstract Download

2004

IAM-04-010: Broadcasting in Wireless Multihop Networks with the Dynamic Forwarding Delay Concept

Marc Heissenbüttel, Torsten Braun, Markus Wälchli, and Thomas Bernoulli
Abstract Download

IAM-04-009: Canonical Databases and Certain Answers under Key Constraints

Kilian Stoffen and Thomas Studer
Abstract Download

IAM-04-008: ESUG 2004 Research Track

Stephane Ducasse
Abstract Download

IAM-04-007: A Top-Down Program Comprehension Strategy for Packages

Stephane Ducasse and Michele Lanza and Laura Ponisio
Abstract Download

IAM-04-006: Annual Report 2003-2004

IAM
Download

IAM-04-005: A Dynamic Adaptive Acknowledgment Strategy for TCP over Multihop Wireless Networks

Ruy de Oliveira and Torsten Braun
Abstract Download

IAM-04-004: GPU-Based Ray-Triangle Intersection Testing

Philippe C.D. Robert and Daniel Schweri
Abstract Download

IAM-04-003: Classboxes: Controlling Visibility of Class Extensions

Alexandre Bergel and Stephane Ducasse and Oscar Nierstrasz and Roel Wuyts
Abstract Download

IAM-04-002: Experiments on Language Independet Duplication Detection

Matthias Rieger and Stephane Ducasse
Abstract Download

IAM-04-001: Vergleich von Erkennungsmethoden

Simon Günter
Abstract Download

2003

IAM-03-013: Partial ordering tests by coverage sets

Markus Gälli and Oscar Nierstrasz and Roel Wuyts
Abstract Download

IAM-03-012: Authentication and Authorization Infrastructure: Portal Architecture and Prototype Implementation

Marc-Alain Steinemann and Thomas Spreng and Aljoscha Bachmayer and Torst
Abstract Download

IAM-03-011: Computer Networks and Distributed Systems

RVS group
Abstract Download

IAM-03-010: Detecting Software Patterns using Formal Concept Analysis

Frank Buchli
Abstract Download

IAM-03-009: Test composition with example objects and example methods

Markus Gälli
Abstract Download

IAM-03-008: Reengineering Object-Oriented Applications

Stephane Ducasse
Abstract Download

IAM-03-007: Safe and Explicit Composition of Metaclass Properties

Stephane Ducasse, Nathanael Schaerli, and Roel Wuyts
Abstract Download

IAM-03-006: Annual Report 2002-2003

IAM
Download

IAM-03-004: Contractual Types

Oscar Nierstrasz
Abstract Download

IAM-03-003: A Guide to JPiccola

Oscar Nierstrasz and Franz Achermann and Stefan Kneubuehl
Abstract Download

IAM-03-002: VITELS Didactics and Design Guide

Marc-Alain Steinemann and Attila Weyland and Jacques Viens and Torsten Braun
Abstract Download

IAM-03-001: BLR: A Beacon-Less Routing Algorithm for Mobile Ad-Hoc Networks

Marc Heissenbüttel and Torsten Braun
Abstract Download

2002

IAM-02-008: Applying Traits to the Smalltalk Collection Hierarchy

Andrew Black and Nathanael Schärli and Stéphane Ducasse
Abstract Download

IAM-02-007: Annual Report 2002

IAM
Download

IAM-02-006: Traits: The Formal Model

Nathanael Schärli and Stéphane Ducasse and Oscar Nierstrasz and Andrew Black
Abstract

IAM-02-005: Traits: Composable Units of Behavior

Nathanael Schärli and Stéphane Ducasse and Oscar Nierstrasz and Andrew Black
Abstract Download

IAM-02-004: Computer Networks and Distributed Systems

RVS group
Abstract Download

IAM-02-003: TCP in Wireless Mobile Ad Hoc Networks

Ruy de Oliveira and Torsten Braun
Abstract Download

IAM-02-002: Modeling the Topology of the Internet---An Assessment

Pascal Habegger and Hanspeter Bieri
Abstract Download

IAM-02-001: On First Order Logic of Proofs

Sergei Artemov and Tatiana Yavorskaya (Sidon)
Abstract Download

2001

IAM-01-008: Partial results about partial cut elimination for the logics of common knowledge, part I

Luca Alberucci and Gerhard Jaeger
Abstract Download

IAM-01-007: Using Dynamic Information for the Iterative Recovery of Collaborations and Roles

Tamar Richner and St\'ephane Ducasse
Abstract Download

IAM-01-006: Annual Report 2001

IAM
Download

IAM-01-005: Completeness of Logic of Partial Terms

Vincenzo Salipante
Abstract Download

IAM-01-004: Automatic Segmentation of the IAM Off-line Database for Handwritten English Text

Matthias Zimmermann and Horst Bunke
Abstract Download

IAM-01-003: Hidden Markov Model Length Optimization for Handwriting Recognition Systems

Matthias Zimmermann and Horst Bunke
Abstract Download

IAM-01-001: Virtual Router Manual and API Description

Florian Baumgartner
Abstract Download

2000

IAM-00-010: Implementation and Configuration of a Linux Differentiated Services Router

Günther Stattenberger and Torsten Braun
Abstract Download

IAM-00-009: An AAA based Architecture for Providing Differentiated Services to Mobile IP Users

Li Ru and Torsten Braun and Günther Stattenberger
Abstract Download

IAM-00-008: Multicast for Small Conferences

Torsten Braun
Abstract Download

IAM-00-007: Secure Communication with Active Networks

M. Günter and M. Brogle and T. Braun
Abstract Download

IAM-00-006: Implementation of a Bandwidth Broker for Dynamic End-to-End Capacity Reservation over Multiple Diffserv Domains

Ibrahim Khalil and T. Braun
Abstract

IAM-00-005: Dynamic End-to-End Resource Reservation in Outsourced Virtual Private Networks

Ibrahim Khalil and T. Braun
Abstract

IAM-00-004: Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe

Sergei Tupailo
Abstract Download

IAM-00-003: Realization of analysis into Explicit Mathematics

Sergei Tupailo
Abstract Download

IAM-00-002: Computervisualisierungen von Ferdinand Hodlers "Aufstieg'' und "Absturz''

Patrik Schnellmann
Abstract Download

IAM-00-001: Feature Based Retrieval of Diatoms in an Image Database Using Decision Trees

Stefan Fischer and Michael Binkert and Horst Bunke
Abstract Download

1999

IAM-99-006: Annual Report 99

IAM

IAM-99-005: Characterizing the Grzegorczyk hierarchy by safe recursion

Marc Wirz
Abstract Download

IAM-99-004: A semantics for lambda{}str: a calculus with overloading and late-binding

Thomas Studer
Abstract Download

IAM-99-003: Virtual Private Network and Quality of Service Management Implementation

R. Balmer, F. Baumgartner, T. Braun, M. Günter, I. Khalil
Abstract Download

IAM-99-002: Evaluation of Bandwidth Broker Signaling

Manuel Günter
Abstract Download

IAM-99-001: Virtual Private Network Architecture

T. Braun, M. Günter, M. Kasumi, I. Khalil
Abstract Download

1998

IAM-98-003: Annual Report 98

IAM

IAM-98-002: A Calculus for Ressource Control of Components

P. Brambilla
Abstract Download

IAM-98-001: A New Approach to Lipreading Using Time-Vary Signal Analysis

Keren Yu
Abstract Download

1997

IAM-97-004: Des techniques de contrôle de l'envoi de messages en Smalltalk

Stephane Ducasse
Abstract Download

IAM-97-003: Off-Line Handwritten Numeral String Recognition

Thien M. HA and Horst Bunke
Abstract Download

IAM-97-002: Uniform limit in explicit mathematics with universes

R. Kahle
Abstract Download

IAM-97-001: Applikative Theorien und explizite Mathematik

Gerhard Jäger
Abstract Download

1996

IAM-96-016: Robust Edge Detection in Range Images Based on Scan Line Approximation

Xiaoyi Jiang, Horst Bunke
Abstract Download

IAM-96-015: A benchmark method for the propositional modal logics K, KT, S4

A. Heuerding and S. Schwendimann
Abstract Download

IAM-96-014: Design, Implementation, and Testing of Perturbation Method for Handwritten Numeral Recognition

Thien M. Ha and H. Bunke
Abstract Download

IAM-96-013: Frege structures for partial applicative theories

R. Kahle
Abstract Download

IAM-96-012: Fast Error-correcting Graph Isomorphism Based on Model Precompilation

B.T. Messmer and H. Bunke
Abstract Download

IAM-96-011: Text Localisation and Handwriting Recognition

Thien M. Ha, G. Kaufmann, and H. Bunke
Abstract Download

IAM-96-010: Universes over Frege Structures

R. Kahle
Abstract Download

IAM-96-009: Application of the Optimal Class-Selective Rejection Rule to the Detection of Abnormalities in OCR Databases

Thien M. HA
Abstract Download

IAM-96-008: An Experimental Study of the Optimal Class-Selective Rejection Rule

Thien M. HA
Abstract Download

IAM-96-007: On Functional Relation between Recognition Error and Class-Selective Reject

Thien M. HA
Abstract Download

IAM-96-006: An Automata based Model for the Implementation of a TTCN Simulator

Dr. J. Grabowski
Abstract Download

IAM-96-005: Implementation of 'Generic Synchronization Policies' in PICT

P. Varone
Abstract Download

IAM-96-004: Modelling Objects in PICT

J.-G. Schneider, M. Lumpe
Abstract Download

IAM-96-003: Improved Visibility Computation for Clustering in Radiosity

E. Dubuis
Abstract

IAM-96-002: Combination of Classifiers on the Decision Level for Face Recognition

Bernard Achermann and Horst Bunke
Abstract Download

IAM-96-001: Classification and Postprocessing of Documents Using an Error-correcting Parser

H. Bunke, R. Liviero
Abstract Download

1995

IAM-95-014: Graphical User Interfaces: Mess them up!

E. Dubuis
Abstract Download

IAM-95-011: Annual Report 95

IAM

IAM-95-010: Dealing with the complexity of state space exploration algorithms for SDL systems

J. Grabowski, R. Scheurer, D. Toggweiler, D. Hogrefe
Abstract Download

IAM-95-009: An Optimum Decision Rule for Pattern Recognition

Thien M. HA
Abstract Download

IAM-95-008: A High-Level SDL Representation of JVTOS (Joint Viewing and Tele-Operation System)

M. Menna

IAM-95-007: Report on the validation of the Inres System

Prof. Dr. D. Hogrefe
Abstract

IAM-95-006: Rule-based Calculi for Extensions of Logic Programming2

C.M. Jonker
Abstract Download

IAM-95-005: Interpretation of Negations in Logic Programming

C.M. Jonker
Abstract Download

IAM-95-004: Recruitment by size and principle of least action

W. Senn, K. Wyler, H.P. Clamann, J. Kleinle, M. Larkum, H.-R. Luescher, L. Mueller, J. Streit, K. Vogt, T. Wannier
Abstract Download

IAM-95-003: Subgraph Isomorphism in Polynomial Time

B.T. Messmer and H. Bunke
Abstract Download

IAM-95-002: Data storage interpretation of labeled modal logic

Sergei Art\"emov and Vladimir Krupski
Abstract Download

IAM-95-001: Natural numbers and forms of weak induction in applicative theories

Reinhard Kahle
Abstract Download

1994

IAM-94-020: Referential data structures

Sergei Artemov and Vladimir Krupski
Abstract Download

IAM-94-015: Totality in applicative theories

Gerhard Jäger and Thomas Strahm
Abstract Download

IAM-94-014: The Solution of Systems of Linear Equations using the Conjugate Gradient Method on the Parallel MUSIC-System

Jean-Guy Schneider, Edgar F.A. Lederer, Peter Schwab
Abstract Download

IAM-94-012: Symmetrics of Polyhedra: Detection and Applications

Xiaoyi Jiang and Horst Bunke
Abstract Download

IAM-94-011: Text Localisation and Handwriting Recognition:

Thien M. HA and Horst BUNKE
Abstract Download

IAM-94-010: Dynamic Subdivision in Radiosity

E. Dubuis, Prof. H. Bieri
Abstract Download

IAM-94-009: Recognizing Permutations Generated by Sweeps of Planar Point Sets

Prof. H. Bieri, P-M. Schmidt

IAM-94-008: Off-line Cursive Handwriting Recognition using Hidden Markov Models

H. Bunke, M. Roth, E.G. Schukat-Talamazzini
Abstract Download

IAM-94-007: Interpretation von Schatten- und Intensitaetskanten in integrierten Grauwert- und Tiefenbildern

Roland Robmann
Abstract Download

IAM-94-006: Authentifikations- und Schlüsselverteilsysteme

Rolf Oppliger
Abstract Download

IAM-94-005: SDL and MSC Based Test Case Generation - An Overall View of the SAMSTAG Method

Jens Grabowski
Abstract Download

IAM-94-004: The Generation of TTCN Test Cases from MSCs

Jens Grabowski
Abstract Download

IAM-94-003: A Formal Approach to Optimized Parallel Protocol Implementation

S. Leue and Ph. Oechslin
Abstract Download

IAM-94-001: Realisierung eines SDL Simulationstools

Daniel Toggweiler
Abstract Download

1993

IAM-93-026: Automatic Test Case Generation with {SaMsTaG} - A Test Suite for the Initiator Process of the Inres Protocol

Daniel Toggweiler and Robert Nahm
Abstract Download

IAM-93-025: A Fast Algorithm for Finding the Nearest Neighbor of a Word in a Dictionary

Horst Bunke
Abstract Download

IAM-93-024: Die SAMSTAG Methode und ihre Rolle im OSI Konformitätstesten

Jens Grabowski and Robert Nahm and Andreas Spichiger and Dieter Hogrefe
Abstract Download

IAM-93-021: A network based approach to exact and inexact graph matching

Bruno T. Messmer and H. Bunke
Abstract Download

IAM-93-020: Canonical Models for the Basic Logic of Proofs

Tyko Strassen
Abstract Download

IAM-93-019: ETSI TC MTS. Eine Zusammenfassung der aktuellen Aktivitäten

Hansruedi Scheurer and Andreas Spichiger and Jens Grabowski
Abstract Download

IAM-93-018: Modellbasierte Objekterkennung in Tiefenbildern

Andreas Ueltschi
Abstract

IAM-93-017: Vision planner for an intelligent multisensory vision system

X. Y. Jiang and H. Bunke
Abstract Download

IAM-93-016: Ein kantenorientierter Ansatz zur Integration von Grauwert-- und Tiefenbildern (An Edge Oriented Approach for Grey Level and Range Image Integration)

Roland Robmann
Abstract Download

IAM-93-014: Relating Test Purpose to Formal Specifications: Towards a Theoretical Foundation of Practical Testing

Jens Grabowski and Dieter Hogrefe and Robert Nahm and Andreas Spichiger
Abstract Download

IAM-93-013: Test Case Generation for Temporal Properties

Robert Nahm and Jens Grabowski and Dieter Hogrefe
Abstract Download

IAM-93-012: Testspezifikationen des ETSI

Andreas Spichiger
Abstract Download

IAM-93-011: Fast Load Balancing in Cayley Graphs and in Circuits

Jacques E. Boillat
Abstract Download

IAM-93-010: A method for the Generation of Test Cases Based on SDL and MSCs

Jens Grabowski and Dieter Hogrefe and Robert Nahm
Abstract Download

IAM-93-009: Zur Anwendbarkeit von TESDL für die automatische Generierung von TTCN Testf"allen aus SDL Spezifikationen - Eine auf dem Inres Protokoll basierende Fallstudie

Jens Grabowski and Hansruedi Scheurer and Andreas Spichiger and Stefan Suter
Abstract Download

IAM-93-008: Partial Applicative Theories and Explicit Substitutions

Thomas Strahm
Abstract Download

IAM-93-007: Prototyp für das Schilddrüsen-Diagnosesystem SDDS

Xavier Fabregas and Felix Grimm
Abstract

IAM-93-006: Testgeneration via MSC and SDL

Dieter Hogrefe
Abstract

IAM-93-005: Knowledge-based Design of Leased-Line Networks

Stepan Weber and Andreas Greulich and Dieter Hogrefe
Abstract Download

IAM-93-004: Functionality in the Basic Logic of Proofs

Sergei Artemov and Tyko Strassen
Abstract Download

IAM-93-003: Verkehrssimulation mit SystemSpecs

Karl Guggisberg and Peter G. Kropf
Abstract Download

IAM-93-002: Quantization Error Analysis in Range Sensing by Active Triangulation

X. Y. Jiang and H. Bunke
Abstract Download

IAM-93-001: Self-Organizing Process Mapping in a Multiprocessor System

Kuno Wyler
Abstract Download

1992

IAM-92-023: Anaesthesie Simulation auf einem Parallelrechner mit SystemSpecs

Jacques E. Boillat and Peter G. Kropf and Peter Schwab
Abstract

IAM-92-022: Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems

Jens Grabowski and Ekkart Rudolph
Abstract Download

IAM-92-021: Analysis and Understanding of GIRO Check Forms

Thien Ha Minh and Horst Bunke
Abstract Download

IAM-92-020: A Macro Communication Package for Master-Slave models on DMPPs

René M. Rehmann
Abstract Download

IAM-92-019: Simple and Efficient Programming of Parallel Distributed Systems for Computational Scientists

K. M. Decker and R. M. Rehmann
Abstract Download

IAM-92-018: The Basic Logic of Proofs

Sergei Artemov and Tyko Strassen
Abstract Download

IAM-92-017: Abstracts of the IAPR Workshop on Structural and Syntactic Pattern Recognition

Horst Bunke

IAM-92-016: Fast Load Balancing in Cayley Graphs

Jacques E. Boillat
Abstract Download

IAM-92-015: Specifying Real-Time Requirements for Communication Protocols

Dieter Hogrefe and Stefan Leue
Abstract Download

IAM-92-014: Affine Invariant Representation and Recognition of Polygonal Faces in 3-D Space using Edge Length Ratios

Horst Bunke and T. Glauser
Abstract

IAM-92-013: An Analysis of Message Sequence Charts

Peter B. Ladkin and Stefan Leue
Abstract Download

IAM-92-012: An Automaton Interpretation of Message Sequence Charts

Peter B. Ladkin and Stefan Leue
Abstract Download

IAM-92-011: Between programs and processes: absoluteness and open ended-ness

Tim Fernando
Abstract

IAM-92-010: Demonstration and Analysis of a Parallel Monte Carlo Simulation Algorithm

Peter G. Kropf
Abstract

IAM-92-009: Parallel Systems in Switzerland -- A Status Report

Peter G. Kropf
Abstract Download

IAM-92-008: Ein Modelliersystem für Lindenmayer-Systeme

Christoph Streit
Abstract

IAM-92-007: Parametric string matching and its application to pattern recognition

Horst Bunke and J. Csirik
Abstract Download

IAM-92-006: Fast Segmentation of Range Images into Planar Regions by Scan Line Grouping

Xiaoyi Jiang and Horst Bunke
Abstract Download

IAM-92-005: Drawing Posets Using Less Ink

A. Aeschlimann and J. Schmid
Abstract Download

IAM-92-004: Proceedings, Third Annual Meeting of the Swiss Group for Artificial Intelligence and Cognitive Science, SGAICO'91


Abstract

IAM-92-003: SPECS: A Programming Environment for Parallel Computing

Robert Esser and Bruno Buetler and Jacques E. Boillat and Peter G. Kropf and Andre Murbach
Abstract

IAM-92-002: Logic Programs for Primitive-Recursive Predicates

Urs-Martin Künzi
Abstract Download

IAM-92-001: Die 90er Jahre: Eine neue Aera des Supercomputings

Jacques E. Boillat
Download

1991

IAM-91-001: Algorithms for generalized digital images represented by bintrees

Hanspeter Bieri and Igor Metz
Abstract Download