Staffan Bonnier

According to our database, Staffan Bonnier authored at least 7 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

On the performance of commodity hardware for low latency and low jitter packet processing.

Charalampos Stylianopoulos, Magnus Almgren, Olaf Landsiedel, Marina Papatriantafilou, Trevor Neish, Linus Gillander, Bengt Johansson, Staffan Bonnier

Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems, 2020

1997

COMPASS: A Comprehensible Assertion Method.

Staffan Bonnier, Tim Heyer

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1992

Logic Programs with Polymorphic Types: A condition for static type checking.

Staffan Bonnier, Jonas Wallgren

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.

Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund

Inf. Process. Lett., 1991

Unification in Incompletely Specified Theories: A Case Study.

Staffan Bonnier

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1988

Logic Programming with External Procedures: Introducing S-Unification.

Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski

Inf. Process. Lett., 1988

Towards a Clean Amalgamation of Logic Programs with External Procedures.

Staffan Bonnier, Jan Maluszynski

Proceedings of the Logic Programming, 1988