Publications (1112)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page38/112 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

Scheduling of dynamic dataflow programs with model checking
(2011)
Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli
2011 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS)
IEEE
View on publisher's site
A4 Conference proceedings
Characterization of human primary amine oxidase/Sialic acid binding Ig-like lectin 10 interaction (2011)
Elovaara H, Parkash V, Salminen TA, Jalkanen S
European Biophysics Journal
View on publisher's site
A4 Conference proceedings
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A4 Conference proceedings
Contract-Based Verification of Simulink Models (2011)
Pontus Boström
Springer
View on publisher's site
A4 Conference proceedings
Controlled wettability of nanoparticle coated paperboard (2011)
Stepien M, Saarinen J, Teisala H, Tuominen M, Aromaa M, Kuusipalo J, Toivakka M
Surface Science Society of Japan
A4 Conference proceedings
CorreComm: A Formal Hierarchical Framework for Communication Designs (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Cost and Energy Reduction Evaluation for ARM Based Web Servers (2011)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Critical about the clustering of tags: An intersectional perspective on folksonomies (2011)
Huvila Isto, Johannesson Kristin
A4 Conference proceedings
Customer Feedback Analysis Using Collocations (2011)
Eklund Tomas, Toivonen Jarmo, Vanharanta Hannu, Back Barbro
AIS
A4 Conference proceedings
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
View on publisher's site
10 | 25 | 50 | 100 
First page Previous page38/112 Next page Last page
Share link Export