The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Serebrenik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sara Cohen, Werner Nutt, Alexander Serebrenik
    Rewriting Aggregate Queries Using Views. [Citation Graph (4, 19)][DBLP]
    PODS, 1999, pp:155-166 [Conf]
  2. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
    EquiX Easy Querying in XML Databases. [Citation Graph (1, 0)][DBLP]
    WebDB (Informal Proceedings), 1999, pp:43-48 [Conf]
  3. Sara Cohen, Werner Nutt, Alexander Serebrenik
    Algorithms for Rewriting Aggregate Queries Using Views. [Citation Graph (0, 0)][DBLP]
    ADBIS-DASFAA, 2000, pp:65-78 [Conf]
  4. Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Nested Nets for Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:241-260 [Conf]
  5. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:250-267 [Conf]
  6. Danny De Schreye, Alexander Serebrenik
    Acceptability with General Orderings. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:187-210 [Conf]
  7. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    History-Based Joins: Semantics, Soundness and Implementation. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:225-240 [Conf]
  8. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    The Price of Coordination in Resource Management. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2005, pp:96-108 [Conf]
  9. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    TermiLog: A System for Checking Termination of Queries to Logic Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:444-447 [Conf]
  10. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
    Combining the Power of Searching and Querying. [Citation Graph (0, 4)][DBLP]
    CoopIS, 2000, pp:54-65 [Conf]
  11. Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
    Looking for Stability. [Citation Graph (0, 0)][DBLP]
    DDoPS, 2005, pp:31-44 [Conf]
  12. Sara Cohen, Werner Nutt, Alexander Serebrenik
    Algorithms for Rewriting Aggregate Queries Using Views. [Citation Graph (0, 0)][DBLP]
    DMDW, 1999, pp:9- [Conf]
  13. Tom Schrijvers, Alexander Serebrenik
    Improving Prolog Programs: Refactoring for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:58-72 [Conf]
  14. Alexander Serebrenik
    Termination Analysis of Logic Programs: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:507-508 [Conf]
  15. Alexander Serebrenik, Bart Demoen
    Refactoring Logic Programs: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:509-510 [Conf]
  16. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:453-498 [Conf]
  17. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Unfolding the Mystery of Mergesort. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:206-225 [Conf]
  18. Alexander Serebrenik, Frédéric Mesnard
    On Termination of Binary CLP Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:231-244 [Conf]
  19. Alexander Serebrenik, Danny De Schreye
    Non-tranformational termination analysis of logic programs, based on general term-orderings. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  20. Alexander Serebrenik, Danny De Schreye
    Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:69-85 [Conf]
  21. Alexander Serebrenik, Danny De Schreye
    Proving Termination with Adornments. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:108-109 [Conf]
  22. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
    Automated Termination Analysis for Logic Programs by Term Rewriting. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:177-193 [Conf]
  23. Alexander Serebrenik, Danny De Schreye
    On Termination of Meta-Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:517-530 [Conf]
  24. Alexander Serebrenik, Danny De Schreye
    Inference of Termination Conditions for Numerical Loops in Prolog. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:654-668 [Conf]
  25. Alexander Serebrenik, Danny De Schreye
    Hasta-La-Vista: Termination Analyser for Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2003, pp:60-74 [Conf]
  26. Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote
    A software framework for automated verification. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1031-1032 [Conf]
  27. Alexander Serebrenik, Danny De Schreye
    On Termination of Logic Programs with Floating Point Computations. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:151-164 [Conf]
  28. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Modelling History-Dependent Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:76-85 [Conf]
  29. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    A General Framework for Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:1/2, pp:117-156 [Journal]
  30. Sara Cohen, Werner Nutt, Alexander Serebrenik
    Algorithms for Rewriting Aggregate Queries Using Views [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  31. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
    EquiX - A Search and Query Language for XML [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  32. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
    EquiX - A Search and Query Language for XML [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  33. Alexander Serebrenik, Danny De Schreye
    Termination analysis of logic programs using acceptability with general term orders [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  34. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Automatic Termination Analysis of Programs Containing Arithmetic Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  35. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    A General Framework for Automatic Termination Analysis of Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  36. Danny De Schreye, Alexander Serebrenik
    Acceptability with general orderings [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  37. Alexander Serebrenik, Danny De Schreye
    Inference of termination conditions for numerical loops [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  38. Alexander Serebrenik, Danny De Schreye
    Inference of termination conditions for numerical loops in Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  39. Alexander Serebrenik, Danny De Schreye
    On termination of meta-programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  40. Tom Schrijvers, Alexander Serebrenik
    Improving Prolog Programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  41. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    Scheduling-free resource management. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2007, v:61, n:1, pp:59-75 [Journal]
  42. Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik
    Analysing the BKE-security Protocol with µCRL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:49-90 [Journal]
  43. Alexander Serebrenik, Danny De Schreye
    Termination of Floating-Point Computations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:2, pp:141-177 [Journal]
  44. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik
    EquiX - A search and query language for XML. [Citation Graph (0, 0)][DBLP]
    JASIST, 2002, v:53, n:6, pp:454-466 [Journal]
  45. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    LogLogics: A logic for history-dependent business processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:30-40 [Journal]
  46. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Automatic Termination Analysis of Programs Containing Arithmetic Predicates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  47. Alexander Serebrenik, Danny De Schreye
    Inference of termination conditions for numerical loops in Prolog. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:719-751 [Journal]
  48. Alexander Serebrenik, Danny De Schreye
    On termination of meta-programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:355-390 [Journal]
  49. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
    History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:164-183 [Conf]
  50. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
    Modelling with History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:320-327 [Conf]
  51. Alexander Serebrenik, Wim Vanhoof
    Fingerprinting Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  52. Frédéric Mesnard, Alexander Serebrenik
    Recurrence with affine level mappings is P-time decidable for CLP(R) [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  53. Alexander Serebrenik, Tom Schrijvers, Bart Demoen
    Improving Prolog programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  54. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
    Checking Properties of Adaptive Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:347-362 [Journal]

  55. Process Discovery Using Integer Linear Programming. [Citation Graph (, )][DBLP]


  56. Type Checking Evolving Languages with MSOS. [Citation Graph (, )][DBLP]


  57. Adaptive Workflows for Healthcare Information Systems. [Citation Graph (, )][DBLP]


  58. SQuAVisiT: A Flexible Tool for Visual Software Analytics. [Citation Graph (, )][DBLP]


  59. Termination of Programs using Term Rewriting and SAT Solving. [Citation Graph (, )][DBLP]


  60. Dn-based architecture assessment of Java Open Source software systems. [Citation Graph (, )][DBLP]


  61. Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors. [Citation Graph (, )][DBLP]


  62. Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain [Citation Graph (, )][DBLP]


  63. Automated Termination Proofs for Logic Programs by Term Rewriting [Citation Graph (, )][DBLP]


  64. Automated Termination Analysis for Logic Programs with Cut [Citation Graph (, )][DBLP]


  65. History-based joins: Semantics, soundness and implementation. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002