dblp.uni-trier.dewww.uni-trier.de

Alexander Serebrenik Vis

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

*2009
69EEMark van den Brand, Serguei A. Roubtsov, Alexander Serebrenik: SQuAVisiT: A Flexible Tool for Visual Software Analytics. CSMR 2009: 331-332
68EEM. 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
2008
67EEJan 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
66EEPeter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Proofs for Logic Programs by Term Rewriting CoRR abs/0803.0014: (2008)
65EEKees 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)
64EEKees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)
63EEKees 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)
62EEPeter 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)
61EEFrédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R). TPLP 8(1): 111-119 (2008)
60EEAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)
2007
59EEKees 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
58EEKees 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
57EEJü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
56EEKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183
55EEIvo 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
54EEAlexander Serebrenik, Wim Vanhoof: Fingerprinting Logic Programs CoRR abs/cs/0701081: (2007)
53EEFrédéric Mesnard, Alexander Serebrenik: Recurrence with affine level mappings is P-time decidable for CLP(R) CoRR abs/cs/0701082: (2007)
52EEAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog CoRR abs/cs/0702083: (2007)
51EEKees 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)
50EEKees 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)
49EEKees 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
48EEKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
47EEKees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
46EEPeter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann: Automated Termination Analysis for Logic Programs by Term Rewriting. LOPSTR 2006: 177-193
45 Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
2005
44EEAlexander Serebrenik, Susana Muñoz-Hernández: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005 WLPE 2005
43EEKees 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
42 Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik: Looking for Stability. DDoPS 2005: 31-44
41EEKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267
40EEAlexander 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)
39EEStefan 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)
38EEAlexander Serebrenik, Danny De Schreye: Termination of Floating-Point Computations. J. Autom. Reasoning 34(2): 141-177 (2005)
37EEAlexander Serebrenik, Danny De Schreye: On termination of meta-programs. TPLP 5(3): 355-390 (2005)
2004
36EETom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72
35EEAlexander Serebrenik, Frédéric Mesnard: On Termination of Binary CLP Programs. LOPSTR 2004: 231-244
34EENaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic 2004: 453-498
33EETom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog CoRR cs.SE/0406026: (2004)
32 Alexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog. TPLP 4(5-6): 719-751 (2004)
2003
31 Fré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
30EEAlexander Serebrenik: Termination Analysis of Logic Programs: Extended Abstract. ICLP 2003: 507-508
29EEAlexander Serebrenik, Bart Demoen: Refactoring Logic Programs: Extended Abstract. ICLP 2003: 509-510
28EEAlexander Serebrenik, Danny De Schreye: Proving Termination with Adornments. LOPSTR 2003: 108-109
27 Alexander Serebrenik, Danny De Schreye: Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003: 60-74
2002
26EEDanny De Schreye, Alexander Serebrenik: Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond 2002: 187-210
25EEAlexander Serebrenik, Danny De Schreye: On Termination of Logic Programs with Floating Point Computations. SAS 2002: 151-164
24 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)
2001
23EEAlexander Serebrenik, Danny De Schreye: On Termination of Meta-Programs. LPAR 2001: 517-530
22EEAlexander Serebrenik, Danny De Schreye: Inference of Termination Conditions for Numerical Loops in Prolog. LPAR 2001: 654-668
21EENachum 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)
20EESara 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)
19EEDanny De Schreye, Alexander Serebrenik: Acceptability with general orderings CoRR cs.PL/0106052: (2001)
18EEAlexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops CoRR cs.PL/0106053: (2001)
17EEAlexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog CoRR cs.PL/0110034: (2001)
16EEAlexander Serebrenik, Danny De Schreye: On termination of meta-programs CoRR cs.PL/0110035: (2001)
2000
15EESara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000: 65-78
14EESara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000: 54-65
13EEAlexander Serebrenik, Danny De Schreye: Non-tranformational termination analysis of logic programs, based on general term-orderings. LOPSTR 2000
12EEAlexander Serebrenik, Danny De Schreye: Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) 2000: 69-85
11EESara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views CoRR cs.DB/0011024: (2000)
10EESara 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)
9EEAlexander Serebrenik, Danny De Schreye: Termination analysis of logic programs using acceptability with general term orders CoRR cs.PL/0011025: (2000)
8EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR cs.PL/0011036: (2000)
7EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs CoRR cs.PL/0012008: (2000)
1999
6EESara Cohen, Werner Nutt, Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999: 9
5EESara Cohen, Werner Nutt, Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999: 155-166
4EESara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999: 43-48
3EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1997
2EENaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997: 444-447
1EENaomi 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]
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 [68]
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 [69]
31Yehoshua Sagiv [1] [2] [3] [4] [7] [8] [10] [14] [20] [21] [24] [34]
32Peter Schneider-Kamp [46] [57] [66]
33Helen Schonenberg (M. H. Schonenberg) [58]
34Danny De Schreye [9] [12] [13] [16] [17] [18] [19] [22] [23] [25] [26] [27] [28] [32] [37] [38] [57]
35Tom Schrijvers [33] [36] [52] [60]
36Natalia Sidorova [41] [43] [45] [47] [48] [49] [50] [51] [56] [58] [59] [62] [63] [64] [65]
37Lou J. Somers [55]
38Stephan Swiderski [57]
39René Thiemann [46] [57] [66]
40Wim Vanhoof [54]
41Marc Voorhoeve [41] [43] [45] [47] [48] [49] [50] [51] [59] [65]
42Jan van der Wal [43] [51]
43Jan Martijn E. M. van der Werf [55] [58] [59] [67]
44Karsten Wolf (Karsten Schmidt) [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)