Alexander Serebrenik Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark van den Brand, Serguei A. Roubtsov, Alexander Serebrenik: SQuAVisiT: A Flexible Tool for Visual Software Analytics. CSMR 2009: 331-332
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Serguei A. Roubtsov, Mark van den Brand: Dn-based architecture assessment of Java Open Source software systems. ICPC 2009: 198-207
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
2008
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Proofs for Logic Programs by Term Rewriting CoRR abs/0803.0014: (2008)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R). TPLP 8(1): 111-119 (2008)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)
2007
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvo 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Wim Vanhoof: Fingerprinting Logic Programs CoRR abs/cs/0701081: (2007)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R) CoRR abs/cs/0701082: (2007)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog CoRR abs/cs/0702083: (2007)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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)
2006
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Analysis for Logic Programs by Term Rewriting. LOPSTR 2006: 177-193
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
2005
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Susana Muñoz-Hernández: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005 WLPE 2005
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees 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
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik: Looking for Stability. DDoPS 2005: 31-44
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Termination of Floating-Point Computations. J. Autom. Reasoning 34(2): 141-177 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: On termination of meta-programs. TPLP 5(3): 355-390 (2005)
2004
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Frédéric Mesnard: On Termination of Binary CLP Programs. LOPSTR 2004: 231-244
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic 2004: 453-498
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog CoRR cs.SE/0406026: (2004)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog. TPLP 4(5-6): 719-751 (2004)
2003
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Mesnard, Alexander Serebrenik: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik: Termination Analysis of Logic Programs: Extended Abstract. ICLP 2003: 507-508
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Bart Demoen: Refactoring Logic Programs: Extended Abstract. ICLP 2003: 509-510
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Proving Termination with Adornments. LOPSTR 2003: 108-109
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003: 60-74
2002
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Alexander Serebrenik: Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond 2002: 187-210
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: On Termination of Logic Programs with Floating Point Computations. SAS 2002: 151-164
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara 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)
2001
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: On Termination of Meta-Programs. LPAR 2001: 517-530
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Inference of Termination Conditions for Numerical Loops in Prolog. LPAR 2001: 654-668
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Alexander Serebrenik: Acceptability with general orderings CoRR cs.PL/0106052: (2001)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops CoRR cs.PL/0106053: (2001)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog CoRR cs.PL/0110034: (2001)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: On termination of meta-programs CoRR cs.PL/0110035: (2001)
2000
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000: 65-78
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000: 54-65
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Non-tranformational termination analysis of logic programs, based on general term-orderings. LOPSTR 2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) 2000: 69-85
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views CoRR cs.DB/0011024: (2000)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Serebrenik, Danny De Schreye: Termination analysis of logic programs using acceptability with general term orders CoRR cs.PL/0011025: (2000)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR cs.PL/0011036: (2000)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs CoRR cs.PL/0012008: (2000)
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999: 9
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999: 155-166
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999: 43-48
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997: 444-447
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Unfolding the Mystery of Mergesort. LOPSTR 1997: 206-225

Coauthor Index

1Wil M. P. van der Aalst [56] [63]
2Stefan Blom [39]
3Maarten Boote [55]
4Mark van den Brand (M. G. J. van den Brand) [68] [69] [70] [71]
5Sara Cohen (Sara Shurin) [4] [5] [6] [10] [11] [14] [15] [20] [24]
6Bart Demoen [29] [52] [60]
7Nachum Dershowitz [3] [7] [8] [21]
8Boudewijn F. van Dongen [67]
9Jürgen Giesl [46] [57] [66]
10Jan Friso Groote [39]
11Kees M. van Hee [41] [43] [45] [47] [48] [49] [50] [51] [56] [58] [59] [63] [64] [65]
12Cornelis Huizing (Kees Huizing) [42]
13Cor A. J. Hurkens [67]
14Yaron Kanza [4] [10] [14] [20] [24]
15Yakov A. Kogan [4] [10] [14] [20] [24]
16Ruurd Kuiper [42]
17Naomi Lindenstrauss [1] [2] [3] [7] [8] [21] [34]
18Irina A. Lomazova [47] [50]
19Peter Massuthe [62]
20Sjouke Mauw [39]
21A. P. van der Meer [69]
22Frédéric Mesnard [31] [35] [53] [61]
23Susana Muñoz-Hernández [40] [44]
24Manh Thang Nguyen [57]
25Werner Nutt [4] [5] [6] [10] [11] [14] [15] [20] [24]
26Olivia Oanea [45] [47] [48] [49] [50] [65]
27Marija Petkovic [55]
28Teade Punter [42]
29Ivo Raedts [55]
30Serguei A. Roubtsov [68] [70] [71]
31Ella E. Roubtsova [68]
32Yehoshua Sagiv [1] [2] [3] [4] [7] [8] [10] [14] [20] [21] [24] [34]
33Peter Schneider-Kamp [46] [57] [66]
34Helen Schonenberg (M. H. Schonenberg) [58]
35Danny De Schreye [9] [12] [13] [16] [17] [18] [19] [22] [23] [25] [26] [27] [28] [32] [37] [38] [57]
36Tom Schrijvers [33] [36] [52] [60]
37Natalia Sidorova [41] [43] [45] [47] [48] [49] [50] [51] [56] [58] [59] [62] [63] [64] [65]
38Lou J. Somers [55]
39Stephan Swiderski [57]
40René Thiemann [46] [57] [66]
41Wim Vanhoof [54]
42Marc Voorhoeve [41] [43] [45] [47] [48] [49] [50] [51] [59] [65]
43Jan van der Wal [43] [51]
44Jan Martijn E. M. van der Werf [55] [58] [59] [67]
45Karsten Wolf (Karsten Schmidt) [62]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)