@article{BlomGMS05,
  title = {Analysing the BKE-security Protocol with ::::µ::::CRL},
  author = {Stefan Blom and Jan Friso Groote and Sjouke Mauw and Alexander Serebrenik},
  year = {2005},
  doi = {10.1016/j.entcs.2005.09.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.09.005},
  tags = {protocol, security},
  researchr = {https://researchr.org/publication/BlomGMS05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {139},
  number = {1},
  pages = {49-90},
}

@inproceedings{HeeSSVW05,
  title = {The Price of Coordination in Resource Management},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan van der Wal},
  year = {2005},
  doi = {10.1007/11538394_7},
  url = {http://dx.doi.org/10.1007/11538394_7},
  researchr = {https://researchr.org/publication/HeeSSVW05},
  cites = {0},
  citedby = {0},
  pages = {96-108},
  booktitle = {BPM},
}

@inproceedings{MendesVHS16,
  title = {Identifying Utility Functions Using Random Forests},
  author = {Tamara Mendes and Marco Tulio Valente and André C. Hora and Alexander Serebrenik},
  year = {2016},
  doi = {10.1109/SANER.2016.58},
  url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2016.58},
  researchr = {https://researchr.org/publication/MendesVHS16},
  cites = {0},
  citedby = {0},
  pages = {614-618},
  booktitle = {WCRE},
}

@article{CarverS17,
  title = {ICSE Highlights},
  author = {Jeffrey C. Carver and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/MS.2017.4121213},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.4121213},
  researchr = {https://researchr.org/publication/CarverS17},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {34},
  number = {6},
  pages = {18-20},
}

@inproceedings{BrandRS09,
  title = {SQuAVisiT: A Flexible Tool for Visual Software Analytics},
  author = {Mark G. J. van den Brand and Serguei A. Roubtsov and Alexander Serebrenik},
  year = {2009},
  doi = {10.1109/CSMR.2009.19},
  url = {http://dx.doi.org/10.1109/CSMR.2009.19},
  researchr = {https://researchr.org/publication/BrandRS09},
  cites = {0},
  citedby = {0},
  pages = {331-332},
  booktitle = {CSMR},
}

@inproceedings{NotenMS17,
  title = {A data set of OCL expressions on GitHub},
  author = {Jeroen Noten and Josh Mengerink and Alexander Serebrenik},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3104264},
  researchr = {https://researchr.org/publication/NotenMS17},
  cites = {0},
  citedby = {0},
  pages = {531-534},
  booktitle = {msr},
}

@inproceedings{VasilescuPRBSDF15,
  title = {Gender and Tenure Diversity in GitHub Teams},
  author = {Bogdan Vasilescu and Daryl Posnett and Baishakhi Ray and Mark G. J. van den Brand and Alexander Serebrenik and Premkumar T. Devanbu and Vladimir Filkov},
  year = {2015},
  doi = {10.1145/2702123.2702549},
  url = {http://doi.acm.org/10.1145/2702123.2702549},
  researchr = {https://researchr.org/publication/VasilescuPRBSDF15},
  cites = {0},
  citedby = {0},
  pages = {3789-3798},
  booktitle = {CHI},
}

@inproceedings{RaedtsPSWSB07,
  title = {A software framework for automated verification},
  author = {Ivo Raedts and Marija Petkovic and Alexander Serebrenik and Jan Martijn E. M. van der Werf and Lou J. Somers and Maarten Boote},
  year = {2007},
  doi = {10.1145/1244002.1244225},
  url = {http://doi.acm.org/10.1145/1244002.1244225},
  researchr = {https://researchr.org/publication/RaedtsPSWSB07},
  cites = {0},
  citedby = {0},
  pages = {1031-1032},
  booktitle = {SAC},
}

@inproceedings{CohenNS00,
  title = {Algorithms for Rewriting Aggregate Queries Using Views},
  author = {Sara Cohen and Werner Nutt and Alexander Serebrenik},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1884/18840065.htm},
  tags = {graph query, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CohenNS00},
  cites = {0},
  citedby = {0},
  pages = {65-78},
  booktitle = {adbis},
}

@article{SerebrenikBV12,
  title = {Seeing the Forest for the Trees with New Econometric Aggregation Techniques},
  author = {Alexander Serebrenik and Mark van den Brand and Bogdan Vasilescu},
  year = {2012},
  url = {http://ercim-news.ercim.eu/en88/special/seeing-the-forest-for-the-trees-with-new-econometric-aggregation-techniques},
  researchr = {https://researchr.org/publication/SerebrenikBV12},
  cites = {0},
  citedby = {0},
  journal = {ercim},
  volume = {2012},
  number = {88},
}

@inproceedings{MaldonadoASS17,
  title = {An Empirical Study on the Removal of Self-Admitted Technical Debt},
  author = {Everton da S. Maldonado and Rabe Abdalkareem and Emad Shihab and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ICSME.2017.8},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.8},
  researchr = {https://researchr.org/publication/MaldonadoASS17},
  cites = {0},
  citedby = {0},
  pages = {238-248},
  booktitle = {ICSM},
}

@inproceedings{BrandMS09,
  title = {Type Checking Evolving Languages with MSOS},
  author = {Mark G. J. van den Brand and A. P. van der Meer and Alexander Serebrenik},
  year = {2009},
  doi = {10.1007/978-3-642-04164-8_11},
  url = {http://dx.doi.org/10.1007/978-3-642-04164-8_11},
  tags = {type checking},
  researchr = {https://researchr.org/publication/BrandMS09},
  cites = {0},
  citedby = {0},
  pages = {207-226},
  booktitle = {BIRTHDAY},
}

@article{GerpheideSS16,
  title = {Assessing and improving quality of QVTo model transformations},
  author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik},
  year = {2016},
  doi = {10.1007/s11219-015-9280-8},
  url = {http://dx.doi.org/10.1007/s11219-015-9280-8},
  researchr = {https://researchr.org/publication/GerpheideSS16},
  cites = {0},
  citedby = {0},
  journal = {sqj},
  volume = {24},
  number = {3},
  pages = {797-834},
}

@article{VasilescuSB12,
  title = {How to aggregate software metrics?},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand},
  year = {2012},
  url = {http://tinytocs.org/vol1/papers/tinytocs-v1-vasilescu.pdf},
  researchr = {https://researchr.org/publication/VasilescuSB12},
  cites = {0},
  citedby = {0},
  journal = {tinytocs},
  volume = {1},
}

@inproceedings{MuskeS16,
  title = {Survey of Approaches for Handling Static Analysis Alarms},
  author = {Tukaram Muske and Alexander Serebrenik},
  year = {2016},
  doi = {10.1109/SCAM.2016.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2016.25},
  researchr = {https://researchr.org/publication/MuskeS16},
  cites = {0},
  citedby = {0},
  pages = {157-166},
  booktitle = {SCAM},
}

@article{CarverPSY17,
  title = {The Human Factor},
  author = {Jeffrey C. Carver and Birgit Penzenstadler and Alexander Serebrenik and Aiko Yamashita},
  year = {2017},
  doi = {10.1109/MS.2017.3571580},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.3571580},
  researchr = {https://researchr.org/publication/CarverPSY17},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {34},
  number = {5},
  pages = {90-92},
}

@inproceedings{WerfDHS08,
  title = {Process Discovery Using Integer Linear Programming},
  author = {Jan Martijn E. M. van der Werf and Boudewijn F. van Dongen and Cor A. J. Hurkens and Alexander Serebrenik},
  year = {2008},
  doi = {10.1007/978-3-540-68746-7_24},
  url = {http://dx.doi.org/10.1007/978-3-540-68746-7_24},
  tags = {discovery, programming},
  researchr = {https://researchr.org/publication/WerfDHS08},
  cites = {0},
  citedby = {0},
  pages = {368-387},
  booktitle = {apn},
}

@inproceedings{RoubtsovSMB11,
  title = {I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors},
  author = {Serguei A. Roubtsov and Alexander Serebrenik and Aurélien Mazoyer and Mark van den Brand},
  year = {2011},
  doi = {10.1109/SCAM.2011.5},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2011.5},
  researchr = {https://researchr.org/publication/RoubtsovSMB11},
  cites = {0},
  citedby = {0},
  pages = {155-164},
  booktitle = {SCAM},
}

@inproceedings{ZhaoSZFV17,
  title = {The impact of continuous integration on other software development practices: a large-scale empirical study},
  author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3155575},
  researchr = {https://researchr.org/publication/ZhaoSZFV17},
  cites = {0},
  citedby = {0},
  pages = {60-71},
  booktitle = {ASE},
}

@inproceedings{SchoenmakersBNVS13,
  title = {Assessing the complexity of upgrading software modules},
  author = {Bram Schoenmakers and Niels van den Broek and Istvan Nagy and Bogdan Vasilescu and Alexander Serebrenik},
  year = {2013},
  doi = {10.1109/WCRE.2013.6671319},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671319},
  researchr = {https://researchr.org/publication/SchoenmakersBNVS13},
  cites = {0},
  citedby = {0},
  pages = {433-440},
  booktitle = {WCRE},
}

@inproceedings{Serebrenik17,
  title = {Emotional Labor of Software Engineers},
  author = {Alexander Serebrenik},
  year = {2017},
  url = {http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_1.pdf},
  researchr = {https://researchr.org/publication/Serebrenik17},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {BENEVOL},
}

@article{CapiluppiSS13,
  title = {Assessing Technical Candidates on the Social Web},
  author = {Andrea Capiluppi and Alexander Serebrenik and Leif Singer},
  year = {2013},
  doi = {10.1109/MS.2012.169},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2012.169},
  researchr = {https://researchr.org/publication/CapiluppiSS13},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {30},
  number = {1},
  pages = {45-51},
}

@inproceedings{BusingeSB13,
  title = {Analyzing the Eclipse API Usage: Putting the Developer in the Loop},
  author = {John Businge and Alexander Serebrenik and Mark van den Brand},
  year = {2013},
  doi = {10.1109/CSMR.2013.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.14},
  researchr = {https://researchr.org/publication/BusingeSB13},
  cites = {0},
  citedby = {0},
  pages = {37-46},
  booktitle = {CSMR},
}

@inproceedings{VasilescuFS13,
  title = {StackOverflow and GitHub: Associations between Software Development and Crowdsourced Knowledge},
  author = {Bogdan Vasilescu and Vladimir Filkov and Alexander Serebrenik},
  year = {2013},
  doi = {10.1109/SocialCom.2013.35},
  url = {http://doi.ieeecomputersociety.org/10.1109/SocialCom.2013.35},
  researchr = {https://researchr.org/publication/VasilescuFS13},
  cites = {0},
  citedby = {0},
  pages = {188-195},
  booktitle = {socialcom},
}

@article{VasilescuCS14,
  title = {Gender, Representation and Online Participation: A Quantitative Study},
  author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik},
  year = {2014},
  doi = {10.1093/iwc/iwt047},
  url = {http://dx.doi.org/10.1093/iwc/iwt047},
  researchr = {https://researchr.org/publication/VasilescuCS14},
  cites = {0},
  citedby = {0},
  journal = {iwc},
  volume = {26},
  number = {5},
  pages = {488-511},
}

@inproceedings{Wesel0RS17,
  title = {Reviewing Career Paths of the OpenStack Developers},
  author = {Perry van Wesel and Bin Lin 0008 and Gregorio Robles and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ICSME.2017.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.25},
  researchr = {https://researchr.org/publication/Wesel0RS17},
  cites = {0},
  citedby = {0},
  pages = {544-548},
  booktitle = {ICSM},
}

@inproceedings{SerebrenikS03:0,
  title = {Hasta-La-Vista: Termination Analyser for Logic Programs},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2003},
  tags = {termination, logic programming, logic},
  researchr = {https://researchr.org/publication/SerebrenikS03%3A0},
  cites = {0},
  citedby = {0},
  pages = {60-74},
  booktitle = {lpe},
}

@inproceedings{MengerinkSBS16,
  title = {Udapt: edapt extensions for industrial application},
  author = {Josh Mengerink and Alexander Serebrenik and Mark van den Brand and Ramon R. H. Schiffelers},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2998409},
  researchr = {https://researchr.org/publication/MengerinkSBS16},
  cites = {0},
  citedby = {0},
  pages = {21-22},
  booktitle = {OOPSLA},
}

@inproceedings{SerebrenikS01a,
  title = {Inference of Termination Conditions for Numerical Loops in Prolog},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2250/22500654.htm},
  tags = {Prolog, termination},
  researchr = {https://researchr.org/publication/SerebrenikS01a},
  cites = {0},
  citedby = {0},
  pages = {654-668},
  booktitle = {lpar},
}

@inproceedings{LinZSS16,
  title = {Why Developers Are Slacking Off: Understanding How Software Teams Use Slack},
  author = {Bin Lin and  Alexey Zagalsky and Margaret-Anne D. Storey and Alexander Serebrenik},
  year = {2016},
  doi = {10.1145/2818052.2869117},
  url = {http://doi.acm.org/10.1145/2818052.2869117},
  researchr = {https://researchr.org/publication/LinZSS16},
  cites = {0},
  citedby = {0},
  pages = {333-336},
  booktitle = {cscw},
}

@inproceedings{SerebrenikRRB99a,
  title = {Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors},
  author = {Alexander Serebrenik and Serguei A. Roubtsov and Ella E. Roubtsova and Mark G. J. van den Brand},
  year = {2009},
  doi = {10.1109/WCRE.2009.27},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.27},
  tags = {reverse engineering, sequence diagrams},
  researchr = {https://researchr.org/publication/SerebrenikRRB99a},
  cites = {0},
  citedby = {0},
  pages = {269-273},
  booktitle = {WCRE},
}

@article{VasilescuSGM14,
  title = {On the variation and specialisation of workload - A case study of the Gnome ecosystem community},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Mathieu Goeminne and Tom Mens},
  year = {2014},
  doi = {10.1007/s10664-013-9244-1},
  url = {http://dx.doi.org/10.1007/s10664-013-9244-1},
  researchr = {https://researchr.org/publication/VasilescuSGM14},
  cites = {0},
  citedby = {0},
  journal = {ese},
  volume = {19},
  number = {4},
  pages = {955-1008},
}

@article{SerebrenikS05:0,
  title = {Termination of Floating-Point Computations},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2005},
  doi = {10.1007/s10817-005-6546-z},
  url = {http://dx.doi.org/10.1007/s10817-005-6546-z},
  tags = {termination},
  researchr = {https://researchr.org/publication/SerebrenikS05%3A0},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {34},
  number = {2},
  pages = {141-177},
}

@incollection{MensCGS14,
  title = {Studying Evolving Software Ecosystems based on Ecological Models},
  author = {Tom Mens and Maëlick Claes and Philippe Grosjean and Alexander Serebrenik},
  year = {2014},
  doi = {10.1007/978-3-642-45398-4_10},
  url = {http://dx.doi.org/10.1007/978-3-642-45398-4_10},
  researchr = {https://researchr.org/publication/MensCGS14},
  cites = {0},
  citedby = {0},
  pages = {297-326},
  booktitle = {Evolving Software Systems},
  editor = {Tom Mens and Alexander Serebrenik and Anthony Cleve},
  publisher = {Springer},
  isbn = {978-3-642-45397-7},
}

@inproceedings{LandmanSV14,
  title = {Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods},
  author = {Davy Landman and Alexander Serebrenik and Jurgen J.  Vinju},
  year = {2014},
  doi = {10.1109/ICSME.2014.44},
  url = {http://dx.doi.org/10.1109/ICSME.2014.44},
  researchr = {https://researchr.org/publication/LandmanSV14},
  cites = {0},
  citedby = {0},
  pages = {221-230},
  booktitle = {ICSM},
}

@inproceedings{FalessiSS17,
  title = {STRESS: A Semi-Automated, Fully Replicable Approach for Project Selection},
  author = {Davide Falessi and Wyatt Smith and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ESEM.2017.22},
  url = {https://doi.org/10.1109/ESEM.2017.22},
  researchr = {https://researchr.org/publication/FalessiSS17},
  cites = {0},
  citedby = {0},
  pages = {151-156},
  booktitle = {esem},
}

@inproceedings{HeeLOSSV06,
  title = {Nested Nets for Adaptive Systems},
  author = {Kees M. van Hee and Irina A. Lomazova and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2006},
  doi = {10.1007/11767589_14},
  url = {http://dx.doi.org/10.1007/11767589_14},
  researchr = {https://researchr.org/publication/HeeLOSSV06},
  cites = {0},
  citedby = {0},
  pages = {241-260},
  booktitle = {apn},
}

@inproceedings{SchreyeS02,
  title = {Acceptability with General Orderings},
  author = {Danny De Schreye and Alexander Serebrenik},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm},
  researchr = {https://researchr.org/publication/SchreyeS02},
  cites = {0},
  citedby = {0},
  pages = {187-210},
  booktitle = {BIRTHDAY},
}

@article{SerebrenikSD08,
  title = {Improving Prolog programs: Refactoring for Prolog},
  author = {Alexander Serebrenik and Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1017/S1471068407003134},
  url = {http://dx.doi.org/10.1017/S1471068407003134},
  tags = {Prolog, refactoring},
  researchr = {https://researchr.org/publication/SerebrenikSD08},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {8},
  number = {2},
  pages = {201-215},
}

@inproceedings{SerebrenikMDK10,
  title = {Requirements Certification for Offshoring Using LSPCM},
  author = {Alexander Serebrenik and Amrita Mishra and Thomas Delissen and Martijn Klabbers},
  year = {2010},
  doi = {10.1109/QUATIC.2010.30},
  url = {http://dx.doi.org/10.1109/QUATIC.2010.30},
  tags = {certification},
  researchr = {https://researchr.org/publication/SerebrenikMDK10},
  cites = {0},
  citedby = {0},
  pages = {177-182},
  booktitle = {quatic},
}

@inproceedings{SerebrenikS02,
  title = {On Termination of Logic Programs with Floating Point Computations},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm},
  tags = {termination, logic programming, logic},
  researchr = {https://researchr.org/publication/SerebrenikS02},
  cites = {0},
  citedby = {0},
  pages = {151-164},
  booktitle = {SAS},
}

@inproceedings{MengerinkSSB17,
  title = {Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE},
  author = {Josh Mengerink and Alexander Serebrenik and Ramon R. H. Schiffelers and Mark G. J. van den Brand},
  year = {2017},
  doi = {10.1145/3143434.3143442},
  url = {http://doi.acm.org/10.1145/3143434.3143442},
  researchr = {https://researchr.org/publication/MengerinkSSB17},
  cites = {0},
  citedby = {0},
  pages = {116-121},
  booktitle = {iwsm},
}

@article{MassutheSSW08,
  title = {Can I find a partner? Undecidability of partner existence for open nets},
  author = {Peter Massuthe and Alexander Serebrenik and Natalia Sidorova and Karsten Wolf},
  year = {2008},
  doi = {10.1016/j.ipl.2008.07.006},
  url = {http://dx.doi.org/10.1016/j.ipl.2008.07.006},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/MassutheSSW08},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {108},
  number = {6},
  pages = {374-378},
}

@inproceedings{CohenKKNSS99,
  title = {EquiX Easy Querying in XML Databases},
  author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Werner Nutt and Yehoshua Sagiv and Alexander Serebrenik},
  year = {1999},
  url = {http://www-rocq.inria.fr/~cluet/WEBDB/serebrenik.ps},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/CohenKKNSS99},
  cites = {0},
  citedby = {0},
  pages = {43-48},
  booktitle = {webdb},
}

@article{LandmanSBV17,
  title = {Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015},
  author = {Davy Landman and Alexander Serebrenik and Eric Bouwers and Jurgen J.  Vinju},
  year = {2017},
  doi = {10.1002/smr.1914},
  url = {https://doi.org/10.1002/smr.1914},
  researchr = {https://researchr.org/publication/LandmanSBV17},
  cites = {0},
  citedby = {0},
  journal = {SMR},
  volume = {29},
  number = {10},
}

@inproceedings{VissersMSSR16,
  title = {Maintenance of specification models in industry using Edapt},
  author = {Y. Vissers and J. G. M. Mengerink and Ramon R. H. Schiffelers and Alexander Serebrenik and Michel A. Reniers},
  year = {2016},
  doi = {10.1109/FDL.2016.7880374},
  url = {http://dx.doi.org/10.1109/FDL.2016.7880374},
  researchr = {https://researchr.org/publication/VissersMSSR16},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {fdl},
}

@inproceedings{HeeOSSV06,
  title = {Modelling History-Dependent Business Processes},
  author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2006},
  tags = {business process modeling, history, process modeling},
  researchr = {https://researchr.org/publication/HeeOSSV06},
  cites = {0},
  citedby = {0},
  pages = {76-85},
  booktitle = {vveis},
}

@article{HeeOSSV08,
  title = {History-based joins: Semantics, soundness and implementation},
  author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2008},
  doi = {10.1016/j.datak.2007.06.005},
  url = {http://dx.doi.org/10.1016/j.datak.2007.06.005},
  tags = {semantics, rule-based, history},
  researchr = {https://researchr.org/publication/HeeOSSV08},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {64},
  number = {1},
  pages = {24-37},
}

@inproceedings{SwidanSH17,
  title = {How do Scratch Programmers Name Variables and Procedures?},
  author = {Alaaeddin Swidan and Alexander Serebrenik and Felienne Hermans},
  year = {2017},
  doi = {10.1109/SCAM.2017.12},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2017.12},
  researchr = {https://researchr.org/publication/SwidanSH17},
  cites = {0},
  citedby = {0},
  pages = {51-60},
  booktitle = {SCAM},
}

@inproceedings{LindenstraussSS97,
  title = {TermiLog: A System for Checking Termination of Queries to Logic Programs},
  author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {1997},
  tags = {termination, logic programming, logic},
  researchr = {https://researchr.org/publication/LindenstraussSS97},
  cites = {0},
  citedby = {0},
  pages = {444-447},
  booktitle = {cav},
}

@article{DershowitzLSS99,
  title = {Automatic Termination Analysis of Programs Containing Arithmetic Predicates},
  author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {1999},
  url = {http://www.elsevier.nl/locate/entcs/volume30.html},
  tags = {program analysis, analysis, termination},
  researchr = {https://researchr.org/publication/DershowitzLSS99},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {30},
  number = {1},
  pages = {39-58},
}

@inproceedings{LandmanSV17,
  title = {Challenges for static analysis of Java reflection: literature review and empirical study},
  author = {Davy Landman and Alexander Serebrenik and Jurgen J.  Vinju},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3097429},
  researchr = {https://researchr.org/publication/LandmanSV17},
  cites = {0},
  citedby = {0},
  pages = {507-518},
  booktitle = {ICSE},
}

@book{0029207,
  title = {Code Generation with Templates},
  author = {Jeroen Arnoldus and Mark G. J. van den Brand and Alexander Serebrenik and Jacob Brunekreef},
  year = {2012},
  doi = {10.2991/978-94-91216-56-5},
  url = {http://dx.doi.org/10.2991/978-94-91216-56-5},
  researchr = {https://researchr.org/publication/0029207},
  cites = {0},
  citedby = {0},
  volume = {1},
  series = {Atlantis Studies in Computing},
  publisher = {Atlantis Press},
  isbn = {978-94-91216-55-8},
}

@inproceedings{RoubtsovSB10,
  title = {Detecting Modularity  Smells  in Dependencies Injected with Java Annotations},
  author = {Serguei A. Roubtsov and Alexander Serebrenik and Mark van den Brand},
  year = {2010},
  doi = {10.1109/CSMR.2010.45},
  url = {http://dx.doi.org/10.1109/CSMR.2010.45},
  tags = {Java},
  researchr = {https://researchr.org/publication/RoubtsovSB10},
  cites = {0},
  citedby = {0},
  pages = {244-247},
  booktitle = {CSMR},
}

@inproceedings{VasilescuSB13,
  title = {The Babel of Software Development: Linguistic Diversity in Open Source},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand},
  year = {2013},
  doi = {10.1007/978-3-319-03260-3_34},
  url = {http://dx.doi.org/10.1007/978-3-319-03260-3_34},
  researchr = {https://researchr.org/publication/VasilescuSB13},
  cites = {0},
  citedby = {0},
  pages = {391-404},
  booktitle = {socinfo},
}

@article{CohenKKSNS02,
  title = {EquiX - A search and query language for XML},
  author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Yehoshua Sagiv and Werner Nutt and Alexander Serebrenik},
  year = {2002},
  tags = {XML, XML Schema, search, query language},
  researchr = {https://researchr.org/publication/CohenKKSNS02},
  cites = {0},
  citedby = {0},
  journal = {jasis},
  volume = {53},
  number = {6},
  pages = {454-466},
}

@inproceedings{OliveiraVBS15,
  title = {Validating metric thresholds with developers: An early result},
  author = {Paloma Oliveira and Marco Tulio Valente and Alexandre Bergel and Alexander Serebrenik},
  year = {2015},
  doi = {10.1109/ICSM.2015.7332511},
  url = {http://dx.doi.org/10.1109/ICSM.2015.7332511},
  researchr = {https://researchr.org/publication/OliveiraVBS15},
  cites = {0},
  citedby = {0},
  pages = {546-550},
  booktitle = {ICSM},
}

@techreport{preprint-Serban2021,
  title = {SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions},
  author = {Dragos Serban and  Bart Golsteijn and  Ralph Holdorp and Alexander Serebrenik},
  year = {2021},
  researchr = {https://researchr.org/publication/preprint-Serban2021},
  cites = {0},
  citedby = {0},
  type = {Preprint},
}

@inproceedings{PoncinSB11-0,
  title = {Mining student capstone projects with FRASR and ProM},
  author = {Wouter Poncin and Alexander Serebrenik and Mark van den Brand},
  year = {2011},
  doi = {10.1145/2048147.2048181},
  url = {http://doi.acm.org/10.1145/2048147.2048181},
  researchr = {https://researchr.org/publication/PoncinSB11-0},
  cites = {0},
  citedby = {0},
  pages = {87-96},
  booktitle = {OOPSLA},
}

@inproceedings{SerebrenikS00,
  title = {Non-tranformational termination analysis of logic programs, based on general term-orderings},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2000},
  tags = {rule-based, program analysis, analysis, termination, logic programming, logic},
  researchr = {https://researchr.org/publication/SerebrenikS00},
  cites = {0},
  citedby = {0},
  booktitle = {LOPSTR},
}

@inproceedings{Schneider-KampGST06,
  title = {Automated Termination Analysis for Logic Programs by Term Rewriting},
  author = {Peter Schneider-Kamp and Jürgen Giesl and Alexander Serebrenik and René Thiemann},
  year = {2006},
  doi = {10.1007/978-3-540-71410-1_13},
  url = {http://dx.doi.org/10.1007/978-3-540-71410-1_13},
  tags = {program analysis, term rewriting, analysis, termination, graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Schneider-KampGST06},
  cites = {0},
  citedby = {0},
  pages = {177-193},
  booktitle = {LOPSTR},
}

@article{SerebrenikS04,
  title = {Inference of termination conditions for numerical loops in Prolog},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2004},
  tags = {Prolog, termination},
  researchr = {https://researchr.org/publication/SerebrenikS04},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {4},
  number = {5-6},
  pages = {719-751},
}

@article{LandmanSBV16,
  title = {Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions},
  author = {Davy Landman and Alexander Serebrenik and Eric Bouwers and Jurgen J.  Vinju},
  year = {2016},
  doi = {10.1002/smr.1760},
  url = {http://dx.doi.org/10.1002/smr.1760},
  researchr = {https://researchr.org/publication/LandmanSBV16},
  cites = {0},
  citedby = {0},
  journal = {SMR},
  volume = {28},
  number = {7},
  pages = {589-618},
}

@inproceedings{VasilescuSWSB14,
  title = {Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub},
  author = {Bogdan Vasilescu and Stef van Schuylenburg and Jules Wulms and Alexander Serebrenik and Mark G. J. van den Brand},
  year = {2014},
  doi = {10.1109/ICSME.2014.62},
  url = {http://dx.doi.org/10.1109/ICSME.2014.62},
  researchr = {https://researchr.org/publication/VasilescuSWSB14},
  cites = {0},
  citedby = {0},
  pages = {401-405},
  booktitle = {ICSM},
}

@article{VasilescuCS13,
  title = {Men at work: the StackOverflow case},
  author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik},
  year = {2013},
  url = {http://tinytocs.org/vol2/papers/tinytocs2-vasilescu.pdf},
  researchr = {https://researchr.org/publication/VasilescuCS13},
  cites = {0},
  citedby = {0},
  journal = {tinytocs},
  volume = {2},
}

@inproceedings{0008RS17,
  title = {Developer Turnover in Global, Industrial Open Source Projects: Insights from Applying Survival Analysis},
  author = {Bin Lin 0008 and Gregorio Robles and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ICGSE.2017.11},
  url = {https://doi.org/10.1109/ICGSE.2017.11},
  researchr = {https://researchr.org/publication/0008RS17},
  cites = {0},
  citedby = {0},
  pages = {66-75},
  booktitle = {icgse},
}

@inproceedings{DajsurenGSWVB14,
  title = {Formalizing correspondence rules for automotive architecture views},
  author = {Yanja Dajsuren and Christine M. Gerpheide and Alexander Serebrenik and Anton Wijs and Bogdan Vasilescu and Mark G. J. van den Brand},
  year = {2014},
  doi = {10.1145/2602576.2602588},
  url = {http://doi.acm.org/10.1145/2602576.2602588},
  researchr = {https://researchr.org/publication/DajsurenGSWVB14},
  cites = {0},
  citedby = {0},
  pages = {129-138},
  booktitle = {qosa},
}

@inproceedings{GieslSTSNSS07,
  title = {Termination of Programs using Term Rewriting and SAT Solving},
  author = {Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1248},
  tags = {term rewriting, termination, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/GieslSTSNSS07},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{SerebrenikB10,
  title = {Theil index for aggregation of software metrics values},
  author = {Alexander Serebrenik and Mark van den Brand},
  year = {2010},
  doi = {10.1109/ICSM.2010.5609637},
  url = {http://dx.doi.org/10.1109/ICSM.2010.5609637},
  researchr = {https://researchr.org/publication/SerebrenikB10},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {ICSM},
}

@inproceedings{TouraniAS17,
  title = {Code of conduct in open source projects},
  author = {Parastou Tourani and Bram Adams and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/SANER.2017.7884606},
  url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884606},
  researchr = {https://researchr.org/publication/TouraniAS17},
  cites = {0},
  citedby = {0},
  pages = {24-33},
  booktitle = {WCRE},
}

@inproceedings{CapiluppiSY12,
  title = {Developing an h-index for OSS developers},
  author = {Andrea Capiluppi and Alexander Serebrenik and Ahmmad Youssef},
  year = {2012},
  doi = {10.1109/MSR.2012.6224288},
  url = {http://dx.doi.org/10.1109/MSR.2012.6224288},
  researchr = {https://researchr.org/publication/CapiluppiSY12},
  cites = {0},
  citedby = {0},
  pages = {251-254},
  booktitle = {msr},
}

@inproceedings{KoutersVSB12,
  title = {Who's who in Gnome: Using LSA to merge software repository identities},
  author = {Erik Kouters and Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand},
  year = {2012},
  doi = {10.1109/ICSM.2012.6405329},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405329},
  researchr = {https://researchr.org/publication/KoutersVSB12},
  cites = {0},
  citedby = {0},
  pages = {592-595},
  booktitle = {ICSM},
}

@inproceedings{AmstelBS12,
  title = {Traceability Visualization in Model Transformations with TraceVis},
  author = {Marcel Van Amstel and Mark G. J. van den Brand and Alexander Serebrenik},
  year = {2012},
  doi = {10.1007/978-3-642-30476-7_10},
  url = {http://dx.doi.org/10.1007/978-3-642-30476-7_10},
  researchr = {https://researchr.org/publication/AmstelBS12},
  cites = {0},
  citedby = {0},
  pages = {152-159},
  booktitle = {ICMT},
}

@inproceedings{VasilescuSF15,
  title = {A Data Set for Social Diversity Studies of GitHub Teams},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Vladimir Filkov},
  year = {2015},
  doi = {10.1109/MSR.2015.77},
  url = {http://dx.doi.org/10.1109/MSR.2015.77},
  researchr = {https://researchr.org/publication/VasilescuSF15},
  cites = {0},
  citedby = {0},
  pages = {514-517},
  booktitle = {msr},
}

@article{DershowitzLSS01,
  title = {A General Framework for Automatic Termination Analysis of Logic Programs},
  author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {2001},
  url = {http://link.springer.de/link/service/journals/00200/bibs/1012001/10120117.htm},
  tags = {program analysis, analysis, termination, logic programming, logic},
  researchr = {https://researchr.org/publication/DershowitzLSS01},
  cites = {0},
  citedby = {0},
  journal = {aaecc},
  volume = {12},
  number = {1/2},
  pages = {117-156},
}

@inproceedings{GachechiladzeLN17,
  title = {Anger and Its Direction in Collaborative Software Development},
  author = {Daviti Gachechiladze and Filippo Lanubile and Nicole Novielli and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ICSE-NIER.2017.18},
  url = {https://doi.org/10.1109/ICSE-NIER.2017.18},
  researchr = {https://researchr.org/publication/GachechiladzeLN17},
  cites = {0},
  citedby = {0},
  pages = {11-14},
  booktitle = {ICSE},
}

@article{HeeSSVW07,
  title = {Scheduling-free resource management},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan van der Wal},
  year = {2007},
  doi = {10.1016/j.datak.2006.04.008},
  url = {http://dx.doi.org/10.1016/j.datak.2006.04.008},
  researchr = {https://researchr.org/publication/HeeSSVW07},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {61},
  number = {1},
  pages = {59-75},
}

@inproceedings{SerebrenikS01,
  title = {On Termination of Meta-Programs},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2250/22500517.htm},
  tags = {meta programming, meta-model, termination, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SerebrenikS01},
  cites = {0},
  citedby = {0},
  pages = {517-530},
  booktitle = {lpar},
}

@inproceedings{0008S16,
  title = {Recognizing gender of stack overflow users},
  author = {Bin Lin 0008 and Alexander Serebrenik},
  year = {2016},
  doi = {10.1145/2901739.2901777},
  url = {http://doi.acm.org/10.1145/2901739.2901777},
  researchr = {https://researchr.org/publication/0008S16},
  cites = {0},
  citedby = {0},
  pages = {425-429},
  booktitle = {msr},
}

@article{Schneider-KampGSST10,
  title = {Automated termination analysis for logic programs with cut},
  author = {Peter Schneider-Kamp and Jürgen Giesl and Thomas Ströder and Alexander Serebrenik and René Thiemann},
  year = {2010},
  doi = {10.1017/S1471068410000165},
  url = {http://dx.doi.org/10.1017/S1471068410000165},
  tags = {program analysis, analysis, termination, logic programming, logic},
  researchr = {https://researchr.org/publication/Schneider-KampGSST10},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {10},
  number = {4-6},
  pages = {365-381},
}

@inproceedings{DajsurenBSH12,
  title = {Automotive ADLS: a study on enforcing consistency through multiple architectural levels},
  author = {Yanja Dajsuren and Mark van den Brand and Alexander Serebrenik and Rudolf Huisman},
  year = {2012},
  doi = {10.1145/2304696.2304710},
  url = {http://doi.acm.org/10.1145/2304696.2304710},
  researchr = {https://researchr.org/publication/DajsurenBSH12},
  cites = {0},
  citedby = {0},
  pages = {71-80},
  booktitle = {qosa},
}

@inproceedings{BuchsKSSST10,
  title = {Introduction},
  author = {Didier Buchs and Fabrice Kordon and Alexander Serebrenik and Natalia Sidorova and Jeremy Spronston and Yann Thierry-Mieg},
  year = {2010},
  url = {http://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf},
  researchr = {https://researchr.org/publication/BuchsKSSST10},
  cites = {0},
  citedby = {0},
  pages = {371},
  booktitle = {acsd},
}

@inproceedings{MengerinkNSBS17,
  title = {A Case of Industrial vs. Open-source OCL: Not So Different After All},
  author = {Josh G. M. Mengerink and Jeroen Noten and Ramon R. H. Schiffelers and Mark G. J. van den Brand and Alexander Serebrenik},
  year = {2017},
  url = {http://ceur-ws.org/Vol-2019/posters_4.pdf},
  researchr = {https://researchr.org/publication/MengerinkNSBS17},
  cites = {0},
  citedby = {0},
  pages = {472-474},
  booktitle = {MoDELS},
}

@inproceedings{RoblesRSVG14,
  title = {FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining},
  author = {Gregorio Robles and Laura Arjona Reina and Alexander Serebrenik and Bogdan Vasilescu and Jesús M. González-Barahona},
  year = {2014},
  doi = {10.1145/2597073.2597129},
  url = {http://doi.acm.org/10.1145/2597073.2597129},
  researchr = {https://researchr.org/publication/RoblesRSVG14},
  cites = {0},
  citedby = {0},
  pages = {396-399},
  booktitle = {msr},
}

@inproceedings{JongelingDS15,
  title = {Choosing your weapons: On sentiment analysis tools for software engineering research},
  author = {Robbert Jongeling and Subhajit Datta and Alexander Serebrenik},
  year = {2015},
  doi = {10.1109/ICSM.2015.7332508},
  url = {http://dx.doi.org/10.1109/ICSM.2015.7332508},
  researchr = {https://researchr.org/publication/JongelingDS15},
  cites = {0},
  citedby = {0},
  pages = {531-535},
  booktitle = {ICSM},
}

@inproceedings{SerebrenikD03,
  title = {Refactoring Logic Programs: Extended Abstract},
  author = {Alexander Serebrenik and Bart Demoen},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=509},
  tags = {refactoring, logic programming, logic},
  researchr = {https://researchr.org/publication/SerebrenikD03},
  cites = {0},
  citedby = {0},
  pages = {509-510},
  booktitle = {ICLP},
}

@inproceedings{EbertCNS17,
  title = {Confusion Detection in Code Reviews},
  author = {Felipe Ebert and Fernando Castor and Nicole Novielli and Alexander Serebrenik},
  year = {2017},
  doi = {10.1109/ICSME.2017.40},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.40},
  researchr = {https://researchr.org/publication/EbertCNS17},
  cites = {0},
  citedby = {0},
  pages = {549-553},
  booktitle = {ICSM},
}

@inproceedings{WangLVS14,
  title = {EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites},
  author = {Shaowei Wang and David Lo and Bogdan Vasilescu and Alexander Serebrenik},
  year = {2014},
  doi = {10.1109/ICSME.2014.51},
  url = {http://dx.doi.org/10.1109/ICSME.2014.51},
  researchr = {https://researchr.org/publication/WangLVS14},
  cites = {0},
  citedby = {0},
  pages = {291-300},
  booktitle = {ICSM},
}

@inproceedings{BusingeSB12-0,
  title = {Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases},
  author = {John Businge and Alexander Serebrenik and Mark van den Brand},
  year = {2012},
  doi = {10.1109/SCAM.2012.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.10},
  researchr = {https://researchr.org/publication/BusingeSB12-0},
  cites = {0},
  citedby = {0},
  pages = {164-173},
  booktitle = {SCAM},
}

@inproceedings{OlszewskaDASWB16,
  title = {Tailoring complexity metrics for simulink models},
  author = {Marta Olszewska and Yanja Dajsuren and Harald Altinger and Alexander Serebrenik and Marina A. Waldén and Mark G. J. van den Brand},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=3004853},
  researchr = {https://researchr.org/publication/OlszewskaDASWB16},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {ecsa},
}

@inproceedings{VasilescuSM13,
  title = {A historical dataset of software engineering conferences},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Tom Mens},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2487153},
  researchr = {https://researchr.org/publication/VasilescuSM13},
  cites = {0},
  citedby = {0},
  pages = {373-376},
  booktitle = {msr},
}

@inproceedings{CohenNS99,
  title = {Rewriting Aggregate Queries Using Views},
  author = {Sara Cohen and Werner Nutt and Alexander Serebrenik},
  year = {1999},
  doi = {10.1145/303976.303992},
  url = {http://doi.acm.org/10.1145/303976.303992},
  tags = {graph query, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CohenNS99},
  cites = {0},
  citedby = {0},
  pages = {155-166},
  booktitle = {PODS},
}

@article{RoubtsovSMBR13,
  title = {I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors},
  author = {Serguei A. Roubtsov and Alexander Serebrenik and Aurélien Mazoyer and M. G. J. van den Brand and Ella E. Roubtsova},
  year = {2013},
  doi = {10.1049/iet-sen.2012.0056},
  url = {http://dx.doi.org/10.1049/iet-sen.2012.0056},
  researchr = {https://researchr.org/publication/RoubtsovSMBR13},
  cites = {0},
  citedby = {0},
  journal = {iee},
  volume = {7},
  number = {3},
}

@inproceedings{VasilescuCS12,
  title = {Gender, Representation and Online Participation: A Quantitative Study of StackOverflow},
  author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik},
  year = {2012},
  doi = {10.1109/SocialInformatics.2012.81},
  url = {http://doi.ieeecomputersociety.org/10.1109/SocialInformatics.2012.81},
  researchr = {https://researchr.org/publication/VasilescuCS12},
  cites = {0},
  citedby = {0},
  pages = {332-338},
  booktitle = {socialinformatics},
}

@inproceedings{SerebrenikM15,
  title = {Challenges in Software Ecosystems Research},
  author = {Alexander Serebrenik and Tom Mens},
  year = {2015},
  doi = {10.1145/2797433.2797475},
  url = {http://doi.acm.org/10.1145/2797433.2797475},
  researchr = {https://researchr.org/publication/SerebrenikM15},
  cites = {0},
  citedby = {0},
  pages = {40},
  booktitle = {ecsa},
}

@inproceedings{BusingeSB10,
  title = {An empirical study of the evolution of Eclipse third-party plug-ins},
  author = {John Businge and Alexander Serebrenik and Mark van den Brand},
  year = {2010},
  doi = {10.1145/1862372.1862389},
  url = {http://doi.acm.org/10.1145/1862372.1862389},
  tags = {empirical, Eclipse},
  researchr = {https://researchr.org/publication/BusingeSB10},
  cites = {0},
  citedby = {0},
  pages = {63-72},
  booktitle = {iwpse},
}

@inproceedings{LindenstraussSS04,
  title = {Proving Termination for Logic Programs by the Query-Mapping Pairs Approach},
  author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3049&spage=453},
  tags = {termination, logic programming, logic, systematic-approach},
  researchr = {https://researchr.org/publication/LindenstraussSS04},
  cites = {0},
  citedby = {0},
  pages = {453-498},
  booktitle = {LOPSTR},
}

@article{Schneider-KampGST09,
  title = {Automated termination proofs for logic programs by term rewriting},
  author = {Peter Schneider-Kamp and Jürgen Giesl and Alexander Serebrenik and René Thiemann},
  year = {2009},
  doi = {10.1145/1614431.1614433},
  url = {http://doi.acm.org/10.1145/1614431.1614433},
  tags = {term rewriting, termination, graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Schneider-KampGST09},
  cites = {0},
  citedby = {0},
  journal = {tocl},
  volume = {11},
  number = {1},
}

@inproceedings{ArnoldusBS11,
  title = {Less is more: unparser-completeness of metalanguages for template engines},
  author = {B. J. Arnoldus and M. G. J. van den Brand and Alexander Serebrenik},
  year = {2011},
  doi = {10.1145/2047862.2047887},
  url = {http://doi.acm.org/10.1145/2047862.2047887},
  researchr = {https://researchr.org/publication/ArnoldusBS11},
  cites = {0},
  citedby = {0},
  pages = {137-146},
  booktitle = {GPCE},
}

@article{SerebrenikA17,
  title = {Foreword to the SANER 2015 special issue},
  author = {Alexander Serebrenik and Bram Adams},
  year = {2017},
  doi = {10.1002/smr.1844},
  url = {http://dx.doi.org/10.1002/smr.1844},
  researchr = {https://researchr.org/publication/SerebrenikA17},
  cites = {0},
  citedby = {0},
  journal = {SMR},
  volume = {29},
  number = {3},
}

@article{HeeOSSV07,
  title = {LogLogics: A logic for history-dependent business processes},
  author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2007},
  doi = {10.1016/j.scico.2006.08.004},
  url = {http://dx.doi.org/10.1016/j.scico.2006.08.004},
  tags = {logic, history},
  researchr = {https://researchr.org/publication/HeeOSSV07},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {65},
  number = {1},
  pages = {30-40},
}

@inproceedings{GerpheideSS14-0,
  title = {A Bottom-Up Quality Model for QVTo},
  author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik},
  year = {2014},
  doi = {10.1109/QUATIC.2014.18},
  url = {http://dx.doi.org/10.1109/QUATIC.2014.18},
  researchr = {https://researchr.org/publication/GerpheideSS14-0},
  cites = {0},
  citedby = {0},
  pages = {85-94},
  booktitle = {quatic},
}

@article{EbertCS15,
  title = {An exploratory study on exception handling bugs in Java programs},
  author = {Felipe Ebert and Fernando Castor and Alexander Serebrenik},
  year = {2015},
  doi = {10.1016/j.jss.2015.04.066},
  url = {http://dx.doi.org/10.1016/j.jss.2015.04.066},
  researchr = {https://researchr.org/publication/EbertCS15},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {106},
  pages = {82-101},
}

@inproceedings{SerebrenikRB09,
  title = {Dn-based architecture assessment of Java Open Source software systems},
  author = {Alexander Serebrenik and Serguei A. Roubtsov and Mark G. J. van den Brand},
  year = {2009},
  doi = {10.1109/ICPC.2009.5090043},
  url = {http://dx.doi.org/10.1109/ICPC.2009.5090043},
  tags = {rule-based, Java, software architecture, architecture, source-to-source, open-source},
  researchr = {https://researchr.org/publication/SerebrenikRB09},
  cites = {0},
  citedby = {0},
  pages = {198-207},
  booktitle = {IWPC},
}

@article{JongelingSDS17,
  title = {On negative results when using sentiment analysis tools for software engineering research},
  author = {Robbert Jongeling and Proshanta Sarkar and Subhajit Datta and Alexander Serebrenik},
  year = {2017},
  doi = {10.1007/s10664-016-9493-x},
  url = {https://doi.org/10.1007/s10664-016-9493-x},
  researchr = {https://researchr.org/publication/JongelingSDS17},
  cites = {0},
  citedby = {0},
  journal = {ese},
  volume = {22},
  number = {5},
  pages = {2543-2584},
}

@inproceedings{HeeSSV05,
  title = {Soundness of Resource-Constrained Workflow Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2005},
  doi = {10.1007/11494744_15},
  url = {http://dx.doi.org/10.1007/11494744_15},
  tags = {workflow},
  researchr = {https://researchr.org/publication/HeeSSV05},
  cites = {0},
  citedby = {0},
  pages = {250-267},
  booktitle = {apn},
}

@inproceedings{Serban2021,
  title = {SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions},
  author = {Dragos Serban and  Bart Golsteijn and  Ralph Holdorp and Alexander Serebrenik},
  year = {2021},
  researchr = {https://researchr.org/publication/Serban2021},
  cites = {0},
  citedby = {0},
  booktitle = {Third Workshop on Bots in Software Engineering (BotSE)},
}

@article{MesnardS08,
  title = {Recurrence with affine level mappings is P-time decidable for CLP(R)},
  author = {Frédéric Mesnard and Alexander Serebrenik},
  year = {2008},
  doi = {10.1017/S1471068407003122},
  url = {http://dx.doi.org/10.1017/S1471068407003122},
  researchr = {https://researchr.org/publication/MesnardS08},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {8},
  number = {1},
  pages = {111-119},
}

@inproceedings{VasilescuSB11-0,
  title = {By no means: a study on aggregating software metrics},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Mark van den Brand},
  year = {2011},
  doi = {10.1145/1985374.1985381},
  url = {http://doi.acm.org/10.1145/1985374.1985381},
  researchr = {https://researchr.org/publication/VasilescuSB11-0},
  cites = {0},
  citedby = {0},
  pages = {23-26},
  booktitle = {ICSE},
}

@inproceedings{HuizingKPS05,
  title = {Looking for Stability},
  author = {Cornelis Huizing and Ruurd Kuiper and Teade Punter and Alexander Serebrenik},
  year = {2005},
  researchr = {https://researchr.org/publication/HuizingKPS05},
  cites = {0},
  citedby = {0},
  pages = {31-44},
  booktitle = {ddops},
}

@article{HeeSSA08,
  title = {Working with the Past: Integrating History in Petri Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst},
  year = {2008},
  url = {http://iospress.metapress.com/content/e436623u05mw91x8/},
  tags = {history},
  researchr = {https://researchr.org/publication/HeeSSA08},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {88},
  number = {3},
  pages = {387-409},
}

@inproceedings{SchrijversS04,
  title = {Improving Prolog Programs: Refactoring for Prolog},
  author = {Tom Schrijvers and Alexander Serebrenik},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58},
  tags = {Prolog, refactoring},
  researchr = {https://researchr.org/publication/SchrijversS04},
  cites = {0},
  citedby = {0},
  pages = {58-72},
  booktitle = {ICLP},
}

@article{derWerfDHS09,
  title = {Process Discovery using Integer Linear Programming},
  author = {Jan Martijn E. M. van der Werf and Boudewijn F. van Dongen and Cor A. J. Hurkens and Alexander Serebrenik},
  year = {2009},
  doi = {10.3233/FI-2009-136},
  url = {http://dx.doi.org/10.3233/FI-2009-136},
  tags = {discovery, programming},
  researchr = {https://researchr.org/publication/derWerfDHS09},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {94},
  number = {3-4},
  pages = {387-412},
}

@inproceedings{SerebrenikS00a,
  title = {Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm},
  tags = {rule-based, program analysis, analysis, termination, logic programming, logic, higher-order transformations, transformation, program transformation},
  researchr = {https://researchr.org/publication/SerebrenikS00a},
  cites = {0},
  citedby = {0},
  pages = {69-85},
  booktitle = {LOPSTR},
}

@article{DajsurenBS14,
  title = {Modularity Analysis of Automotive Control Software},
  author = {Yanja Dajsuren and Mark G. J. van den Brand and Alexander Serebrenik},
  year = {2013},
  url = {http://ercim-news.ercim.eu/en94/special/modularity-analysis-of-automotive-control-software},
  researchr = {https://researchr.org/publication/DajsurenBS14},
  cites = {0},
  citedby = {0},
  journal = {ercim},
  volume = {2013},
  number = {94},
}

@inproceedings{CohenKKNSS00,
  title = {Combining the Power of Searching and Querying},
  author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Werner Nutt and Yehoshua Sagiv and Alexander Serebrenik},
  year = {2000},
  researchr = {https://researchr.org/publication/CohenKKNSS00},
  cites = {0},
  citedby = {0},
  pages = {54-65},
  booktitle = {coopis},
}

@inproceedings{DajsurenBSR13,
  title = {Simulink models are also software: modularity assessment},
  author = {Yanja Dajsuren and Mark G. J. van den Brand and Alexander Serebrenik and Serguei A. Roubtsov},
  year = {2013},
  doi = {10.1145/2465478.2465482},
  url = {http://doi.acm.org/10.1145/2465478.2465482},
  researchr = {https://researchr.org/publication/DajsurenBSR13},
  cites = {0},
  citedby = {0},
  pages = {99-106},
  booktitle = {qosa},
}

@article{SerebrenikPB12,
  title = {Process Mining Software Repositories: Do Developers Work as Expected?},
  author = {Alexander Serebrenik and Wouter Poncin and Mark van den Brand},
  year = {2012},
  url = {http://ercim-news.ercim.eu/en88/special/process-mining-software-repositories-do-developers-work-as-expected},
  researchr = {https://researchr.org/publication/SerebrenikPB12},
  cites = {0},
  citedby = {0},
  journal = {ercim},
  volume = {2012},
  number = {88},
}

@inproceedings{BusingeSB12,
  title = {Survival of Eclipse third-party plug-ins},
  author = {John Businge and Alexander Serebrenik and Mark van den Brand},
  year = {2012},
  doi = {10.1109/ICSM.2012.6405295},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405295},
  researchr = {https://researchr.org/publication/BusingeSB12},
  cites = {0},
  citedby = {0},
  pages = {368-377},
  booktitle = {ICSM},
}

@inproceedings{HeeSSVW07:0,
  title = {Modelling with History-Dependent Petri Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan Martijn E. M. van der Werf},
  year = {2007},
  doi = {10.1007/978-3-540-75183-0_23},
  url = {http://dx.doi.org/10.1007/978-3-540-75183-0_23},
  tags = {meta-model, history, Meta-Environment},
  researchr = {https://researchr.org/publication/HeeSSVW07%3A0},
  cites = {0},
  citedby = {0},
  pages = {320-327},
  booktitle = {BPM},
}

@article{HeeOSSVL07,
  title = {Checking Properties of Adaptive Workflow Nets},
  author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Irina A. Lomazova},
  year = {2007},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=3&spage=347},
  tags = {workflow},
  researchr = {https://researchr.org/publication/HeeOSSVL07},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {79},
  number = {3-4},
  pages = {347-362},
}

@article{BusingeSB15,
  title = {Eclipse API usage: the good and the bad},
  author = {John Businge and Alexander Serebrenik and Mark G. J. van den Brand},
  year = {2015},
  doi = {10.1007/s11219-013-9221-3},
  url = {http://dx.doi.org/10.1007/s11219-013-9221-3},
  researchr = {https://researchr.org/publication/BusingeSB15},
  cites = {0},
  citedby = {0},
  journal = {sqj},
  volume = {23},
  number = {1},
  pages = {107-141},
}

@article{GerpheideSS14,
  title = {QVTo Model Transformations: Assessing and Improving their Quality},
  author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik},
  year = {2014},
  url = {http://ercim-news.ercim.eu/en99/special/qvto-model-transformations-assessing-and-improving-their-quality},
  researchr = {https://researchr.org/publication/GerpheideSS14},
  cites = {0},
  citedby = {0},
  journal = {ercim},
  volume = {2014},
  number = {99},
}

@article{CarverS18,
  title = {Software Maintenance and Evolution and Automated Software Engineering},
  author = {Jeffrey C. Carver and Alexander Serebrenik},
  year = {2018},
  doi = {10.1109/MS.2018.1661318},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2018.1661318},
  researchr = {https://researchr.org/publication/CarverS18},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {35},
  number = {2},
  pages = {102-104},
}

@inproceedings{VasilescuFS15,
  title = {Perceptions of Diversity on Git Hub: A User Survey},
  author = {Bogdan Vasilescu and Vladimir Filkov and Alexander Serebrenik},
  year = {2015},
  doi = {10.1109/CHASE.2015.14},
  url = {http://dx.doi.org/10.1109/CHASE.2015.14},
  researchr = {https://researchr.org/publication/VasilescuFS15},
  cites = {0},
  citedby = {0},
  pages = {50-56},
  booktitle = {ICSE},
}

@inproceedings{VasilescuSB11,
  title = {You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Mark van den Brand},
  year = {2011},
  doi = {10.1109/ICSM.2011.6080798},
  url = {http://dx.doi.org/10.1109/ICSM.2011.6080798},
  researchr = {https://researchr.org/publication/VasilescuSB11},
  cites = {0},
  citedby = {0},
  pages = {313-322},
  booktitle = {ICSM},
}

@inproceedings{OliveiraLVS14,
  title = {RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics},
  author = {Paloma Oliveira and Fernando Paim Lima and Marco Tulio Valente and Alexander Serebrenik},
  year = {2014},
  doi = {10.1109/ICSME.2014.112},
  url = {http://dx.doi.org/10.1109/ICSME.2014.112},
  researchr = {https://researchr.org/publication/OliveiraLVS14},
  cites = {0},
  citedby = {0},
  pages = {629-632},
  booktitle = {ICSM},
}

@inproceedings{SerebrenikS03,
  title = {Proving Termination with Adornments},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=108},
  tags = {termination},
  researchr = {https://researchr.org/publication/SerebrenikS03},
  cites = {0},
  citedby = {0},
  pages = {108-109},
  booktitle = {LOPSTR},
}

@inproceedings{PleteaVS14,
  title = {Security and emotion: sentiment analysis of security discussions on GitHub},
  author = {Daniel Pletea and Bogdan Vasilescu and Alexander Serebrenik},
  year = {2014},
  doi = {10.1145/2597073.2597117},
  url = {http://doi.acm.org/10.1145/2597073.2597117},
  researchr = {https://researchr.org/publication/PleteaVS14},
  cites = {0},
  citedby = {0},
  pages = {348-351},
  booktitle = {msr},
}

@inproceedings{VasilescuSDF14,
  title = {How social Q&A sites are changing knowledge sharing in open source software communities},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Premkumar T. Devanbu and Vladimir Filkov},
  year = {2014},
  doi = {10.1145/2531602.2531659},
  url = {http://doi.acm.org/10.1145/2531602.2531659},
  researchr = {https://researchr.org/publication/VasilescuSDF14},
  cites = {0},
  citedby = {0},
  pages = {342-354},
  booktitle = {cscw},
}

@article{VasilescuSMBP14,
  title = {How healthy are software engineering conferences?},
  author = {Bogdan Vasilescu and Alexander Serebrenik and Tom Mens and Mark G. J. van den Brand and Ekaterina Pek},
  year = {2014},
  doi = {10.1016/j.scico.2014.01.016},
  url = {http://dx.doi.org/10.1016/j.scico.2014.01.016},
  researchr = {https://researchr.org/publication/VasilescuSMBP14},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {89},
  pages = {251-272},
}

@inproceedings{SerebrenikM04,
  title = {On Termination of Binary CLP Programs},
  author = {Alexander Serebrenik and Frédéric Mesnard},
  year = {2004},
  doi = {10.1007/11506676_15},
  url = {http://dx.doi.org/10.1007/11506676_15},
  tags = {termination},
  researchr = {https://researchr.org/publication/SerebrenikM04},
  cites = {0},
  citedby = {0},
  pages = {231-244},
  booktitle = {LOPSTR},
}

@inproceedings{HeeSSSW07,
  title = {Adaptive Workflows for Healthcare Information Systems},
  author = {Kees M. van Hee and Helen Schonenberg and Alexander Serebrenik and Natalia Sidorova and Jan Martijn E. M. van der Werf},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_37},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_37},
  tags = {workflow},
  researchr = {https://researchr.org/publication/HeeSSSW07},
  cites = {0},
  citedby = {0},
  pages = {359-370},
  booktitle = {BPM},
}

@inproceedings{MengerinkSSB16,
  title = {A Complete Operator Library for DSL Evolution Specification},
  author = {J. G. M. Mengerink and Alexander Serebrenik and Ramon R. H. Schiffelers and M. G. J. van den Brand},
  year = {2016},
  doi = {10.1109/ICSME.2016.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.32},
  researchr = {https://researchr.org/publication/MengerinkSSB16},
  cites = {0},
  citedby = {0},
  pages = {144-154},
  booktitle = {ICSM},
}

@article{SerebrenikS05,
  title = {On termination of meta-programs},
  author = {Alexander Serebrenik and Danny De Schreye},
  year = {2005},
  doi = {10.1017/S1471068404002248},
  url = {http://dx.doi.org/10.1017/S1471068404002248},
  tags = {meta programming, meta-model, termination, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SerebrenikS05},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {5},
  number = {3},
  pages = {355-390},
}

@inproceedings{BrandMSH10,
  title = {Formally specified type checkers for domain specific languages: experience report},
  author = {Mark G. J. van den Brand and A. P. van der Meer and Alexander Serebrenik and Albert T. Hofkamp},
  year = {2010},
  doi = {10.1145/1868281.1868293},
  url = {http://doi.acm.org/10.1145/1868281.1868293},
  tags = {domain-specific language},
  researchr = {https://researchr.org/publication/BrandMSH10},
  cites = {0},
  citedby = {0},
  pages = {12},
  booktitle = {LDTA},
}

@inproceedings{ReboucasPETSC16,
  title = {An Empirical Study on the Usage of the Swift Programming Language},
  author = {Marcel Reboucas and Gustavo Pinto and Felipe Ebert and Weslley Torres and Alexander Serebrenik and Fernando Castor},
  year = {2016},
  doi = {10.1109/SANER.2016.66},
  url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2016.66},
  researchr = {https://researchr.org/publication/ReboucasPETSC16},
  cites = {0},
  citedby = {0},
  pages = {634-638},
  booktitle = {WCRE},
}

@inproceedings{CohenNS99:0,
  title = {Algorithms for Rewriting Aggregate Queries Using Views},
  author = {Sara Cohen and Werner Nutt and Alexander Serebrenik},
  year = {1999},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-19/paper9.pdf},
  tags = {graph query, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CohenNS99%3A0},
  cites = {0},
  citedby = {0},
  pages = {9},
  booktitle = {dmdw},
}

@inproceedings{SutiiRS13,
  title = {Detecting dependencies in Enterprise JavaBeans with SQuAVisiT},
  author = {Alexandru Sutii and Serguei A. Roubtsov and Alexander Serebrenik},
  year = {2013},
  doi = {10.1109/WCRE.2013.6671330},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671330},
  researchr = {https://researchr.org/publication/SutiiRS13},
  cites = {0},
  citedby = {0},
  pages = {485-486},
  booktitle = {WCRE},
}

@article{Mordal-ManetALSVD13,
  title = {Software quality metrics aggregation in industry},
  author = {Karine Mordal-Manet and Nicolas Anquetil and Jannik Laval and Alexander Serebrenik and Bogdan Vasilescu and Stéphane Ducasse},
  year = {2013},
  doi = {10.1002/smr.1558},
  url = {http://dx.doi.org/10.1002/smr.1558},
  researchr = {https://researchr.org/publication/Mordal-ManetALSVD13},
  cites = {0},
  citedby = {0},
  journal = {SMR},
  volume = {25},
  number = {10},
  pages = {1117-1135},
}

@inproceedings{PalombaSZ17,
  title = {Social Debt Analytics for Improving the Management of Software Evolution Tasks},
  author = {Fabio Palomba and Alexander Serebrenik and Andy Zaidman},
  year = {2017},
  url = {http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_5.pdf},
  researchr = {https://researchr.org/publication/PalombaSZ17},
  cites = {0},
  citedby = {0},
  pages = {18-21},
  booktitle = {BENEVOL},
}

@inproceedings{PutterRS14,
  title = {Testing Conformance of EJB 3 Enterprise Application Servers},
  author = {Sander de Putter and Serguei A. Roubtsov and Alexander Serebrenik},
  year = {2014},
  doi = {10.5220/0004864402720279},
  url = {http://dx.doi.org/10.5220/0004864402720279},
  researchr = {https://researchr.org/publication/PutterRS14},
  cites = {0},
  citedby = {0},
  pages = {272-279},
  booktitle = {ICEIS},
}

@inproceedings{PoncinSB11,
  title = {Process Mining Software Repositories},
  author = {Wouter Poncin and Alexander Serebrenik and Mark van den Brand},
  year = {2011},
  doi = {10.1109/CSMR.2011.5},
  url = {http://dx.doi.org/10.1109/CSMR.2011.5},
  researchr = {https://researchr.org/publication/PoncinSB11},
  cites = {0},
  citedby = {0},
  pages = {5-14},
  booktitle = {CSMR},
}

@inproceedings{GousiosVSZ14,
  title = {Lean GHTorrent: GitHub data on demand},
  author = {Georgios Gousios and Bogdan Vasilescu and Alexander Serebrenik and Andy Zaidman},
  year = {2014},
  doi = {10.1145/2597073.2597126},
  url = {http://doi.acm.org/10.1145/2597073.2597126},
  researchr = {https://researchr.org/publication/GousiosVSZ14},
  cites = {0},
  citedby = {0},
  pages = {384-387},
  booktitle = {msr},
}

@inproceedings{LindenstraussSS97:0,
  title = {Unfolding the Mystery of ::::Mergesort::::},
  author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1463/14630206.htm},
  researchr = {https://researchr.org/publication/LindenstraussSS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {206-225},
  booktitle = {LOPSTR},
}

@inproceedings{HeeOSSV06:0,
  title = {History-Based Joins: Semantics, Soundness and Implementation},
  author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve},
  year = {2006},
  doi = {10.1007/11841760_16},
  url = {http://dx.doi.org/10.1007/11841760_16},
  tags = {semantics, rule-based, history},
  researchr = {https://researchr.org/publication/HeeOSSV06%3A0},
  cites = {0},
  citedby = {0},
  pages = {225-240},
  booktitle = {BPM},
}

@inproceedings{HeeSSA07,
  title = {History-Dependent Petri Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-73094-1_12},
  url = {http://dx.doi.org/10.1007/978-3-540-73094-1_12},
  tags = {history},
  researchr = {https://researchr.org/publication/HeeSSA07},
  cites = {0},
  citedby = {0},
  pages = {164-183},
  booktitle = {apn},
}

@inproceedings{Serebrenik03,
  title = {Termination Analysis of Logic Programs: Extended Abstract},
  author = {Alexander Serebrenik},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=507},
  tags = {program analysis, analysis, termination, logic programming, logic},
  researchr = {https://researchr.org/publication/Serebrenik03},
  cites = {0},
  citedby = {0},
  pages = {507-508},
  booktitle = {ICLP},
}
@proceedings{iwpc-2017,
  title = {Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3101414},
  researchr = {https://researchr.org/publication/iwpc-2017},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017},
  conference = {IWPC},
  editor = {Giuseppe Scanniello and David Lo and Alexander Serebrenik},
  publisher = {IEEE / ACM},
  isbn = {978-1-5386-0535-6},
}

@proceedings{wcre-2015,
  title = {22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015},
  year = {2015},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7066219},
  researchr = {https://researchr.org/publication/wcre-2015},
  cites = {0},
  citedby = {0},
  booktitle = {22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015},
  conference = {WCRE},
  editor = {Yann-Gaël Guéhéneuc and Bram Adams and Alexander Serebrenik},
  publisher = {IEEE},
  isbn = {978-1-4799-8469-5},
}

@book{ess2014,
  title = {Evolving Software Systems},
  year = {2014},
  doi = {10.1007/978-3-642-45398-4},
  url = {http://dx.doi.org/10.1007/978-3-642-45398-4},
  researchr = {https://researchr.org/publication/ess2014},
  cites = {0},
  citedby = {0},
  editor = {Tom Mens and Alexander Serebrenik and Anthony Cleve},
  publisher = {Springer},
  isbn = {978-3-642-45397-7},
}

@proceedings{lpe:2003,
  title = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003},
  year = {2003},
  tags = {meta programming, logic programming, programming, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/lpe%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003},
  conference = {lpe},
  editor = {Frédéric Mesnard and Alexander Serebrenik},
  volume = {CW371},
  series = {Report},
  publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)},
}

@proceedings{lpe:2005,
  title = {Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005},
  year = {2005},
  url = {http://arxiv.org/html/cs.PL/0508078},
  tags = {meta programming, logic programming, programming, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/lpe%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005},
  conference = {lpe},
  editor = {Alexander Serebrenik and Susana Muñoz-Hernández},
}