Skip to the search field
Skip to the main page content
Skip to the Accessibility Statement
Research.fi
Menu
Suomeksi
På svenska
In English
Home
Search
Science and Innovation Policy
Science and research news
In English
Publications - Research.fi - 250651 results
Publications
9 143
Funding calls
0
Granted funding
1
People
1
Research data
0
Infrastructures
0
Organizations
0
Projects
- BETA
0
Publications
9 143
Funding calls
0
Granted funding
1
People
1
Research data
0
Infrastructures
0
Organizations
0
Projects
0
Test the beta version of the improved search. The improved search only works in publications. The information corresponds to the content of the current site for publications.
To new search
Close
Publications -
250 651
search results
Skip to search results
Show as image
Filter results
Displaying results 1 - 10 / 250651
10
50
100
results / page
What
publication
information is included in the service?
Publication name
Authors
Publication channel
Year
Combining Aspect-Orientation and UPPAAL Timed Automata
Peer-reviewed
DOI
10.5220/0005105101590164
Dragos Truscan; J Vain; M Koskinen
Proceedings of the 9th International Conference on Software Paradigm Trends
2014
Predictive runtime verification of timed properties
Peer-reviewed
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software
2017
SMT-based Verification of Timed Systems and Software
Kindermann, Roland
Aalto University
2014
Runtime enforcement of regular timed properties by suppressing and delaying events
Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
SMT-Based Induction Methods for Timed Systems
Peer-reviewed
DOI
10.1007/978-3-642-33365-1_13
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
Lecture Notes in Computer Science
2012
Introducing playing style to computer go
Peer-reviewed
Seuranen, Esa
-
2007
´Rheumatologist go home!´ Coming up next?
Peer-reviewed
Uhlig T; Sokka T
Annals of the Rheumatic Diseases
2013
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
Peer-reviewed
Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé
SPRINGER
2015
Timed up-and-go performance is associated with objectively measured life space in patients 3 months after ischemic stroke : a cross-sectional observational study
Peer-reviewed
Open access
DOI
10.1007/s00415-022-11524-x
Rössler, Roland; Rommers, Nikki; Kim, Eun-Kyeong; Iendra, Laura; Sofios, Alexander; Giannouli, Eleft...
Journal of Neurology
2023
Impact of Playing Pokémon Go on Wellness: Impact of Playing Pokémon Go on Wellness
Peer-reviewed
Open access
DOI
10.24251/HICSS.2018.240
Shahrokh Nikou; Tarvoll Julian; Anssi Öörni
Hawaii International Conference on System Sciences 2018
2018
Combining Aspect-Orientation and UPPAAL Timed Automata
Peer-reviewed
DOI
10.5220/0005105101590164
2014
Predictive runtime verification of timed properties
Peer-reviewed
DOI
10.1016/j.jss.2017.06.060
2017
SMT-based Verification of Timed Systems and Software
2014
Runtime enforcement of regular timed properties by suppressing and delaying events
Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
2016
SMT-Based Induction Methods for Timed Systems
Peer-reviewed
DOI
10.1007/978-3-642-33365-1_13
2012
Introducing playing style to computer go
Peer-reviewed
2007
´Rheumatologist go home!´ Coming up next?
Peer-reviewed
2013
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
Peer-reviewed
2015
Timed up-and-go performance is associated with objectively measured life space in patients 3 months after ischemic stroke : a cross-sectional observational study
Peer-reviewed
Open access
DOI
10.1007/s00415-022-11524-x
2023
Impact of Playing Pokémon Go on Wellness: Impact of Playing Pokémon Go on Wellness
Peer-reviewed
Open access
DOI
10.24251/HICSS.2018.240
2018
Previous
1
2
3
4
5
6
7
8
9
Next
Displaying results 1 - 10 / 250651
Page 1
Publications - Research.fi
Sort