Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. PELÁNEK, Radek. Adaptive Learning is Hard: Challenges, Nuances, and Trade-offs in Modeling. International Journal of Artificial Intelligence in Education. NEW YORK: SPRINGER, 2024, 26 s. ISSN 1560-4292. Dostupné z: https://dx.doi.org/10.1007/s40593-024-00400-6.
      angličtina. Spojené státy.
      Klíčová slova anglicky: Adaptive learning; Student modeling; Domain modeling; Trade-offs
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 22. 4. 2024 10:45.
    2. ŘECHTÁČKOVÁ, Anna, Radek PELÁNEK a Tomáš EFFENBERGER. Catalog of Code Quality Defects in Introductory Programming. Online. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1. Milan, Italy: Association for Computing Machinery, 2024, s. 59-65. ISBN 979-8-4007-0600-4. Dostupné z: https://dx.doi.org/10.1145/3649217.3653638.
      ACM Digital Library Code Quality Defects Catalog
      angličtina. Spojené státy.
      Klíčová slova anglicky: automated feedback, code quality, novice programmers, pep8, python, teaching

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 16. 8. 2024 08:34.
    3. PELÁNEK, Radek. Leveraging response times in learning environments: opportunities and challenges. User Modeling and User-Adapted Interaction. DORDRECHT: Springer Netherlands, 2024, 24 s. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-023-09386-7.
      angličtina. Nizozemské království.
      Klíčová slova anglicky: Response time; Student modeling; Personalization; Learning; Cheating
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 4. 2024 10:32.
    4. PELÁNEK, Radek, Tomáš EFFENBERGER a Petr JARUŠEK. Personalized recommendations for learning activities in online environments: a modular rule-based approach. User Modeling and User-Adapted Interaction. DORDRECHT: Springer Netherlands, 2024, 32 s. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-024-09396-z.
      angličtina.
      Klíčová slova anglicky: Recommender system; Education; Learning environment; Adaptive practice; Domain modeling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 22. 4. 2024 10:39.

    2023

    1. PELÁNEK, Radek a Tomáš EFFENBERGER. The Landscape of Computational Thinking Problems for Practice and Assessment. ACM TRANSACTIONS ON COMPUTING EDUCATION. UNITED STATES: ASSOC COMPUTING MACHINERY, 2023, roč. 23, č. 2, s. 1-29. ISSN 1946-6226. Dostupné z: https://dx.doi.org/10.1145/3578269.
      URL
      RIV/00216224:14330/23:00133816 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Skills; well-structured problems; taxonomy

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 18. 3. 2024 10:16.

    2022

    1. PELÁNEK, Radek. Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology. International Journal of Artificial Intelligence in Education. 2022, roč. 32, č. 1, s. 151-173. ISSN 1560-4292. Dostupné z: https://dx.doi.org/10.1007/s40593-021-00251-5.
      URL
      RIV/00216224:14330/22:00125686 Článek v odborném periodiku. angličtina. Švýcarsko.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: terminology; educational technology; adaptivity; learning; student modeling

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 3. 2023 15:40.
    2. EFFENBERGER, Tomáš a Radek PELÁNEK. Code Quality Defects Across Introductory Programming Topics. Online. In Larry Merkle, Maureen Doyle. Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 1. New York, NY, USA: Association for Computing Machinery, 2022, s. 941-947. ISBN 978-1-4503-9070-5. Dostupné z: https://dx.doi.org/10.1145/3478431.3499415.
      ACM Digital library
      RIV/00216224:14330/22:00127006 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: introductory programming; python; code quality; feedback
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:00.
    3. PELÁNEK, Radek, Tomáš EFFENBERGER a Jaroslav ČECHÁK. Complexity and Difficulty of Items in Learning Systems. International Journal of Artificial Intelligence in Education. 2022, roč. 32, č. 1, s. 196-232. ISSN 1560-4292. Dostupné z: https://dx.doi.org/10.1007/s40593-021-00252-4.
      URL
      RIV/00216224:14330/22:00124952 Článek v odborném periodiku. angličtina. Švýcarsko.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; difficulty; complexity
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 4. 2022 15:26.
    4. PELÁNEK, Radek a Tomáš EFFENBERGER. Design and analysis of microworlds and puzzles for block-based programming. Computer Science Education. Routledge, 2022, roč. 32, č. 1, s. 66-104. ISSN 0899-3408. Dostupné z: https://dx.doi.org/10.1080/08993408.2020.1832813.
      URL
      RIV/00216224:14330/22:00124864 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: introductory programming; block-based programming; microworld; puzzle; difficulty; log analysis
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 25. 4. 2022 08:37.
    5. PELÁNEK, Radek a Tomáš EFFENBERGER. Improving Learning Environments: Avoiding Stupidity Perspective. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES. UNITED STATES: IEEE COMPUTER SOC, 2022, roč. 15, č. 1, s. 64-77. ISSN 1939-1382. Dostupné z: https://dx.doi.org/10.1109/TLT.2022.3154936.
      URL
      RIV/00216224:14330/22:00128874 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: taxonomy; data-driven techniques; defects; student modeling

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 13. 3. 2023 13:50.
    6. PELÁNEK, Radek, Tomáš EFFENBERGER a Adam KUKUČKA. Towards Design-Loop Adaptivity: Identifying Items for Revision. Journal of Educational Data Mining. International Educational Data Mining Society, 2022, roč. 14, č. 3, s. 1-25. ISSN 2157-2100. Dostupné z: https://dx.doi.org/10.5281/zenodo.7357331.
      URL
      RIV/00216224:14330/22:00128708 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Kukučka, Adam (703 Slovensko, domácí)
      Klíčová slova anglicky: learning environment; outliers; anomaly detection; interpretability; reliability; difficulty; content analysis; attention-worthiness

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 3. 2023 16:41.

    2021

    1. PELÁNEK, Radek. Analyzing and Visualizing Learning Data: A System Designer's Perspective. Journal of Learning Analytics. 2021, roč. 8, č. 2, s. 93-104. ISSN 1929-7750. Dostupné z: https://dx.doi.org/10.18608/jla.2021.7345.
      URL
      RIV/00216224:14330/21:00124540 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: difficulty; similarity; response time; temporal patterns; biases; cheating

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 15:09.
    2. ČECHÁK, Jaroslav a Radek PELÁNEK. Better Model, Worse Predictions: The Dangers in Student Model Comparisons. In Roll, Ido and McNamara, Danielle and Sosnovsky, Sergey and Luckin, Rose and Dimitrova, Vania. International Conference on Artificial Intelligence in Education. Cham: Springer, 2021, s. 500-511. ISBN 978-3-030-78291-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-78292-4_40.
      RIV/00216224:14330/21:00121881 Stať ve sborníku. angličtina. Švýcarsko.
      Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: Additive factor model; Student modeling; Simulation; Model comparison
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:19.
    3. ČECHÁK, Jaroslav a Radek PELÁNEK. Experimental Evaluation of Similarity Measures for Educational Items. Online. In I-Han Hsiao, Shaghayegh Sahebi, François Bouchet, Jill-Jênn Vie. Proceedings of the 14th International Conference on Educational Data Mining. Neuveden: Neuveden, 2021, s. 553-558. ISBN 978-1-7336736-2-4.
      URL
      RIV/00216224:14330/21:00122016 Stať ve sborníku. angličtina.
      Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: item similarity; evaluation; generalizability

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 15:12.
    4. EFFENBERGER, Tomáš a Radek PELÁNEK. Interpretable Clustering of Students’ Solutions in Introductory Programming. Online. In Roll I., McNamara D., Sosnovsky S., Luckin R., Dimitrova V. Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748. Cham: Springer, 2021, s. 101-112. ISBN 978-3-030-78291-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-78292-4_9.
      URL
      RIV/00216224:14330/21:00121982 Stať ve sborníku. angličtina. Švýcarsko.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: interpretable clustering; pattern mining; introductory programming; problem solving
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:20.
    5. EFFENBERGER, Tomáš a Radek PELÁNEK. Validity and Reliability of Student Models for Problem-Solving Activities. Online. In Proceedings of the 11th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery, 2021, s. 1-11. ISBN 978-1-4503-8935-8. Dostupné z: https://dx.doi.org/10.1145/3448139.3448140.
      URL
      RIV/00216224:14330/21:00121402 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; skills; difficulties; validity; reliability; performance measures; problem solving; introductory programming
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:16.
    6. EFFENBERGER, Tomáš a Radek PELÁNEK. Visualization of Student-Item Interaction Matrix. Online. In Muhittin Sahin, Dirk Ifenthaler. Visualizations and Dashboards for Learning Analytics. Cham: Springer, 2021, s. 439-456. Advances in Analytics for Learning and Teaching. ISBN 978-3-030-81221-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-81222-5_20.
      URL
      RIV/00216224:14330/21:00123675 Kapitola resp. kapitoly v odborné knize. angličtina. Švýcarsko.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: exploratory data analysis; learning environment; heat map; dotted chart
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Tomáš Effenberger, Ph.D., učo 410350. Změněno: 12. 1. 2022 13:25.

    2020

    1. PELÁNEK, Radek. A Classification Framework for Practice Exercises in Adaptive Learning Systems. IEEE Transactions on Learning Technologies. 2020, roč. 13, č. 4, s. 734-747. ISSN 1939-1382. Dostupné z: https://dx.doi.org/10.1109/TLT.2020.3027050.
      URL
      RIV/00216224:14330/20:00118359 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive learning; classification; framework; student modeling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:55.
    2. PELÁNEK, Radek a Tomáš EFFENBERGER. Beyond binary correctness: Classification of students’ answers in learning systems. User Modeling and User-Adapted Interaction. Springer, 2020, roč. 30, č. 5, s. 867-893. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-020-09265-5.
      URL
      RIV/00216224:14330/20:00116670 Článek v odborném periodiku. angličtina. Švýcarsko.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; answer classification; response time
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:55.
    3. EFFENBERGER, Tomáš, Radek PELÁNEK a Jaroslav ČECHÁK. Exploration of the Robustness and Generalizability of the Additive Factors Model. Online. In Proceedings of the 10th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery, 2020, s. 472-479. ISBN 978-1-4503-7712-6. Dostupné z: https://dx.doi.org/10.1145/3375462.3375491.
      URL
      RIV/00216224:14330/20:00115226 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; learning curves; knowledge components; introductory programming
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
    4. EFFENBERGER, Tomáš a Radek PELÁNEK. Impact of Methodological Choices on the Evaluation of Student Models. Online. In Bittencourt I., Cukurova M., Muldner K., Luckin R., Millán E. Artificial Intelligence in Education. AIED 2020. Lecture Notes in Computer Science, vol 12163. Cham: Springer, 2020, s. 153-164. ISBN 978-3-030-52236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-52237-7_13.
      URL
      RIV/00216224:14330/20:00116669 Stať ve sborníku. angličtina. Švýcarsko.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; intelligent tutoring systems; introductory programming
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:14.
    5. PELÁNEK, Radek. Learning analytics challenges: trade-offs, methodology, scalability. Online. In Christoph Rensing, Hendrik Drachsler. Proceedings of the Tenth International Conference on Learning Analytics & Knowledge. New York, NY, United States: Association for Computing Machinery, 2020, s. 554-558. ISBN 978-1-4503-7712-6. Dostupné z: https://dx.doi.org/10.1145/3375462.3375463.
      URL
      RIV/00216224:14330/20:00118360 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: trade-offs; scalability; methodology
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
    6. PELÁNEK, Radek. Managing items and knowledge components: domain modeling in practice. Educational Technology Research and Development. 2020, roč. 68, č. 1, s. 529-550. ISSN 1042-1629. Dostupné z: https://dx.doi.org/10.1007/s11423-019-09716-w.
      URL
      RIV/00216224:14330/20:00115525 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: domain modeling; student modeling; adaptivity; scalability; knowledge component; system developoment
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
    7. PELÁNEK, Radek. Measuring Similarity of Educational Items: An Overview. IEEE Transactions on Learning Technologies. 2020, roč. 13, č. 2, s. 354-366. ISSN 1939-1382. Dostupné z: https://dx.doi.org/10.1109/TLT.2019.2896086.
      URL
      RIV/00216224:14330/20:00115524 Článek v odborném periodiku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: educational items; adaptive learning systems; item similarity measures; computation pipeline
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:57.

    2019

    1. EFFENBERGER, Tomáš, Jaroslav ČECHÁK a Radek PELÁNEK. Difficulty and Complexity of Introductory Programming Problems. Online. In 3rd Educational Data Mining in Computer Science Education Workshop. 2019, 8 s.
      webové stránky workshopu
      angličtina. Spojené státy.
      Klíčová slova anglicky: complexity measure; difficulty measure; problem sequencing; introductory programming; Python; block-based programming; turtle graphics
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jaroslav Čechák, Ph.D., učo 410322. Změněno: 27. 8. 2019 07:59.
    2. ČECHÁK, Jaroslav a Radek PELÁNEK. Item Ordering Biases in Educational Data. Online. In Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin. International Conference on Artificial Intelligence in Education. Cham: Springer, 2019, s. 48-58. ISBN 978-3-030-23203-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-23204-7_5.
      RIV/00216224:14330/19:00110476 Stať ve sborníku. angličtina. Švýcarsko.
      Čechák, Jaroslav (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: intelligent tutoring system; data collection; explore-exploit tradeoff; simulation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:41.
    3. EFFENBERGER, Tomáš, Jaroslav ČECHÁK a Radek PELÁNEK. Measuring Difficulty of Introductory Programming Tasks. Online. In Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19). New York: ACM, 2019, s. „28:1“-„28:4“, 4 s. ISBN 978-1-4503-6804-9. Dostupné z: https://dx.doi.org/10.1145/3330430.3333641.
      RIV/00216224:14330/19:00110491 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: problem difficulty; problem complexity; data collection bias; introductory programming; intelligent tutoring system
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 6. 2022 23:18.
    4. EFFENBERGER, Tomáš a Radek PELÁNEK. Measuring Students’ Performance on Programming Tasks. Online. In Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19). New York: ACM, 2019, s. "26:1"-"26:4", 4 s. ISBN 978-1-4503-6804-9. Dostupné z: https://dx.doi.org/10.1145/3330430.3333639.
      Plný text článku
      RIV/00216224:14330/19:00110495 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: performance measures;introductory programming;student modeling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 6. 2022 23:22.

    2018

    1. PELÁNEK, Radek a Jiří ŘIHÁK. Analysis and design of mastery learning criteria. New Review of Hypermedia and Multimedia. Taylor & Francis, 2018, roč. 24, č. 3, s. 133-159. ISSN 1361-4568. Dostupné z: https://dx.doi.org/10.1080/13614568.2018.1476596.
      RIV/00216224:14330/18:00104014 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: mastery learning; learner modelling; Bayesian knowledge tracing; exponential moving average
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 16. 4. 2019 12:06.
    2. PELÁNEK, Radek. Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge. Online. In Carolyn Penstein Rosé, Roberto Martínez Maldonado, Heinz Ulrich Hoppe, Rose Luckin, Manolis Mavrikis, Kaska Porayska-Pomsta, Bruce M. McLaren, Benedict du Boulay. Artificial Intelligence in Education. New York: Springer, 2018, s. 450-461. ISBN 978-3-319-93842-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-93843-1_33.
      RIV/00216224:14330/18:00104015 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: mastery learning; student modeling
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:33.
    3. PELÁNEK, Radek. Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning. Online. In Rose Luckin, Scott Klemmer, Kenneth R. Koedinger. Learning @ Scale. New York, NY, USA: ACM, 2018, s. "18:1"-"18:4", 4 s. ISBN 978-1-4503-5886-6. Dostupné z: https://dx.doi.org/10.1145/3231644.3231675.
      RIV/00216224:14330/18:00104016 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: response time; wrong answer; student modeling

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:12.
    4. PELÁNEK, Radek, Tomáš EFFENBERGER, Matěj VANĚK, Vojtěch SASSMANN a Dominik GMITERKO. Measuring Item Similarity in Introductory Programming. Online. In Rose Luckin, Scott Klemmer, Kenneth R. Koedinger. Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY, USA: ACM, 2018, s. "19:1"-"19:4", 4 s. ISBN 978-1-4503-5886-6. Dostupné z: https://dx.doi.org/10.1145/3231644.3231676.
      RIV/00216224:14330/18:00104017 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Vaněk, Matěj (203 Česká republika, domácí) -- Sassmann, Vojtěch (203 Česká republika, domácí) -- Gmiterko, Dominik (703 Slovensko, domácí)
      Klíčová slova anglicky: similarity; programming
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:07.
    5. PELÁNEK, Radek. The details matter: methodological nuances in the evaluation of student models. User Modeling and User-Adapted Interaction. Springer, 2018, roč. 28, č. 3, s. 207-235. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-018-9204-y.
      URL
      RIV/00216224:14330/18:00104013 Článek v odborném periodiku. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: student modeling; evaluation; metrics; data; model comparison
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:57.
    6. EFFENBERGER, Tomáš a Radek PELÁNEK. Towards making block-based programming activities adaptive. Online. In Rose Luckin, Scott Klemmer, Kenneth R. Koedinger. Learning @ Scale. New York, NY, USA: ACM, 2018, s. "13:1"-"13:4", 4 s. ISBN 978-1-4503-5886-6. Dostupné z: https://dx.doi.org/10.1145/3231644.3231670.
      RIV/00216224:14330/18:00104033 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: introductory programming; adaptive learning
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.

    2017

    1. PELÁNEK, Radek. Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques. User Modeling and User-Adapted Interaction. 2017, roč. 27, 3-5, s. 313-350. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-017-9193-2.
      URL
      RIV/00216224:14330/17:00099575 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: learner modeling; evaluation; adaptive learning
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:56.
    2. PELÁNEK, Radek, Jan PAPOUŠEK, Jiří ŘIHÁK, Vít STANISLAV a Juraj NIŽNAN. Elo-based Learner Modeling for the Adaptive Practice of Facts. User Modeling and User-Adapted Interaction. Springer Netherlands, 2017, roč. 26, č. 1, s. 89-118. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-016-9185-7.
      URL
      RIV/00216224:14330/17:00095908 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí)
      Klíčová slova anglicky: Learner modeling;Computerized adaptive practice;Elo rating system;Model evaluation;Factual knowledge
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 17:31.
    3. PAPOUŠEK, Jan a Radek PELÁNEK. Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts. Online. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York: ACM, 2017, s. 379-380. ISBN 978-1-4503-4635-1. Dostupné z: https://dx.doi.org/10.1145/3079628.3079642.
      RIV/00216224:14330/17:00099573 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive learning; difficulty
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 04:35.
    4. PELÁNEK, Radek a Jiří ŘIHÁK. Experimental Analysis of Mastery Learning Criteria. Online. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2017, s. 156-163. ISBN 978-1-4503-4635-1. Dostupné z: https://dx.doi.org/10.1145/3079628.3079667.
      URL
      RIV/00216224:14330/17:00097866 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: mastery learning; learner modeling; Bayesian knowledge tracing; exponential moving average
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 16:41.
    5. PELÁNEK, Radek. Measuring predictive performance of user models: The details matter. Online. In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization. USA: ACM, 2017, s. 197-201. ISBN 978-1-4503-5067-9. Dostupné z: https://dx.doi.org/10.1145/3099023.3099042.
      RIV/00216224:14330/17:00100554 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: AUC; evaluation; metrics; predictive accuracy; RMSE; student modeling

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 17:27.
    6. ŘIHÁK, Jiří a Radek PELÁNEK. Measuring Similarity of Educational Items Using Data on Learners’ Performance. Online. In Proceedings of the 10th International Conference on Educational Data Mining. Wuhan, China.: International Educational Data Mining Society, 2017, s. 16-23.
      Informatika. angličtina. Čína.
      Klíčová slova anglicky: domain modeling; item similarity; similarity measures; simulated data; evaluation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 1. 2018 08:06.
    7. PAPOUŠEK, Jan a Radek PELÁNEK. Should We Give Learners Control Over Item Difficulty?. Online. In Personalization Approaches in Learning Environments, Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization. New York: ACM, 2017, s. 299-303. ISBN 978-1-4503-5067-9. Dostupné z: https://dx.doi.org/10.1145/3099023.3099080.
      RIV/00216224:14330/17:00099574 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive learning; difficulty
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 07:37.

    2016

    1. PAPOUŠEK, Jan, Radek PELÁNEK a Vít STANISLAV. Adaptive Geography Practice Data Set. Journal of Learning Analytics. 2016, roč. 3, č. 2, s. 317-321. ISSN 1929-7750.
      URL
      RIV/00216224:14330/16:00091567 Článek v odborném periodiku. Informatika. angličtina. Austrálie.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí) -- Stanislav, Vít (203 Česká republika)
      Klíčová slova anglicky: adaptive practice; geography; learning; student modelling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 28. 3. 2017 08:54.
    2. PELÁNEK, Radek. Applications of the Elo rating system in adaptive educational systems. COMPUTERS & EDUCATION. 2016, roč. 98, č. 1, s. 169-179. ISSN 0360-1315. Dostupné z: https://dx.doi.org/10.1016/j.compedu.2016.03.017.
      URL
      RIV/00216224:14330/16:00093977 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Architectures for educational technology system; Interactive learning environments; Applications in subject areas; Student modeling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 1. 2023 09:24.
    3. PAPOUŠEK, Jan, Vít STANISLAV a Radek PELÁNEK. Evaluation of an Adaptive Practice System for Learning Geography Facts. Online. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016, s. 134-142. ISBN 978-1-4503-4190-5. Dostupné z: https://dx.doi.org/10.1145/2883851.2883884.
      URL
      RIV/00216224:14330/16:00090423 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: attrition bias; computerized adaptive practice; engagement; evaluation; learning curve; survival analysis
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:17.
    4. PAPOUŠEK, Jan, Vít STANISLAV a Radek PELÁNEK. Evaluation of the Impact of Question Difficulty on Engagement and Learning. Brno, 2016, 13 s.
      URL
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: evaluation, engagement, learning curves, optimal difficulty

      Změnil: RNDr. Jan Papoušek, Ph.D., učo 325494. Změněno: 9. 11. 2016 22:25.
    5. ŘIHÁK, Jiří a Radek PELÁNEK. Choosing a Student Model for a Real World Application. Online. In Workshop Proceedings of 13th International Conference on Intelligent Tutoring Systems. Zagreb: Intelligent Tutoring Systems, 2016, s. 188-198.
      Informatika. angličtina.
      Klíčová slova anglicky: student modeling; domain modeling; response times; predictive accuracy; mathematics; education

      Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 9. 11. 2016 11:06.
    6. PELÁNEK, Radek, Jiří ŘIHÁK a Jan PAPOUŠEK. Impact of Data Collection on Interpretation and Evaluation of Student Models. Online. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016, s. 40-47. ISBN 978-1-4503-4190-5. Dostupné z: https://dx.doi.org/10.1145/2883851.2883868.
      URL
      RIV/00216224:14330/16:00090424 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Papoušek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: attition;bias;data sets;evaluation;parameter fitting;student modeling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:24.
    7. PAPOUŠEK, Jan, Vít STANISLAV a Radek PELÁNEK. Impact of Question Difficulty on Engagement and Learning. Online. In Alessandro Micarelli, John Stamper, Kitty Panourgia. Intelligent Tutoring Systems: 13th International Conference. Zagreb, Croatia: Springer International Publishing, 2016, s. 267-272. ISBN 978-3-319-39582-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-39583-8_28.
      URL
      RIV/00216224:14330/16:00090426 Stať ve sborníku. Informatika. angličtina.
      Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: evaluation; engagement; learning curves; optimal difficulty
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.
    8. PELÁNEK, Radek a Jiří ŘIHÁK. Properties and Applications of Wrong Answers in Online Educational Systems. Online. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh (USA, NC): International Educational Data Mining Society, 2016, s. 466-471.
      Informatika. angličtina. Spojené státy.
      Klíčová slova anglicky: adaptive learning; student modeling; wrong answer; clustering; confusion
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 6. 8. 2017 11:23.
    9. ŘIHÁK, Jiří a Radek PELÁNEK. What is More Important for Student Modeling: Domain Structure or Response Times? In Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings. Zagreb: Springer International Publishing, 2016, s. 451-452. ISBN 978-3-319-39582-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-39583-8.
      RIV/00216224:14330/16:00090587 Stať ve sborníku. Informatika. angličtina. Chorvatsko.
      Řihák, Jiří (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; domain modeling; response times; predictive accuracy; mathematics education

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.

    2015

    1. PAPOUŠEK, Jan, Radek PELÁNEK, Jiří ŘIHÁK a Vít STANISLAV. An Analysis of Response Times in Adaptive Practice of Geography Facts. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, s. 562-563. ISBN 978-84-606-9425-0.
      RIV/00216224:14330/15:00083276 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: response time; geography fact; student knowledge; adaptive practice; student modeling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 10. 11. 2015 14:39.
    2. NIŽNAN, Juraj, Jan PAPOUŠEK a Radek PELÁNEK. Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. Online. In Second Workshop on Simulated Learners. Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education. Madrid: Sun SITE Central Europe, 2015, s. 21-30. ISSN 1613-0073.
      RIV/00216224:14330/15:00083277 Stať ve sborníku. Informatika. angličtina.
      Nižnan, Juraj (703 Slovensko, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; evaluation; simulated data; feedback
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:49.
    3. PAPOUŠEK, Jan a Radek PELÁNEK. Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid: Springer International Publishing, 2015, s. 348-357. ISBN 978-3-319-19772-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-19773-9_35.
      URL
      RIV/00216224:14330/15:00083139 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive educational system; item difficulty; optimal challenge; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:10.
    4. PELÁNEK, Radek. Metrics for Evaluation of Student Models. Journal of Educational Data Mining. 2015, roč. 7, č. 3, s. 1-19. ISSN 2157-2100.
      URL
      RIV/00216224:14330/15:00086954 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: student modeling; evaluation; metrics
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:56.
    5. PELÁNEK, Radek. Modeling Students' Memory for Application in Adaptive Educational Systems. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, s. 480-483. ISBN 978-84-606-9425-0.
      RIV/00216224:14330/15:00087183 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: student modeling; human memory; evaluation

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:55.
    6. PELÁNEK, Radek a Petr JARUŠEK. Student Modeling Based on Problem Solving Times. International Journal of Artificial Intelligence in Education. 2015, roč. 25, č. 4, s. 493-519. ISSN 1560-4292. Dostupné z: https://dx.doi.org/10.1007/s40593-015-0048-x.
      RIV/00216224:14330/15:00086953 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; problem solving; time
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:57.
    7. ŘIHÁK, Jiří, Radek PELÁNEK a Juraj NIŽNAN. Student Models for Prior Knowledge Estimation. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, s. 109-116. ISBN 978-84-606-9425-0.
      RIV/00216224:14330/15:00084612 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Řihák, Jiří (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí)
      Klíčová slova anglicky: geography fact; prior student knowledge; adaptive practice; student modeling

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:57.

    2014

    1. PELÁNEK, Radek. A Brief Overview of Metrics for Evaluation of Student Models. Online. In Sergio Gutierrez-Santos, Olga C. Santos. Proceedings of the Workshops held at Educational Data Mining 2014. Velká Británie: RWTH Aachen University, 2014, s. 151-152. ISSN 1613-0073.
      RIV/00216224:14330/14:00079893 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: student modeling; evaluation; metrics
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:20.
    2. PELÁNEK, Radek, Jan PAPOUŠEK a Vít STANISLAV. Adaptive Practice of Facts in Domains with Varied Prior Knowledge. Online. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). London, United Kingdom: International Educational Data Mining Society, 2014, s. 6-13. ISBN 978-0-9839525-4-1.
      Název anglicky: Adaptive Practice of Facts in Domains with Varied Prior Knowledge
      RIV/00216224:14330/14:00076647 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; recommendation; prior knowledge
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:21.
    3. PELÁNEK, Radek. Application of Time Decay Functions and the Elo System in Student Modeling. Online. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). 2014. vyd. London, United Kingdom: International Educational Data Mining Society, 2014, s. 21-27. ISBN 978-0-9839525-4-1.
      Název česky: Využití funkcí časového poklesu a Elo systému při modelování studentů
      Název anglicky: Application of Time Decay Functions and the Elo System in Student Modeling
      RIV/00216224:14330/14:00079892 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; Elo rating system
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:21.
    4. NIŽNAN, Juraj, Radek PELÁNEK a Jiří ŘIHÁK. Mapping Problems to Skills Combining Expert Opinion and Student Data. In P. Hlineny et al. Proceedings of MEMICS'14. Německo: Springer, 2014, s. 113-124. ISBN 978-3-319-14895-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-14896-0_10.
      Název anglicky: Mapping Problems to Skills Combining Expert Opinion and Student Data
      RIV/00216224:14330/14:00077301 Stať ve sborníku. Informatika. angličtina.
      Nižnan, Juraj (703 Slovensko, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: Q-matrix; domain modeling; student modeling; problem solving; time; evaluation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:22.
    5. NIŽNAN, Juraj, Radek PELÁNEK a Jiří ŘIHÁK. Using Problem Solving Times and Expert Opinion to Detect Skills. Online. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining. London: International Educational Data Mining Society, 2014, s. 433-434. ISBN 978-0-9839525-4-1.
      Název česky: Využití řešitelských času a názoru experta pro detekci dovedností
      RIV/00216224:14330/14:00077270 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Nižnan, Juraj (703 Slovensko, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: Q-matrix; domain modeling; student modeling; problem solving; time; evaluation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:22.

    2013

    1. PELÁNEK, Radek, Petr BOROŠ, Juraj NIŽNAN a Jiří ŘIHÁK. Automatic Detection of Concepts from Problem Solving Times. In Lane, H.C.; Yacef, K.; Mostow, J.; Pavlik, P. Artificial Intelligence in Education. USA: Springer, 2013, s. 595-598. ISBN 978-3-642-39111-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39112-5_67.
      Název česky: Automatická detekce konceptů v datech o časech řešení problémů
      Název anglicky: Automatic Detection of Concepts from Problem Solving Times
      RIV/00216224:14330/13:00070141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Boroš, Petr (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: problem solving; concepts; student modeling
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:55.
    2. PELÁNEK, Radek, Petr JARUŠEK a Matěj KLUSÁČEK. Modeling Students' Learning and Variability of Performance in Problem Solving. Online. In D’Mello, S. K., Calvo, R. A., and Olney, A. Educational Data Mining. USA: International Educational Data Mining Society, 2013, s. 256-259. ISBN 978-0-9839525-2-7.
      Název česky: Modelování učení a variability výkonu studentů při řešení problémů
      Název anglicky: Modeling Students' Learning and Variability of Performance in Problem Solving
      RIV/00216224:14330/13:00070139 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí) -- Klusáček, Matěj (203 Česká republika, domácí)
      Klíčová slova anglicky: problem solving; student modeling; learning
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:56.

    2012

    1. PELÁNEK, Radek a Petr JARUŠEK. A Web-Based Problem Solving Tool for Introductory Computer Science. In Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education. New York. USA: ACM, 2012, s. 371-371. ISBN 978-1-4503-1246-2.
      Název anglicky: A Web-Based Problem Solving Tool for Introductory Computer Science
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: Problem solving; intelligent tutoring systems; computer science education
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 6. 12. 2012 09:10.
    2. PELÁNEK, Radek a Petr JARUŠEK. Analysis of a simple model of problem solving times. In Springer. Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems. Heidelberg: Springer Berlin / Heidelberg, 2012, s. 379-388. ISBN 978-3-642-30949-6. Dostupné z: https://dx.doi.org/10.1007/978-3-642-30950-2_49.
      URL
      Název anglicky: Analysis of a simple model of problem solving times
      RIV/00216224:14330/12:00057644 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Problem solving; intelligent tutoring systems; item response theory.
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:14.
    3. PELÁNEK, Radek a Petr JARUŠEK. Modeling and Predicting Students Problem Solving Times. In Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science. Czech republic: Springer, 2012, s. 637-648. ISBN 978-3-642-27659-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-27660-6_52.
      Název anglicky: Modeling and Predicting Students Problem Solving Times
      RIV/00216224:14330/12:00057329 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Problem solving; Modeling; Predicting
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 12:56.
    4. PELÁNEK, Radek. Modelování a simulace komplexních systémů. Jak lépe porozumět světu. 1. vyd. Brno: Masarykova univerzita, 2012, 236 s. e-book. ISBN 978-80-210-5807-1.
      Název česky: Modelování a simulace komplexních systémů. Jak lépe porozumět světu
      Název anglicky: Modeling and simulation of complex systems
      Teorie a systémy řízení. čeština. Česká republika.
      Změnila: Mgr. Radka Vyskočilová, učo 2368. Změněno: 7. 9. 2012 13:54.
    5. PELÁNEK, Radek. Programátorská cvičebnice: algoritmy v příkladech. Brno: Computer Press, 2012, 175 s. ISBN 978-80-251-3751-2.
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 3. 4. 2013 15:25.

    2011

    1. PELÁNEK, Radek. Difficulty Rating of Sudoku Puzzles by a Computational Model. In Philip M. McCarthy, R. Charles Murray. Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA: Association for the Advancement of Artificial Intelligence (AAAI), 2011, s. 434-439. ISBN 978-1-57735-501-4.
      Název česky: Hodnocení obtížnosti Sudoku pomocí výpočetního modelu
      RIV/00216224:14330/11:00049812 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: computational model; human problem solving; Sudoku; difficulty; evaluation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 8. 6. 2012 10:31.
    2. PELÁNEK, Radek. Modelování a simulace komplexních systémů. Jak lépe porozumět světu. 1. vyd. Brno: Masarykova univerzita, 2011, 236 s. mimo edice. ISBN 978-80-210-5318-2.
      Název česky: Modelování a simulace komplexních systémů. Jak lépe porozumět světu
      Název anglicky: Modeling and simulation of complex systems
      Informatika. čeština. Česká republika.
      Klíčová slova anglicky: modeling; complex systems; simulation; agent-based modeling; feedback; cellular automata; complex networks

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 4. 2012 16:46.
    3. PELÁNEK, Radek a Petr JARUŠEK. Problem Response Theory and its Application for Tutoring. In Proceedings of the 4th International Conference on Educational Data Mining. Eindhoven: International Conference on Educational Data Mining 2011, 2011, s. 374-375. ISBN 978-90-386-2537-9.
      Název anglicky: Problem Response Theory and its Application for Tutoring
      RIV/00216224:14330/11:00049976 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Problem response theory; problem solving Tutor
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2012 23:50.
    4. JARUŠEK, Petr a Radek PELÁNEK. Problem Solving Tutor. 2011.
      RIV/00216224:14330/11:00050303 Software. Informatika. angličtina. Česká republika.
      Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: problem solving; intelligent tutoring system; education; logic; mathematics; programming; recommender system

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 13. 4. 2012 11:20.
    5. PELÁNEK, Radek a Petr JARUŠEK. What Determines Difficulty of Transport Puzzles? In Philip M. McCarthy, R. Charles Murray. Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA: Association for the Advancement of Artificial Intelligence (AAAI), 2011, s. 428-433. ISBN 978-1-57735-501-4.
      Název česky: Co určuje obtížnost transportních úloh?
      RIV/00216224:14330/11:00049813 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: computational model; human problem solving; transport puzzles; Sokoban; state spaces; difficulty; evaluation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 8. 6. 2012 10:31.

    2010

    1. JARUŠEK, Petr a Radek PELÁNEK. Analýza obtížnosti logických úloh na základě modelů lidského chování. In Kognice a umělý život X. Neuveden: Slezská univerzita v Opavě, 2010, s. 171-176. ISBN 978-80-7248-589-5.
      URL
      Název česky: Analýza obtížnosti logických úloh na základě modelů lidského chování
      Název anglicky: Application of computational models for difficulty rating of logic puzzles
      RIV/00216224:14330/10:00044015 Stať ve sborníku. Informatika. čeština. Česká republika.
      Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: puzzles; well-structured problems; Sokoban; Sudoku; computational model
      Druh sborníku: postkonferenční sborník

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 9. 1. 2012 15:23.
    2. JARUŠEK, Petr a Radek PELÁNEK. Difficulty Rating of Sokoban Puzzle. In STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium. Lisbon, Portugal: IOS Press BV, 2010, s. 140-146, 6 s. ISBN 978-1-60750-675-1.
      Název anglicky: Difficulty Rating of Sokoban Puzzle
      RIV/00216224:14330/10:00044298 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Sokoban; Difficulty rating; Puzzle; Computational model
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 9. 1. 2012 15:25.

    2009

    1. PELÁNEK, Radek a Václav ROSECKÝ. EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo: Springer, 2009, s. 169-173. ISBN 978-3-642-02651-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-02652-2_15.
      Název česky: EMMA: Manažer explicitního ověřování modelů (prezentace nástroje)
      Název anglicky: EMMA: Explicit Model Checking Manager (Tool Presentation)
      RIV/00216224:14330/09:00065860 Stať ve sborníku. Informatika. angličtina. Francie.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Rosecký, Václav (203 Česká republika)
      Klíčová slova anglicky: model checking; evaluation; tool
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 05:53.

    2008

    1. PELÁNEK, Radek, Václav ROSECKÝ a Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008, 14 s. ISSN 1571-0661.
      Název česky: Komplementarita technik pro detekci chyb
      RIV/00216224:14330/08:00025027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Pelánek, Radek (203 Česká republika, garant) -- Rosecký, Václav (203 Česká republika) -- Moravec, Pavel (203 Česká republika)
      Klíčová slova anglicky: model checking; evaluation; error detection
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:57.
    2. ŠIMEČEK, Pavel a Radek PELÁNEK. Estimating State Space Parameters. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008.
      Technical report on this work
      Název česky: Odhadování parametrů stavových prostorů
      Název anglicky: Estimating State Space Parameters
      RIV/00216224:14330/08:00024337 Prezentace na konferencích. Informatika. angličtina. Maďarsko.
      Šimeček, Pavel (203 Česká republika) -- Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: state space; state space size; estimation
      Druh účasti: aktivní účast
      Mezinárodní význam: ano

      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 25. 11. 2008 14:57.
    3. PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, 15 s. ISBN 3-642-03239-7.
      Název česky: Boj se stavovou explozí: přehled a zhodnocení
      RIV/00216224:14330/08:00025026 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; state space explosion; review; evaluation; experience report
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:52.
    4. PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, s. 149-163. ISBN 978-3-540-79706-7.
      Název česky: Klasifikace modelů a automatická verifikace
      RIV/00216224:14330/08:00024587 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; automated verification; state space
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:51.
    5. PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2008, roč. 10, č. 5, s. 443-454. ISSN 1433-2779.
      Název česky: Vlastnosti stavových prostorů a jejich aplikace
      RIV/00216224:14330/08:00025025 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: state space; explicit model checking; graph; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 14. 11. 2008 12:24.

    2007

    1. PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo: Springer, 2007, s. 263-267. ISBN 3-540-73369-8.
      BEEM webpage
      Název česky: BEEM: sbírka příkladů pro explicitní ověřování modelů
      RIV/00216224:14330/07:00020585 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: model checking benchmarks
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:54.
    2. PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science. Germany: Technical University of Braunschweig, 2007, roč. 3, č. 1, s. 1-22. ISSN 1860-5974.
      LMCS journal web-page.
      Název česky: Predikátová abstrakce a zjemňování dolních aproximací
      RIV/00216224:14330/07:00020179 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:50.

    2006

    1. PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2006, roč. 8, č. 3, s. 204-215. ISSN 1433-2779.
      Název česky: Využití horních a dolních mezí při zónových abstrakcích časových automatů
      RIV/00216224:14330/06:00015564 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
      Klíčová slova anglicky: model checking; timed automata; verification; abstraction; extrapolation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:01.
    2. PELÁNEK, Radek. Reduction and Abstraction Techniques for Model Checking. Brno: Masarykova univerzita, 2006, 160 s.
      Název česky: Redukční a abstrakční techniky pro ověřování modelu
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: Ph.D. thesis, model checking, abstraction, state space explosion
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 1. 2007 15:02.
    3. PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Test Input Generation for Java Containers using State Matching. In International Symposium on International Symposium on Software Testing and Analysis. USA: ACM, 2006, s. 37--48, 11 s. ISBN 1-59593-263-1.
      Název česky: Generování testovacích vstupů pro kontejnery v Javě
      RIV/00216224:14330/06:00015369 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: test input generation; java containers; state matching
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 7. 12. 2006 14:59.

    2005

    1. PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005, s. 52-66. ISBN 3-540-27231-3.
      Název česky: Konkrétní hledání s abstraktním sdružováním a zjemněním
      RIV/00216224:14330/05:00012728 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
    2. PELÁNEK, Radek a Jan STREJČEK. Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg: Springer-Verlag, 2005, s. 238-249. ISBN 978-3-540-31023-5.
      Název česky: Hlubší spojitosti mezi LTL a alternujícími automaty
      RIV/00216224:14330/05:00012729 Stať ve sborníku. Informatika. angličtina. Francie.
      Pelánek, Radek (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: LTL; alternating automata; model checking
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 29. 3. 2010 12:50.
    3. PELÁNEK, Radek, Tomáš HANŽL, Ivana ČERNÁ a Luboš BRIM. Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon: ACM SIGSOFT, 2005, s. 98-105. ISBN 1-59593-148-1.
      Název česky: Zlepšení prohledávání stavového prostoru náhodnou procházkou
      RIV/00216224:14330/05:00012727 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Pelánek, Radek (203 Česká republika, garant) -- Hanžl, Tomáš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Brim, Luboš (203 Česká republika)
      Klíčová slova anglicky: random walk; state space exploration
      Recenzováno: ano

      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 21. 11. 2006 11:39.
    4. PELÁNEK, Radek a Pavel KRČÁL. On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India: Springer, 2005, s. 310-321. ISBN 978-3-540-30495-1.
      Název česky: O diskrétní sémantice časových automatů
      RIV/00216224:14330/05:00012726 Stať ve sborníku. Informatika. angličtina. Indie.
      Pelánek, Radek (203 Česká republika, garant) -- Krčál, Pavel (203 Česká republika)
      Klíčová slova anglicky: model checking; timed automata; non-emptiness problems; decidability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:59.
    5. PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA: ACM, 2005, s. 414-417.
      Název česky: Generování testovacích vstupů s využitím abstrakce
      RIV/00216224:14330/05:00013479 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: test input generation; state space exploration; state matching
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 13:07.

    2004

    1. PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004). Barcelona (Španělsko): Springer-Verlag, 2004, s. 312-326. ISBN 3-540-21299-X.
      Název česky: Horní a dolní meze při analýze časových automatů s použitím zónové abstrakce
      RIV/00216224:14330/04:00010716 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
      Klíčová slova anglicky: model checking; timed automata; abstraction
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
    2. PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko): Springer-Verlag, 2004, s. 5-22, 15 s. ISBN 3-540-21314-7.
      Název česky: Typické strukturní vlastnosti stavových prostorů
      RIV/00216224:14330/04:00010717 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: explicit model checking; state space exploration
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.

    2003

    1. ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003, s. 49-74, 25 s. ISBN 3-540-40117-2.
      RIV/00216224:14330/03:00008589 Stať ve sborníku. Informatika. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: distributed model checking; cycle detection
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:11.
    2. PELÁNEK, Radek. LTL Hierarchies and Model Checking. In Proceedings of the Eight ESSLLI Student Session. Wien: TU Wien, 2003, s. 245-254, 9 s.
      Název anglicky: LTL Hierarchies and Model Checking
      RIV/00216224:14330/03:00008596 Stať ve sborníku. Informatika. angličtina. Rakousko.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: LTL; model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
    3. ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003, s. 318-327. ISBN 3-540-40671-9.
      RIV/00216224:14330/03:00008590 Stať ve sborníku. Informatika. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: temporal logic; automata over infinite words; model checking
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
      Přír. čísla: 4200509002
    4. BEHRMANN, Gerd, Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003, s. 433-445. ISBN 3-540-40524-0.
      RIV/00216224:14330/03:00008588 Stať ve sborníku. Informatika. angličtina. Německo.
      Behrmann, Gerd (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: explicit model checking; syntax analysis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.

    2001

    1. BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India: Springer, 2001, s. 96-110. LNCS 2245. ISBN 3-540-43002-4.
      Název anglicky: Distributed LTL Model-Checking Based on Negative Cycle Detection
      RIV/00216224:14330/01:00004500 Stať ve sborníku. Počítačový hardware a software.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 3. 12. 2001 14:07.
      Přír. čísla: 4200507318
    2. BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. In SOFSEM 2001. Piestany: Springer, 2001, s. 191-200. LNCS 2234. ISBN 3-540-42912-3.
      Název anglicky: Distributed LTL Model-Checking Based on Negative Cycle Detection
      RIV/00216224:14330/01:00004501 Stať ve sborníku. Počítačový hardware a software.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 3. 12. 2001 14:07.
      Přír. čísla: 4200507250
Zobrazeno: 22. 9. 2024 18:25