Alexander Serebrenik

Andrea Capiluppi, Alexander Serebrenik, Leif Singer: Assessing Technical Candidates on the Social Web. IEEE Software 30(1): 45-51 (2013)

John Businge, Alexander Serebrenik, Mark van den Brand: Analyzing the Eclipse API Usage: Putting the Developer in the Loop. CSMR 2013: 37-46

Bogdan Vasilescu, Alexander Serebrenik, Tom Mens: A historical dataset of software engineering conferences. MSR 2013: 373-376

Bogdan Vasilescu, Andrea Capiluppi, Alexander Serebrenik: Men at work: the StackOverflow case. TinyToCS 2 (2013)

Jeroen Arnoldus, Mark G. J. van den Brand, Alexander Serebrenik, Jacob Brunekreef: Code Generation with Templates. Atlantis Studies in Computing 1, Atlantis Press 2012, isbn 978-94-91216-55-8, pp. I-IX, 1-204

Alexander Serebrenik, Mark van den Brand, Bogdan Vasilescu: Seeing the Forest for the Trees with New Econometric Aggregation Techniques. ERCIM News 2012(88) (2012)

Alexander Serebrenik, Wouter Poncin, Mark van den Brand: Process Mining Software Repositories: Do Developers Work as Expected?. ERCIM News 2012(88) (2012)

Marcel van Amstel, Mark G. J. van den Brand, Alexander Serebrenik: Traceability Visualization in Model Transformations with TraceVis. ICMT 2012: 152-159

John Businge, Alexander Serebrenik, Mark van den Brand: Survival of Eclipse third-party plug-ins. ICSM 2012: 368-377

Erik Kouters, Bogdan Vasilescu, Alexander Serebrenik, Mark G. J. van den Brand: Who's who in Gnome: Using LSA to merge software repository identities. ICSM 2012: 592-595

Andrea Capiluppi, Alexander Serebrenik, Ahmmad Youssef: Developing an h-index for OSS developers. MSR 2012: 251-254

Yanja Dajsuren, Mark van den Brand, Alexander Serebrenik, Rudolf Huisman: Automotive ADLS: a study on enforcing consistency through multiple architectural levels. QoSA 2012: 71-80

John Businge, Alexander Serebrenik, Mark van den Brand: Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases. SCAM 2012: 164-173

Bogdan Vasilescu, Alexander Serebrenik, Mark G. J. van den Brand: How to aggregate software metrics? TinyToCS 1 (2012)

Wouter Poncin, Alexander Serebrenik, Mark van den Brand: Process Mining Software Repositories. CSMR 2011: 5-14

B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik: Less is more: unparser-completeness of metalanguages for template engines. GPCE 2011: 137-146

Bogdan Vasilescu, Alexander Serebrenik, Mark van den Brand: You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics. ICSM 2011: 313-322

Wouter Poncin, Alexander Serebrenik, Mark van den Brand: Mining student capstone projects with FRASR and ProM. OOPSLA Companion 2011: 87-96

Serguei A. Roubtsov, Alexander Serebrenik, Aurélien Mazoyer, Mark van den Brand: I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors. SCAM 2011: 155-164

Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann: Automated termination analysis for logic programs with cut. TPLP 10(4-6): 365-381 (2010)

Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg: Introduction. ACSD/Petri Nets Workshops 2010: 371

Serguei A. Roubtsov, Alexander Serebrenik, Mark van den Brand: Detecting Modularity "Smells" in Dependencies Injected with Java Annotations. CSMR 2010: 244-247

Alexander Serebrenik, Mark van den Brand: Theil index for aggregation of software metrics values. ICSM 2010: 1-9

John Businge, Alexander Serebrenik, Mark van den Brand: An empirical study of the evolution of Eclipse third-party plug-ins. EVOL/IWPSE 2010: 63-72

Mark van den Brand, A. P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp: Formally specified type checkers for domain specific languages: experience report. LDTA 2010: 12

Alexander Serebrenik, Amrita Mishra, Thomas Delissen, Martijn Klabbers: Requirements Certification for Offshoring Using LSPCM. QUATIC 2010: 177-182

Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann: Automated Termination Analysis for Logic Programs with Cut. CoRR abs/1007.4908 (2010)

Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik: Process Discovery using Integer Linear Programming. Fundam. Inform. 94(3-4): 387-412 (2009)

Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated termination proofs for logic programs by term rewriting. ACM Trans. Comput. Log. 11(1) (2009)

M. G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik: Type Checking Evolving Languages with MSOS. Semantics and Algebraic Specification 2009: 207-226

Mark van den Brand, Serguei A. Roubtsov, Alexander Serebrenik: SQuAVisiT: A Flexible Tool for Visual Software Analytics. CSMR 2009: 331-332

