Alexander Serebrenik

prof.dr.

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

  • Bron: Scopus
19972021

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.
Filter
Hoofdstuk

Zoekresultaten

  • 2014

    Emerging trends in software evolution (Appendix A)

    Serebrenik, A. & Mens, T., 2014, Evolving software systems. Mens, T., Serebrenik, A. & Cleve, A. (redactie). Berlin: Springer, blz. 329-332

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    4 Downloads (Pure)
  • Studying evolving software ecosystems based on ecological models

    Mens, T., Claes, M., Grosjean, P. & Serebrenik, A., 2014, Evolving Software Systems. Mens, T., Serebrenik, A. & Cleve, A. (redactie). Berlin: Springer, blz. 297-326

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    32 Citaten (Scopus)
    2 Downloads (Pure)
  • 2009

    Type checking evolving languages with MSOS

    Brand, van den, M. G. J., Meer, van der, A. P. & Serebrenik, A., 2009, Semantics and Algebraic Specification. Palsberg, J. (redactie). Berlin: Springer, blz. 207-226 (Lecture notes in computer science; vol. 5700).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    1 Citaat (Scopus)
  • 2004

    Proving termination for logic programs by the query-mapping pairs approach

    Lindenstrauss, N., Sagiv, Y. & Serebrenik, A., 2004, Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, M. & Lau, K-K. (redactie). Berlin: Springer, blz. 453-498 (Lecture Notes in Computer Science; vol. 3049).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    10 Citaten (Scopus)
  • 2002

    Acceptability with general orderings

    De Schreye, D. & Serebrenik, A., 2002, Computational Logic: Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski, Part I). Kakas, A. C. & Sadri, F. (redactie). Berlin: Springer, blz. 187-210 (Lecture notes in computer science; vol. 2407).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    9 Citaten (Scopus)