Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 4192 hakutulosta
Julkaisut
4192
Rahoitushaut
0
Myönnetty rahoitus
21
Tutkijat
7
Aineistot
9
Infrastruktuurit
1
Organisaatiot
0
Hankkeet
0
Julkaisut -
4 192
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 4192
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
EMIP: The eye movements in programming dataset
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102520
Bednarik, Roman; Busjahn, Teresa; Gibaldi, Agostino; Ahadi, Alireza; Bielikova, Maria; Crosby, Marth...
Science of computer programming
2020
Julkaisujen tiedon ikoni
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2023.103047
Andrey Sadovykh; Bilal Said; Dragos Truscan; Hugo Bruneliere
Science of Computer Programming
2024
Julkaisujen tiedon ikoni
Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue
DOI
10.1016/j.scico.2023.102975
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming
2023
Julkaisujen tiedon ikoni
Software Quality for Artificial Intelligence (SQA4AI) special issue
Vertaisarvioitu
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming
2023
Julkaisujen tiedon ikoni
Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators
Vertaisarvioitu
Beelen, Luc; Jansen, Slinger; Overbeek, Sietse
Science of Computer Programming
2021
Julkaisujen tiedon ikoni
An optimal cut-off algorithm for parameterised refinement checking
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
Siirtola, Antti; Heljanko, Keijo
Science of computer programming
2020
Julkaisujen tiedon ikoni
Constrained synthesis from component libraries
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2018.10.003
Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto
Science of Computer Programming
2019
Julkaisujen tiedon ikoni
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
Vertaisarvioitu
DOI
10.1016/j.scico.2018.07.003
Pittou, Maria; Manolios, Panagiotis; Reineke, Jan; Tripakis, Stavros
Science of Computer Programming
2018
Julkaisujen tiedon ikoni
Formal reasoning about resilient goal-oriented multi-agent systems
Vertaisarvioitu
DOI
10.1016/j.scico.2017.05.008
Inna Vistbakka; I. Pereverzeva; Elena Troubitsyna
Science of Computer Programming
2017
Julkaisujen tiedon ikoni
Runtime enforcement of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
EMIP: The eye movements in programming dataset
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102520
2020
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2023.103047
2024
Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue
DOI
10.1016/j.scico.2023.102975
2023
Software Quality for Artificial Intelligence (SQA4AI) special issue
Vertaisarvioitu
2023
Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators
Vertaisarvioitu
2021
An optimal cut-off algorithm for parameterised refinement checking
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2020.102517
2020
Constrained synthesis from component libraries
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scico.2018.10.003
2019
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
Vertaisarvioitu
DOI
10.1016/j.scico.2018.07.003
2018
Formal reasoning about resilient goal-oriented multi-agent systems
Vertaisarvioitu
DOI
10.1016/j.scico.2017.05.008
2017
Runtime enforcement of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
2016
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 4192
Sivu 1
Sort