Alexander Serebrenik, Serguei A. Roubtsov, Mark van den Brand: Dn-based architecture assessment of Java Open Source software systems. ICPC 2009: 198-207

Alexander Serebrenik, Serguei A. Roubtsov, Ella E. Roubtsova, Mark van den Brand: Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors. WCRE 2009: 269-273

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: Working with the Past: Integrating History in Petri Nets. Fundam. Inform. 88(3): 387-409 (2008)

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf: Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)

Frédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R). TPLP 8(1): 111-119 (2008)

Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)

Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik: Process Discovery Using Integer Linear Programming. Petri Nets 2008: 368-387

Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Proofs for Logic Programs by Term Rewriting. CoRR abs/0803.0014 (2008)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007)

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova: Checking Properties of Adaptive Workflow Nets. Fundam. Inform. 79(3-4): 347-362 (2007)

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Modelling with History-Dependent Petri Nets. BPM 2007: 320-327

Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf: Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370

Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik: Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures 2007

Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote: A software framework for automated verification. SAC 2007: 1031-1032

Alexander Serebrenik, Wim Vanhoof: Fingerprinting Logic Programs. CoRR abs/cs/0701081 (2007)

Frédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R). CoRR abs/cs/0701082 (2007)

Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. CoRR abs/cs/0702083 (2007)

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240

Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Analysis for Logic Programs by Term Rewriting. LOPSTR 2006: 177-193

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)

Alexander Serebrenik, Danny De Schreye: Termination of Floating-Point Computations. J. Autom. Reasoning 34(2): 141-177 (2005)

Alexander Serebrenik, Danny De Schreye: On termination of meta-programs. TPLP 5(3): 355-390 (2005)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: The Price of Coordination in Resource Management. Business Process Management 2005: 96-108

Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik: Looking for Stability. DDoPS 2005: 31-44

Alexander Serebrenik, Susana Muñoz-Hernández (Eds.): Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005. 2005

Alexander Serebrenik, Susana Muñoz-Hernández: Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain. CoRR abs/cs/0508078 (2005)

Alexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog. TPLP 4(5-6): 719-751 (2004)

Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72

Alexander Serebrenik, Frédéric Mesnard: On Termination of Binary CLP Programs. LOPSTR 2004: 231-244

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic 2004: 453-498

Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. CoRR cs.SE/0406026 (2004)

Alexander Serebrenik: Termination Analysis of Logic Programs: Extended Abstract. ICLP 2003: 507-508

Alexander Serebrenik, Bart Demoen: Refactoring Logic Programs: Extended Abstract. ICLP 2003: 509-510

Alexander Serebrenik, Danny De Schreye: Proving Termination with Adornments. LOPSTR 2003: 108-109

Alexander Serebrenik, Danny De Schreye: Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003: 60-74

Frédéric Mesnard, Alexander Serebrenik (Eds.): Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Report CW371, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik: EquiX - A search and query language for XML. JASIST 53(6): 454-466 (2002)

Danny De Schreye, Alexander Serebrenik: Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond 2002: 187-210

Alexander Serebrenik, Danny De Schreye: On Termination of Logic Programs with Floating Point Computations. SAS 2002: 151-164

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 117-156 (2001)

Alexander Serebrenik, Danny De Schreye: On Termination of Meta-Programs. LPAR 2001: 517-530

Alexander Serebrenik, Danny De Schreye: Inference of Termination Conditions for Numerical Loops in Prolog. LPAR 2001: 654-668

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX - A Search and Query Language for XML. CoRR cs.DB/0110044 (2001)

Danny De Schreye, Alexander Serebrenik: Acceptability with general orderings. CoRR cs.PL/0106052 (2001)

Alexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops. CoRR cs.PL/0106053 (2001)

Alexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog. CoRR cs.PL/0110034 (2001)

Alexander Serebrenik, Danny De Schreye: On termination of meta-programs. CoRR cs.PL/0110035 (2001)

Sara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000: 65-78

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000: 54-65

Alexander Serebrenik, Danny De Schreye: Non-tranformational termination analysis of logic programs, based on general term-orderings. LOPSTR 2000

Alexander Serebrenik, Danny De Schreye: Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) 2000: 69-85

Sara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. CoRR cs.DB/0011024 (2000)

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX - A Search and Query Language for XML. CoRR cs.DB/0011041 (2000)

Alexander Serebrenik, Danny De Schreye: Termination analysis of logic programs using acceptability with general term orders. CoRR cs.PL/0011025 (2000)

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. CoRR cs.PL/0011036 (2000)

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. CoRR cs.PL/0012008 (2000)

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): 39-58 (1999)

Sara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999: 9

Sara Cohen, Werner Nutt, Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999: 155-166

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999: 43-48

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997: 444-447

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Unfolding the Mystery of Mergesort. LOPSTR 1997: 206-225