Publications (1059)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page42/43 Next page Last page
A Ä B C D E F G H I J K L M N O P Q R S T U V W Y Z В Г О С Э All 
A4 Conference proceedings
Predicting the performance of different fuels in fluidized bed combustion (2000)
Hupa M, Kilpinen P, Kallio S, Konttinen J, Skrifvars BJ, Zevenhoven M, Backman R
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Conference proceedings
The role of the International Flame Research Foundation's industrial networking activities in the dissemination of research information (2000)
Roberts PA, Hupa M, Thijssen NJW
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Conference proceedings
A programmable general protocol processor - a proposal for an expandable architecture (1999)
Seppo Virtanen, Jouni Isoaho, Tomi Westerlund, Johan Lilius
A4 Conference proceedings
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
A4 Conference proceedings
Checking time petri nets for linear duration properties (1999)
Xuandong Li, Johan Lilius
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Coordination Among Mobile Objects (1999)
Petre L, Sere K
A4 Conference proceedings
Dynamic simulation of particle motion in pigment coating colors (1999)
Martti Toivakka
Korean Society of Wood Science and Technology
A4 Conference proceedings
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
View on publisher's site
A4 Conference proceedings
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A4 Conference proceedings
Husdjuren i sydvästra Finland (1999)
Niklas Huldén
Dansk Landbrugsmuseums Forlag
Gl. Estrup
A4 Conference proceedings
Mobile Components as Topological Action Systems (1999)
Petre L, Waldén M
A4 Conference proceedings
Timing analysis of UML sequence diagrams (1999)
Xuandong Li, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Mobile Objects as Action Systems (1998)
Petre L, Sere K
A4 Conference proceedings
Partial Order Reductions for Timed Systems (1998)
Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
View on publisher's site
A4 Conference proceedings
Consolidation of particulate suspension - model study with plastic pigments (1997)
Martti Toivakka, Pekka Salminen, Yohannes Chonde, Douglas Bousfield
TAPPI Press
A4 Conference proceedings
Determination of the distribution of wood resin in handsheets by confocal laser scanning microscopy (1997)
Stefan Willför, Anna Sundberg, Christer Eckerman, Bjarne Holmbom
Canadian Pulp and Paper Association
A4 Conference proceedings
Simulation of relaxation-induced dilatancy (1997)
A.E. Välimäki, M.O. Toivakka
TAPPI Press
A4 Conference proceedings
Time Processes for Time Nets (1997)
Tuomas Aura, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
Floc characterization in highly turbulent fiber suspensions by digital image analysis (1996)
Beghello L, Toivakka M, Wahren D, Eklund D
A4 Conference proceedings
Influence of detrimental substances on the adsorption of cationic polyacrylamide on mechanical pulp (1996)
Mikkonen M, Eklund D
Canadian Pulp and Paper Association
A4 Conference proceedings
A device for measuring fiber sizes in highly turbulent fiber suspensions (1995)
Beghello L, Toivakka M, Eklund D, Lindström T
Canadian Pulp and Paper Association
10 | 25 | 50 | 100 
First page Previous page42/43 Next page Last page
Share link Export