BibTeX records: Radek Pelánek

download as .bib file

@article{DBLP:journals/nrhm/PelanekR18,
  author    = {Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Analysis and design of mastery learning criteria},
  journal   = {The New Review of Hypermedia and Multimedia},
  volume    = {24},
  number    = {3},
  pages     = {133--159},
  year      = {2018},
  url       = {https://doi.org/10.1080/13614568.2018.1476596},
  doi       = {10.1080/13614568.2018.1476596},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nrhm/PelanekR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umuai/Pelanek18,
  author    = {Radek Pel{\'{a}}nek},
  title     = {The details matter: methodological nuances in the evaluation of student
               models},
  journal   = {User Model. User-Adapt. Interact.},
  volume    = {28},
  number    = {3},
  pages     = {207--235},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11257-018-9204-y},
  doi       = {10.1007/s11257-018-9204-y},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/umuai/Pelanek18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/Pelanek18,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Conceptual Issues in Mastery Criteria: Differentiating Uncertainty
               and Degrees of Knowledge},
  booktitle = {Artificial Intelligence in Education - 19th International Conference,
               {AIED} 2018, London, UK, June 27-30, 2018, Proceedings, Part {I}},
  pages     = {450--461},
  year      = {2018},
  crossref  = {DBLP:conf/aied/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-93843-1\_33},
  doi       = {10.1007/978-3-319-93843-1\_33},
  timestamp = {Thu, 21 Jun 2018 08:10:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/Pelanek18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/EffenbergerP18,
  author    = {Tom{\'{a}}s Effenberger and
               Radek Pel{\'{a}}nek},
  title     = {Towards making block-based programming activities adaptive},
  booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  pages     = {13:1--13:4},
  year      = {2018},
  crossref  = {DBLP:conf/lats/2018},
  url       = {https://doi.org/10.1145/3231644.3231670},
  doi       = {10.1145/3231644.3231670},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/EffenbergerP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/Pelanek18,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Exploring the utility of response times and wrong answers for adaptive
               learning},
  booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  pages     = {18:1--18:4},
  year      = {2018},
  crossref  = {DBLP:conf/lats/2018},
  url       = {https://doi.org/10.1145/3231644.3231675},
  doi       = {10.1145/3231644.3231675},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/Pelanek18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/PelanekEVSG18,
  author    = {Radek Pel{\'{a}}nek and
               Tom{\'{a}}s Effenberger and
               Matej Vanek and
               Vojtech Sassmann and
               Dominik Gmiterko},
  title     = {Measuring item similarity in introductory programming},
  booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  pages     = {19:1--19:4},
  year      = {2018},
  crossref  = {DBLP:conf/lats/2018},
  url       = {https://doi.org/10.1145/3231644.3231676},
  doi       = {10.1145/3231644.3231676},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/PelanekEVSG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-03240,
  author    = {Radek Pel{\'{a}}nek and
               Tom{\'{a}}s Effenberger and
               Matej Vanek and
               Vojtech Sassmann and
               Dominik Gmiterko},
  title     = {Measuring Item Similarity in Introductory Programming: Python and
               Robot Programming Case Studies},
  journal   = {CoRR},
  volume    = {abs/1806.03240},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.03240},
  archivePrefix = {arXiv},
  eprint    = {1806.03240},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-03240},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umuai/PelanekPRSN17,
  author    = {Radek Pel{\'{a}}nek and
               Jan Papousek and
               Jir{\'{\i}} Rih{\'{a}}k and
               V{\'{\i}}t Stanislav and
               Juraj Niznan},
  title     = {Elo-based learner modeling for the adaptive practice of facts},
  journal   = {User Model. User-Adapt. Interact.},
  volume    = {27},
  number    = {1},
  pages     = {89--118},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11257-016-9185-7},
  doi       = {10.1007/s11257-016-9185-7},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/umuai/PelanekPRSN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umuai/Pelanek17,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Bayesian knowledge tracing, logistic models, and beyond: an overview
               of learner modeling techniques},
  journal   = {User Model. User-Adapt. Interact.},
  volume    = {27},
  number    = {3-5},
  pages     = {313--350},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11257-017-9193-2},
  doi       = {10.1007/s11257-017-9193-2},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/umuai/Pelanek17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/RihakP17,
  author    = {Jir{\'{\i}} Rih{\'{a}}k and
               Radek Pel{\'{a}}nek},
  title     = {Measuring Similarity of Educational Items Using Data on Learners'
               Performance},
  booktitle = {Proceedings of the 10th International Conference on Educational Data
               Mining, {EDM} 2017, Wuhan, Hubei, China, June 25-28, 2017},
  year      = {2017},
  crossref  = {DBLP:conf/edm/2017},
  url       = {http://educationaldatamining.org/EDM2017/proc\_files/papers/paper\_23.pdf},
  timestamp = {Mon, 07 May 2018 15:02:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/RihakP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/PelanekR17,
  author    = {Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Experimental Analysis of Mastery Learning Criteria},
  booktitle = {Proceedings of the 25th Conference on User Modeling, Adaptation and
               Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 - 12,
               2017},
  pages     = {156--163},
  year      = {2017},
  crossref  = {DBLP:conf/um/2017},
  url       = {https://doi.org/10.1145/3079628.3079667},
  doi       = {10.1145/3079628.3079667},
  timestamp = {Tue, 06 Nov 2018 16:57:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/um/PelanekR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/Pelanek17,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Measuring Predictive Performance of User Models: The Details Matter},
  booktitle = {Adjunct Publication of the 25th Conference on User Modeling, Adaptation
               and Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 -
               12, 2017},
  pages     = {197--201},
  year      = {2017},
  crossref  = {DBLP:conf/um/2017a},
  url       = {https://doi.org/10.1145/3099023.3099042},
  doi       = {10.1145/3099023.3099042},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/um/Pelanek17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/PapousekP17a,
  author    = {Jan Papousek and
               Radek Pel{\'{a}}nek},
  title     = {Should We Give Learners Control Over Item Difficulty?},
  booktitle = {Adjunct Publication of the 25th Conference on User Modeling, Adaptation
               and Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 -
               12, 2017},
  pages     = {299--303},
  year      = {2017},
  crossref  = {DBLP:conf/um/2017a},
  url       = {https://doi.org/10.1145/3099023.3099080},
  doi       = {10.1145/3099023.3099080},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/um/PapousekP17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/PapousekP17,
  author    = {Jan Papousek and
               Radek Pel{\'{a}}nek},
  title     = {Evaluation of Learners' Adjustment of Question Difficulty in Adaptive
               Practice of Facts},
  booktitle = {Proceedings of the 25th Conference on User Modeling, Adaptation and
               Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 - 12,
               2017},
  pages     = {379--380},
  year      = {2017},
  crossref  = {DBLP:conf/um/2017},
  url       = {https://doi.org/10.1145/3079628.3079642},
  doi       = {10.1145/3079628.3079642},
  timestamp = {Tue, 06 Nov 2018 16:57:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/um/PapousekP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/Pelanek16,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Applications of the Elo rating system in adaptive educational systems},
  journal   = {Computers {\&} Education},
  volume    = {98},
  pages     = {169--179},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.compedu.2016.03.017},
  doi       = {10.1016/j.compedu.2016.03.017},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ce/Pelanek16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PelanekR16,
  author    = {Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Properties and Applications of Wrong Answers in Online Educational
               Systems},
  booktitle = {Proceedings of the 9th International Conference on Educational Data
               Mining, {EDM} 2016, Raleigh, North Carolina, USA, June 29 - July 2,
               2016},
  pages     = {466--471},
  year      = {2016},
  crossref  = {DBLP:conf/edm/2016},
  url       = {http://www.educationaldatamining.org/EDM2016/proceedings/paper\_13.pdf},
  timestamp = {Tue, 09 Aug 2016 14:13:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/PelanekR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/its/PapousekSP16,
  author    = {Jan Papousek and
               V{\'{\i}}t Stanislav and
               Radek Pel{\'{a}}nek},
  title     = {Impact of Question Difficulty on Engagement and Learning},
  booktitle = {Intelligent Tutoring Systems - 13th International Conference, {ITS}
               2016, Zagreb, Croatia, June 7-10, 2016. Proceedings},
  pages     = {267--272},
  year      = {2016},
  crossref  = {DBLP:conf/its/2016},
  url       = {https://doi.org/10.1007/978-3-319-39583-8\_28},
  doi       = {10.1007/978-3-319-39583-8\_28},
  timestamp = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/its/PapousekSP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/PelanekRP16,
  author    = {Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k and
               Jan Papousek},
  title     = {Impact of data collection on interpretation and evaluation of student
               models},
  booktitle = {Proceedings of the Sixth International Conference on Learning Analytics
               {\&} Knowledge, {LAK} 2016, Edinburgh, United Kingdom, April 25-29,
               2016},
  pages     = {40--47},
  year      = {2016},
  crossref  = {DBLP:conf/lak/2016},
  url       = {https://doi.org/10.1145/2883851.2883868},
  doi       = {10.1145/2883851.2883868},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lak/PelanekRP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/PapousekSP16,
  author    = {Jan Papousek and
               V{\'{\i}}t Stanislav and
               Radek Pel{\'{a}}nek},
  title     = {Evaluation of an adaptive practice system for learning geography facts},
  booktitle = {Proceedings of the Sixth International Conference on Learning Analytics
               {\&} Knowledge, {LAK} 2016, Edinburgh, United Kingdom, April 25-29,
               2016},
  pages     = {134--142},
  year      = {2016},
  crossref  = {DBLP:conf/lak/2016},
  url       = {https://doi.org/10.1145/2883851.2883884},
  doi       = {10.1145/2883851.2883884},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lak/PapousekSP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/PelanekJ15,
  author    = {Radek Pel{\'{a}}nek and
               Petr Jarusek},
  title     = {Student Modeling Based on Problem Solving Times},
  journal   = {I. J. Artificial Intelligence in Education},
  volume    = {25},
  number    = {4},
  pages     = {493--519},
  year      = {2015},
  url       = {https://doi.org/10.1007/s40593-015-0048-x},
  doi       = {10.1007/s40593-015-0048-x},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/aiedu/PelanekJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/NiznanPP15,
  author    = {Juraj Niznan and
               Jan Papousek and
               Radek Pel{\'{a}}nek},
  title     = {Exploring the Role of Small Differences in Predictive Accuracy using
               Simulated Data},
  booktitle = {Proceedings of the Workshops at the 17th International Conference
               on Artificial Intelligence in Education, {AIED} 2015, Madrid, Spain,
               June 22 + 26, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/aied/2015w},
  url       = {http://ceur-ws.org/Vol-1432/sl\_pap3.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/NiznanPP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/PapousekP15,
  author    = {Jan Papousek and
               Radek Pel{\'{a}}nek},
  title     = {Impact of Adaptive Educational System Behaviour on Student Motivation},
  booktitle = {Artificial Intelligence in Education - 17th International Conference,
               {AIED} 2015, Madrid, Spain, June 22-26, 2015. Proceedings},
  pages     = {348--357},
  year      = {2015},
  crossref  = {DBLP:conf/aied/2015},
  url       = {https://doi.org/10.1007/978-3-319-19773-9\_35},
  doi       = {10.1007/978-3-319-19773-9\_35},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aied/PapousekP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/Pelanek15,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Metrics for Evaluation of Student Models},
  booktitle = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  pages     = {19},
  year      = {2015},
  crossref  = {DBLP:conf/edm/2015},
  url       = {http://www.educationaldatamining.org/EDM2015/proceedings/abstract19.pdf},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/Pelanek15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/NiznanPR15,
  author    = {Juraj Niznan and
               Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Student Models for Prior Knowledge Estimation},
  booktitle = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  pages     = {109--116},
  year      = {2015},
  crossref  = {DBLP:conf/edm/2015},
  url       = {http://www.educationaldatamining.org/EDM2015/proceedings/full109-116.pdf},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/NiznanPR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/Pelanek15a,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Modeling Students' Memory for Application in Adaptive Educational
               Systems},
  booktitle = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  pages     = {480--483},
  year      = {2015},
  crossref  = {DBLP:conf/edm/2015},
  url       = {http://www.educationaldatamining.org/EDM2015/proceedings/short480-483.pdf},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/Pelanek15a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/Pelanek15b,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Modeling Student Learning: Binary or Continuous Skill?},
  booktitle = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  pages     = {560--561},
  year      = {2015},
  crossref  = {DBLP:conf/edm/2015},
  url       = {http://www.educationaldatamining.org/EDM2015/proceedings/poster560-561.pdf},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/Pelanek15b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PapousekPRS15,
  author    = {Jan Papousek and
               Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k and
               V{\'{\i}}t Stanislav},
  title     = {An Analysis of Response Times in Adaptive Practice of Geography Facts},
  booktitle = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  pages     = {562--563},
  year      = {2015},
  crossref  = {DBLP:conf/edm/2015},
  url       = {http://www.educationaldatamining.org/EDM2015/proceedings/poster562-563.pdf},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/PapousekPRS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PapousekPS14,
  author    = {Jan Papousek and
               Radek Pel{\'{a}}nek and
               V{\'{\i}}t Stanislav},
  title     = {Adaptive Practice of Facts in Domains with Varied Prior Knowledge},
  booktitle = {Proceedings of the 7th International Conference on Educational Data
               Mining, {EDM} 2014, London, UK, July 4-7, 2014},
  pages     = {6--13},
  year      = {2014},
  crossref  = {DBLP:conf/edm/2014},
  url       = {http://www.educationaldatamining.org/EDM2014/uploads/procs2014/longpapers/6\_EDM-2014-Full.pdf},
  timestamp = {Fri, 22 Jul 2016 13:02:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/PapousekPS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/Pelanek14,
  author    = {Radek Pel{\'{a}}nek},
  title     = {A Brief Overview of Metrics for Evaluation of Student Models},
  booktitle = {Proceedings of the Workshops held at Educational Data Mining 2014,
               co-located with 7th International Conference on Educational Data Mining
               {(EDM} 2014), London, United Kingdom, July 4-7, 2014.},
  year      = {2014},
  crossref  = {DBLP:conf/edm/2014w},
  url       = {http://ceur-ws.org/Vol-1183/bkt20y\_paper07.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/Pelanek14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/Pelanek14a,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Application of Time Decay Functions and the Elo System in Student
               Modeling},
  booktitle = {Proceedings of the 7th International Conference on Educational Data
               Mining, {EDM} 2014, London, UK, July 4-7, 2014},
  pages     = {21--27},
  year      = {2014},
  crossref  = {DBLP:conf/edm/2014},
  url       = {http://www.educationaldatamining.org/EDM2014/uploads/procs2014/longpapers/21\_EDM-2014-Full.pdf},
  timestamp = {Fri, 22 Jul 2016 13:02:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/Pelanek14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/NiznanPR14,
  author    = {Juraj Niznan and
               Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Using Problem Solving Times and Expert Opinion to Detect Skills},
  booktitle = {Proceedings of the 7th International Conference on Educational Data
               Mining, {EDM} 2014, London, UK, July 4-7, 2014},
  pages     = {433--434},
  year      = {2014},
  crossref  = {DBLP:conf/edm/2014},
  url       = {http://www.educationaldatamining.org/EDM2014/uploads/procs2014/posters/109\_EDM-2014-Poster.pdf},
  timestamp = {Fri, 22 Jul 2016 13:02:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/NiznanPR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/NiznanPR14,
  author    = {Juraj Niznan and
               Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Mapping Problems to Skills Combining Expert Opinion and Student Data},
  booktitle = {Mathematical and Engineering Methods in Computer Science - 9th International
               Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
               17-19, 2014, Revised Selected Papers},
  pages     = {113--124},
  year      = {2014},
  crossref  = {DBLP:conf/memics/2014},
  url       = {https://doi.org/10.1007/978-3-319-14896-0\_10},
  doi       = {10.1007/978-3-319-14896-0\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memics/NiznanPR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pelanek14,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation},
  journal   = {CoRR},
  volume    = {abs/1403.7373},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.7373},
  archivePrefix = {arXiv},
  eprint    = {1403.7373},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Pelanek14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/BorosNPR13,
  author    = {Petr Boros and
               Juraj Niznan and
               Radek Pel{\'{a}}nek and
               Jir{\'{\i}} Rih{\'{a}}k},
  title     = {Automatic Detection of Concepts from Problem Solving Times},
  booktitle = {Artificial Intelligence in Education - 16th International Conference,
               {AIED} 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings},
  pages     = {595--598},
  year      = {2013},
  crossref  = {DBLP:conf/aied/2013},
  url       = {https://doi.org/10.1007/978-3-642-39112-5\_67},
  doi       = {10.1007/978-3-642-39112-5\_67},
  timestamp = {Tue, 23 May 2017 01:06:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/BorosNPR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PelanekJK13,
  author    = {Radek Pel{\'{a}}nek and
               Petr Jarusek and
               Matej Klus{\'{a}}cek},
  title     = {Modeling Students' Learning and Variability of Performance in Problem
               Solving},
  booktitle = {Proceedings of the 6th International Conference on Educational Data
               Mining, Memphis, Tennessee, USA, July 6-9, 2013},
  pages     = {256--259},
  year      = {2013},
  crossref  = {DBLP:conf/edm/2013},
  url       = {http://www.educationaldatamining.org/EDM2013/papers/rn\_paper\_41.pdf},
  timestamp = {Wed, 10 Sep 2014 16:41:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/PelanekJK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/JarusekP12,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {A web-based problem solving tool for introductory computer science},
  booktitle = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  pages     = {371},
  year      = {2012},
  crossref  = {DBLP:conf/iticse/2012},
  url       = {https://doi.org/10.1145/2325296.2325386},
  doi       = {10.1145/2325296.2325386},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/JarusekP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/its/JarusekP12,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {Analysis of a Simple Model of Problem Solving Times},
  booktitle = {Intelligent Tutoring Systems - 11th International Conference, {ITS}
               2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings},
  pages     = {379--388},
  year      = {2012},
  crossref  = {DBLP:conf/its/2012},
  url       = {https://doi.org/10.1007/978-3-642-30950-2\_49},
  doi       = {10.1007/978-3-642-30950-2\_49},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/its/JarusekP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JarusekP12,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {Modeling and Predicting Students Problem Solving Times},
  booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
               on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
               Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  pages     = {637--648},
  year      = {2012},
  crossref  = {DBLP:conf/sofsem/2012},
  url       = {https://doi.org/10.1007/978-3-642-27660-6\_52},
  doi       = {10.1007/978-3-642-27660-6\_52},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/JarusekP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/JarusekP11,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {Problem Response Theory and its Application for Tutoring},
  booktitle = {Proceedings of the 4th International Conference on Educational Data
               Mining, Eindhoven, The Netherlands, July 6-8, 2011},
  pages     = {371--372},
  year      = {2011},
  crossref  = {DBLP:conf/edm/2011},
  url       = {http://educationaldatamining.org/EDM2011/wp-content/uploads/proc/edm2011\_poster27\_Jarusek.pdf},
  timestamp = {Mon, 19 Sep 2011 14:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/JarusekP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/JarusekP11,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {What Determines Difficulty of Transport Puzzles?},
  booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial
               Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
               Florida, {USA}},
  year      = {2011},
  crossref  = {DBLP:conf/flairs/2011},
  url       = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2518},
  timestamp = {Tue, 28 Jun 2011 13:40:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/JarusekP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Pelanek11,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Difficulty Rating of Sudoku Puzzles by a Computational Model},
  booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial
               Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
               Florida, {USA}},
  year      = {2011},
  crossref  = {DBLP:conf/flairs/2011},
  url       = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2517},
  timestamp = {Tue, 28 Jun 2011 13:40:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/Pelanek11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/JarusekP10,
  author    = {Petr Jarusek and
               Radek Pel{\'{a}}nek},
  title     = {Difficulty Rating of Sokoban Puzzle},
  booktitle = {{STAIRS} 2010 - Proceedings of the Fifth Starting {AI} Researchers'
               Symposium, Lisbon, Portugal, 16-20 August, 2010},
  pages     = {140--150},
  year      = {2010},
  crossref  = {DBLP:conf/stairs/2010},
  url       = {https://doi.org/10.3233/978-1-60750-676-8-140},
  doi       = {10.3233/978-1-60750-676-8-140},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stairs/JarusekP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PelanekR09,
  author    = {Radek Pel{\'{a}}nek and
               V{\'{a}}clav Roseck{\'{y}}},
  title     = {{EMMA:} Explicit Model Checking Manager (Tool Presentation)},
  booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
               France, June 26-28, 2009. Proceedings},
  pages     = {169--173},
  year      = {2009},
  crossref  = {DBLP:conf/spin/2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2\_15},
  doi       = {10.1007/978-3-642-02652-2\_15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/PelanekR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PelanekRM08,
  author    = {Radek Pel{\'{a}}nek and
               V{\'{a}}clav Roseck{\'{y}} and
               Pavel Moravec},
  title     = {Complementarity of Error Detection Techniques},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {220},
  number    = {2},
  pages     = {51--65},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.11.013},
  doi       = {10.1016/j.entcs.2008.11.013},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/PelanekRM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Pelanek08,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Properties of state spaces and their applications},
  journal   = {{STTT}},
  volume    = {10},
  number    = {5},
  pages     = {443--454},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10009-008-0070-5},
  doi       = {10.1007/s10009-008-0070-5},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/Pelanek08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Pelanek08,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Fighting State Space Explosion: Review and Evaluation},
  booktitle = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  pages     = {37--52},
  year      = {2008},
  crossref  = {DBLP:conf/fmics/2008},
  url       = {https://doi.org/10.1007/978-3-642-03240-0\_7},
  doi       = {10.1007/978-3-642-03240-0\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/Pelanek08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PasareanuPV07,
  author    = {Corina S. Pasareanu and
               Radek Pel{\'{a}}nek and
               Willem Visser},
  title     = {Predicate Abstraction with Under-Approximation Refinement},
  journal   = {Logical Methods in Computer Science},
  volume    = {3},
  number    = {1},
  year      = {2007},
  url       = {https://doi.org/10.2168/LMCS-3(1:5)2007},
  doi       = {10.2168/LMCS-3(1:5)2007},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/PasareanuPV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Pelanek07,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Model Classifications and Automated Verification},
  booktitle = {Formal Methods for Industrial Critical Systems, 12th International
               Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
               Papers},
  pages     = {149--163},
  year      = {2007},
  crossref  = {DBLP:conf/fmics/2007},
  url       = {https://doi.org/10.1007/978-3-540-79707-4\_12},
  doi       = {10.1007/978-3-540-79707-4\_12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/Pelanek07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Pelanek07,
  author    = {Radek Pel{\'{a}}nek},
  title     = {{BEEM:} Benchmarks for Explicit Model Checkers},
  booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
               Germany, July 1-3, 2007, Proceedings},
  pages     = {263--267},
  year      = {2007},
  crossref  = {DBLP:conf/spin/2007},
  url       = {https://doi.org/10.1007/978-3-540-73370-6\_17},
  doi       = {10.1007/978-3-540-73370-6\_17},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Pelanek07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701140,
  author    = {Corina S. Pasareanu and
               Radek Pel{\'{a}}nek and
               Willem Visser},
  title     = {Predicate Abstraction with Under-approximation Refinement},
  journal   = {CoRR},
  volume    = {abs/cs/0701140},
  year      = {2007},
  url       = {http://arxiv.org/abs/cs/0701140},
  archivePrefix = {arXiv},
  eprint    = {cs/0701140},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0701140},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BehrmannBLP06,
  author    = {Gerd Behrmann and
               Patricia Bouyer and
               Kim Guldstrand Larsen and
               Radek Pel{\'{a}}nek},
  title     = {Lower and upper bounds in zone-based abstractions of timed automata},
  journal   = {{STTT}},
  volume    = {8},
  number    = {3},
  pages     = {204--215},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-005-0190-0},
  doi       = {10.1007/s10009-005-0190-0},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BehrmannBLP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/VisserPP06,
  author    = {Willem Visser and
               Corina S. Pasareanu and
               Radek Pel{\'{a}}nek},
  title     = {Test input generation for java containers using state matching},
  booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
               2006},
  pages     = {37--48},
  year      = {2006},
  crossref  = {DBLP:conf/issta/2006},
  url       = {https://doi.org/10.1145/1146238.1146243},
  doi       = {10.1145/1146238.1146243},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/VisserPP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PasareanuPV05,
  author    = {Corina S. Pasareanu and
               Radek Pel{\'{a}}nek and
               Willem Visser},
  title     = {Concrete Model Checking with Abstract Matching and Refinement},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {52--66},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_7},
  doi       = {10.1007/11513988\_7},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/PasareanuPV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KrcalP05,
  author    = {Pavel Krc{\'{a}}l and
               Radek Pel{\'{a}}nek},
  title     = {On Sampled Semantics of Timed Systems},
  booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
               Computer Science, 25th International Conference, Hyderabad, India,
               December 15-18, 2005, Proceedings},
  pages     = {310--321},
  year      = {2005},
  crossref  = {DBLP:conf/fsttcs/2005},
  url       = {https://doi.org/10.1007/11590156\_25},
  doi       = {10.1007/11590156\_25},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/KrcalP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VisserPP05,
  author    = {Willem Visser and
               Corina S. Pasareanu and
               Radek Pel{\'{a}}nek},
  title     = {Test input generation for red-black trees using abstraction},
  booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages     = {414--417},
  year      = {2005},
  crossref  = {DBLP:conf/kbse/2005},
  url       = {https://doi.org/10.1145/1101908.1101983},
  doi       = {10.1145/1101908.1101983},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/VisserPP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/PelanekS05,
  author    = {Radek Pel{\'{a}}nek and
               Jan Strejcek},
  title     = {Deeper Connections Between {LTL} and Alternating Automata},
  booktitle = {Implementation and Application of Automata, 10th International Conference,
               {CIAA} 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected
               Papers},
  pages     = {238--249},
  year      = {2005},
  crossref  = {DBLP:conf/wia/2005},
  url       = {https://doi.org/10.1007/11605157\_20},
  doi       = {10.1007/11605157\_20},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/PelanekS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Pelanek04,
  author    = {Radek Pel{\'{a}}nek},
  title     = {Typical Structural Properties of State Spaces},
  booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
               Spain, April 1-3, 2004, Proceedings},
  pages     = {5--22},
  year      = {2004},
  crossref  = {DBLP:conf/spin/2004},
  url       = {https://doi.org/10.1007/978-3-540-24732-6\_2},
  doi       = {10.1007/978-3-540-24732-6\_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Pelanek04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BehrmannBLP04,
  author    = {Gerd Behrmann and
               Patricia Bouyer and
               Kim Guldstrand Larsen and
               Radek Pel{\'{a}}nek},
  title     = {Lower and Upper Bounds in Zone Based Abstractions of Timed Automata},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  pages     = {312--326},
  year      = {2004},
  crossref  = {DBLP:conf/tacas/2004},
  url       = {https://doi.org/10.1007/978-3-540-24730-2\_25},
  doi       = {10.1007/978-3-540-24730-2\_25},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BehrmannBLP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BehrmannLP03,
  author    = {Gerd Behrmann and
               Kim Guldstrand Larsen and
               Radek Pel{\'{a}}nek},
  title     = {To Store or Not to Store},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {433--445},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_40},
  doi       = {10.1007/978-3-540-45069-6\_40},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BehrmannLP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CernaP03,
  author    = {Ivana Cern{\'{a}} and
               Radek Pel{\'{a}}nek},
  title     = {Relating Hierarchy of Temporal Properties to Model Checking},
  booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
               Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
               Proceedings},
  pages     = {318--327},
  year      = {2003},
  crossref  = {DBLP:conf/mfcs/2003},
  url       = {https://doi.org/10.1007/978-3-540-45138-9\_26},
  doi       = {10.1007/978-3-540-45138-9\_26},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/CernaP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CernaP03,
  author    = {Ivana Cern{\'{a}} and
               Radek Pel{\'{a}}nek},
  title     = {Distributed Explicit Fair Cycle Detection (Set Based Approach)},
  booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  pages     = {49--73},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2\_4},
  doi       = {10.1007/3-540-44829-2\_4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/CernaP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrimCKP01,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Krc{\'{a}}l and
               Radek Pel{\'{a}}nek},
  title     = {Distributed {LTL} Model Checking Based on Negative Cycle Detection},
  booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
               Computer Science, 21st Conference, Bangalore, India, December 13-15,
               2001, Proceedings},
  pages     = {96--107},
  year      = {2001},
  crossref  = {DBLP:conf/fsttcs/2001},
  url       = {https://doi.org/10.1007/3-540-45294-X\_9},
  doi       = {10.1007/3-540-45294-X\_9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/BrimCKP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimCKP01,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Krc{\'{a}}l and
               Radek Pel{\'{a}}nek},
  title     = {How to Employ Reverse Search in Distributed Single Source Shortest
               Paths},
  booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
               on Current Trends in Theory and Practice of Informatics Piestany,
               Slovak Republic, November 24 - December 1, 2001, Proceedings},
  pages     = {191--200},
  year      = {2001},
  crossref  = {DBLP:conf/sofsem/2001},
  url       = {https://doi.org/10.1007/3-540-45627-9\_16},
  doi       = {10.1007/3-540-45627-9\_16},
  timestamp = {Wed, 14 Nov 2018 10:52:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BrimCKP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2018-1,
  editor    = {Carolyn Penstein Ros{\'{e}} and
               Roberto {Mart{\'{\i}}nez Maldonado} and
               Heinz Ulrich Hoppe and
               Rose Luckin and
               Manolis Mavrikis and
               Kaska Porayska{-}Pomsta and
               Bruce M. McLaren and
               Benedict du Boulay},
  title     = {Artificial Intelligence in Education - 19th International Conference,
               {AIED} 2018, London, UK, June 27-30, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10947},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-93843-1},
  doi       = {10.1007/978-3-319-93843-1},
  isbn      = {978-3-319-93842-4},
  timestamp = {Thu, 21 Jun 2018 08:10:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lats/2018,
  editor    = {Rose Luckin and
               Scott Klemmer and
               Kenneth R. Koedinger},
  title     = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3231644},
  doi       = {10.1145/3231644},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2017,
  editor    = {Xiangen Hu and
               Tiffany Barnes and
               Arnon Hershkovitz and
               Luc Paquette},
  title     = {Proceedings of the 10th International Conference on Educational Data
               Mining, {EDM} 2017, Wuhan, Hubei, China, June 25-28, 2017},
  publisher = {International Educational Data Mining Society {(IEDMS)}},
  year      = {2017},
  url       = {http://educationaldatamining.org/EDM2017/proceedings-full/},
  timestamp = {Mon, 07 May 2018 15:02:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/um/2017,
  editor    = {M{\'{a}}ria Bielikov{\'{a}} and
               Eelco Herder and
               Federica Cena and
               Michel C. Desmarais},
  title     = {Proceedings of the 25th Conference on User Modeling, Adaptation and
               Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 - 12,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3079628},
  doi       = {10.1145/3079628},
  isbn      = {978-1-4503-4635-1},
  timestamp = {Tue, 06 Nov 2018 16:57:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/um/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/um/2017a,
  editor    = {M{\'{a}}ria Bielikov{\'{a}} and
               Eelco Herder and
               Federica Cena and
               Michel C. Desmarais},
  title     = {Adjunct Publication of the 25th Conference on User Modeling, Adaptation
               and Personalization, {UMAP} 2017, Bratislava, Slovakia, July 09 -
               12, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3099023},
  isbn      = {978-1-4503-5067-9},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/um/2017a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2016,
  editor    = {Tiffany Barnes and
               Min Chi and
               Mingyu Feng},
  title     = {Proceedings of the 9th International Conference on Educational Data
               Mining, {EDM} 2016, Raleigh, North Carolina, USA, June 29 - July 2,
               2016},
  publisher = {International Educational Data Mining Society {(IEDMS)}},
  year      = {2016},
  url       = {http://educationaldatamining.org/EDM2016/proceedings.html},
  timestamp = {Tue, 09 Aug 2016 14:13:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/its/2016,
  editor    = {Alessandro Micarelli and
               John C. Stamper and
               Kitty Panourgia},
  title     = {Intelligent Tutoring Systems - 13th International Conference, {ITS}
               2016, Zagreb, Croatia, June 7-10, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9684},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39583-8},
  doi       = {10.1007/978-3-319-39583-8},
  isbn      = {978-3-319-39582-1},
  timestamp = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/its/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lak/2016,
  editor    = {Dragan Gasevic and
               Grace Lynch and
               Shane Dawson and
               Hendrik Drachsler and
               Carolyn Penstein Ros{\'{e}}},
  title     = {Proceedings of the Sixth International Conference on Learning Analytics
               {\&} Knowledge, {LAK} 2016, Edinburgh, United Kingdom, April 25-29,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2883851},
  isbn      = {978-1-4503-4190-5},
  timestamp = {Fri, 22 Apr 2016 13:28:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lak/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2015w,
  editor    = {Jesus Boticario and
               Kasia Muldner},
  title     = {Proceedings of the Workshops at the 17th International Conference
               on Artificial Intelligence in Education, {AIED} 2015, Madrid, Spain,
               June 22 + 26, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1432},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1432},
  urn       = {urn:nbn:de:0074-1432-0},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2015,
  editor    = {Cristina Conati and
               Neil T. Heffernan and
               Antonija Mitrovic and
               M. Felisa Verdejo},
  title     = {Artificial Intelligence in Education - 17th International Conference,
               {AIED} 2015, Madrid, Spain, June 22-26, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9112},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19773-9},
  doi       = {10.1007/978-3-319-19773-9},
  isbn      = {978-3-319-19772-2},
  timestamp = {Tue, 23 May 2017 01:06:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2015,
  editor    = {Olga C. Santos and
               Jesus Boticario and
               Crist{\'{o}}bal Romero and
               Mykola Pechenizkiy and
               Agathe Merceron and
               Piotr Mitros and
               Jos{\'{e}} Mar{\'{\i}}a Luna and
               Marian Cristian Mihaescu and
               Pablo Moreno and
               Arnon Hershkovitz and
               Sebasti{\'{a}}n Ventura and
               Michel C. Desmarais},
  title     = {Proceedings of the 8th International Conference on Educational Data
               Mining, {EDM} 2015, Madrid, Spain, June 26-29, 2015},
  publisher = {International Educational Data Mining Society {(IEDMS)}},
  year      = {2015},
  url       = {http://www.educationaldatamining.org/EDM2015/index.php?page=proceedings},
  isbn      = {978-8-4606-9425-0},
  timestamp = {Fri, 25 Aug 2017 15:44:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2014,
  editor    = {John C. Stamper and
               Zachary A. Pardos and
               Manolis Mavrikis and
               Bruce M. McLaren},
  title     = {Proceedings of the 7th International Conference on Educational Data
               Mining, {EDM} 2014, London, UK, July 4-7, 2014},
  publisher = {International Educational Data Mining Society {(IEDMS)}},
  year      = {2014},
  url       = {http://www.educationaldatamining.org/EDM2014/index.php?page=proceedings},
  isbn      = {978-0-9839-5254-1},
  timestamp = {Fri, 22 Jul 2016 13:02:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2014w,
  editor    = {Sergio Guti{\'{e}}rrez Santos and
               Olga C. Santos},
  title     = {Proceedings of the Workshops held at Educational Data Mining 2014,
               co-located with 7th International Conference on Educational Data Mining
               {(EDM} 2014), London, United Kingdom, July 4-7, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1183},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1183},
  urn       = {urn:nbn:de:0074-1183-1},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2014,
  editor    = {Petr Hlinen{\'{y}} and
               Zdenek Dvorak and
               Jir{\'{\i}} Jaros and
               Jan Kofron and
               Jan Korenek and
               Petr Matula and
               Karel Pala},
  title     = {Mathematical and Engineering Methods in Computer Science - 9th International
               Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
               17-19, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8934},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-14896-0},
  doi       = {10.1007/978-3-319-14896-0},
  isbn      = {978-3-319-14895-3},
  timestamp = {Sun, 04 Jun 2017 10:04:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memics/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2013,
  editor    = {H. Chad Lane and
               Kalina Yacef and
               Jack Mostow and
               Philip I. Pavlik},
  title     = {Artificial Intelligence in Education - 16th International Conference,
               {AIED} 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7926},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39112-5},
  doi       = {10.1007/978-3-642-39112-5},
  isbn      = {978-3-642-39111-8},
  timestamp = {Tue, 23 May 2017 01:06:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2013,
  editor    = {Sidney K. D'Mello and
               Rafael A. Calvo and
               Andrew Olney},
  title     = {Proceedings of the 6th International Conference on Educational Data
               Mining, Memphis, Tennessee, USA, July 6-9, 2013},
  publisher = {International Educational Data Mining Society},
  year      = {2013},
  url       = {http://www.educationaldatamining.org/IEDMS/EDM2013},
  isbn      = {978-0-9839525-2-7},
  timestamp = {Wed, 10 Sep 2014 16:41:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2012,
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  title     = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2325296},
  isbn      = {978-1-4503-1246-2},
  timestamp = {Mon, 09 Jul 2012 08:25:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/its/2012,
  editor    = {Stefano A. Cerri and
               William J. Clancey and
               Giorgos Papadourakis and
               Kitty Panourgia},
  title     = {Intelligent Tutoring Systems - 11th International Conference, {ITS}
               2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7315},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30950-2},
  doi       = {10.1007/978-3-642-30950-2},
  isbn      = {978-3-642-30949-6},
  timestamp = {Sun, 21 May 2017 00:20:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/its/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2012,
  editor    = {M{\'{a}}ria Bielikov{\'{a}} and
               Gerhard Friedrich and
               Georg Gottlob and
               Stefan Katzenbeisser and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
               on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
               Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7147},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27660-6},
  doi       = {10.1007/978-3-642-27660-6},
  isbn      = {978-3-642-27659-0},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edm/2011,
  editor    = {Mykola Pechenizkiy and
               Toon Calders and
               Cristina Conati and
               Sebasti{\'{a}}n Ventura and
               Crist{\'{o}}bal Romero and
               John C. Stamper},
  title     = {Proceedings of the 4th International Conference on Educational Data
               Mining, Eindhoven, The Netherlands, July 6-8, 2011},
  publisher = {www.educationaldatamining.org},
  year      = {2011},
  isbn      = {978-90-386-2537-9},
  timestamp = {Mon, 19 Sep 2011 14:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2011,
  editor    = {R. Charles Murray and
               Philip M. McCarthy},
  title     = {Proceedings of the Twenty-Fourth International Florida Artificial
               Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
               Florida, {USA}},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Tue, 28 Jun 2011 13:40:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stairs/2010,
  editor    = {Thomas {\AA}gotnes},
  title     = {{STAIRS} 2010 - Proceedings of the Fifth Starting {AI} Researchers'
               Symposium, Lisbon, Portugal, 16-20 August, 2010},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {222},
  publisher = {{IOS} Press},
  year      = {2010},
  isbn      = {978-1-60750-675-1},
  timestamp = {Mon, 02 May 2011 22:31:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stairs/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2009,
  editor    = {Corina S. Pasareanu},
  title     = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
               France, June 26-28, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5578},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2},
  doi       = {10.1007/978-3-642-02652-2},
  isbn      = {978-3-642-02651-5},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2008,
  editor    = {Darren D. Cofer and
               Alessandro Fantechi},
  title     = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5596},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03240-0},
  doi       = {10.1007/978-3-642-03240-0},
  isbn      = {978-3-642-03239-4},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2007,
  editor    = {Stefan Leue and
               Pedro Merino},
  title     = {Formal Methods for Industrial Critical Systems, 12th International
               Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4916},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79707-4},
  doi       = {10.1007/978-3-540-79707-4},
  isbn      = {978-3-540-79706-7},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2007,
  editor    = {Dragan Bosnacki and
               Stefan Edelkamp},
  title     = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
               Germany, July 1-3, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4595},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73370-6},
  doi       = {10.1007/978-3-540-73370-6},
  isbn      = {978-3-540-73369-0},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2006,
  editor    = {Lori L. Pollock and
               Mauro Pezz{\`{e}}},
  title     = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
               2006},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1146238},
  doi       = {10.1145/1146238},
  isbn      = {1-59593-263-1},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2005,
  editor    = {Ramaswamy Ramanujam and
               Sandeep Sen},
  title     = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
               Computer Science, 25th International Conference, Hyderabad, India,
               December 15-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3821},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11590156},
  doi       = {10.1007/11590156},
  isbn      = {3-540-30495-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2005,
  editor    = {David F. Redmiles and
               Thomas Ellman and
               Andrea Zisman},
  title     = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1101908},
  doi       = {10.1145/1101908},
  isbn      = {1-58113-993-4},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2005,
  editor    = {Jacques Farr{\'{e}} and
               Igor Litovsky and
               Sylvain Schmitz},
  title     = {Implementation and Application of Automata, 10th International Conference,
               {CIAA} 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3845},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11605157},
  doi       = {10.1007/11605157},
  isbn      = {3-540-31023-1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2004,
  editor    = {Susanne Graf and
               Laurent Mounier},
  title     = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
               Spain, April 1-3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2989},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96721},
  doi       = {10.1007/b96721},
  isbn      = {3-540-21314-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96393},
  doi       = {10.1007/b96393},
  isbn      = {3-540-21299-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2003,
  editor    = {Branislav Rovan and
               Peter Vojt{\'{a}}s},
  title     = {Mathematical Foundations of Computer Science 2003, 28th International
               Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2747},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11836},
  doi       = {10.1007/b11836},
  isbn      = {3-540-40671-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2001,
  editor    = {Ramesh Hariharan and
               Madhavan Mukund and
               V. Vinay},
  title     = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
               Computer Science, 21st Conference, Bangalore, India, December 13-15,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2245},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45294-X},
  doi       = {10.1007/3-540-45294-X},
  isbn      = {3-540-43002-4},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2001,
  editor    = {Leszek Pacholski and
               Peter Ruzicka},
  title     = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
               on Current Trends in Theory and Practice of Informatics Piestany,
               Slovak Republic, November 24 - December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2234},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45627-9},
  doi       = {10.1007/3-540-45627-9},
  isbn      = {3-540-42912-3},
  timestamp = {Wed, 14 Nov 2018 10:52:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier