The SCEAS System
Navigation Menu

Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2001 (conf/padl/2001)

  1. C. R. Ramakrishnan
    A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:1-13 [Conf]
  2. Michael Leuschel
    Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:14-28 [Conf]
  3. Antony Courtney
    Frappé: Functional Reactive Programming in Java. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:29-44 [Conf]
  4. Antonio Brogi, Gianluca Caruso
    From Subject Directories to Subject Meta-directories via Declarative Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:45-59 [Conf]
  5. Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti
    Programming Goal-Driven Web Sites Using an Agent Logic Language. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:60-75 [Conf]
  6. Michael Hanus
    High-Level Server Side Web Scripting in Curry. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:76-92 [Conf]
  7. Anima Gupta, Paul Tarau
    Logic Programming Techniques for Dynamic VRML Web Content Generation. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:93-107 [Conf]
  8. Giampaolo Bella, Stefano Bistarelli
    Soft Constraints for Security Protocol Analysis: Confidentiality. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:108-122 [Conf]
  9. Steve Barker
    Secure Deductive Databases. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:123-137 [Conf]
  10. Horatiu Cirstea
    Specifying Authentication Protocols Using Rewriting and Strategies. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:138-152 [Conf]
  11. Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
    Interoperability between Bioinformatics Tools: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:153-168 [Conf]
  12. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
    An A-Prolog Decision Support System for the Space Shuttle. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:169-183 [Conf]
  13. Enrico Denti, Andrea Omicini, Alessandro Ricci
    tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:184-198 [Conf]
  14. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    A Novel Implementation of the Extended Andorra Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:199-213 [Conf]
  15. Hendrik Decker
    Soundcheck for SQL. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:214-228 [Conf]
  16. Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    Compiling High-Level Type Constructors in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:229-244 [Conf]
  17. Supratik Mukhopadhyay, Andreas Podelski
    Constraint Database Models Characterizing Timed Bisimilarity. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:245-258 [Conf]
  18. Alessandra Raffaetà, Thom W. Frühwirth
    Spatio-temporal Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:259-273 [Conf]
  19. Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    A Meta-heuristic for Subset Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:274-287 [Conf]
  20. Enrico Pontelli, Omar El-Khatib
    Construction and Optimization of a Parallel Engine for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:288-303 [Conf]
  21. John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
    FVision: A Declarative Language for Visual Tracking. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:304-321 [Conf]
  22. Satyam Tyagi, Paul Tarau
    A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:322-336 [Conf]
  23. Owen Kaser
    State Generation in the PARMC Model Checker. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:337-352 [Conf]
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