Search dblp for Publications

export results for "toc:db/journals/entcs/entcs235.bht:"

 download as .bib file

@proceedings{DBLP:conf/wwv/2008,
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/235/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wwv/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlpuenteR09,
  author       = {Mar{\'{\i}}a Alpuente and
                  Daniel Romero},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {A Visual Technique for Web Pages Comparison},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.002},
  doi          = {10.1016/J.ENTCS.2009.03.002},
  timestamp    = {Thu, 09 Mar 2023 13:11:35 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Baggi09,
  author       = {Michele Baggi},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {An Ontology-based System for Semantic Filtering of {XML} Data},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {19--33},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.003},
  doi          = {10.1016/J.ENTCS.2009.03.003},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Baggi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BallisE09,
  author       = {Demis Ballis and
                  Santiago Escobar},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Preface},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.001},
  doi          = {10.1016/J.ENTCS.2009.03.001},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BallisE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BantiLPT09,
  author       = {Federico Banti and
                  Alessandro Lapadula and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Specification and Analysis of {SOC} Systems Using {COWS:} {A} Finance
                  Case Study},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {71--105},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.006},
  doi          = {10.1016/J.ENTCS.2009.03.006},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BantiLPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarkerL09,
  author       = {Steve Barker and
                  Gill Lowen},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Event-oriented Web-based E-trading},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {35--53},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.004},
  doi          = {10.1016/J.ENTCS.2009.03.004},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarkerL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HaidarA09,
  author       = {Ali Nasrat Haidar and
                  Ali E. Abdallah},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Formal Modelling of {PKI} Based Authentication},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {55--70},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.005},
  doi          = {10.1016/J.ENTCS.2009.03.005},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HaidarA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MancarellaTT09,
  author       = {Paolo Mancarella and
                  Giacomo Terreni and
                  Francesca Toni},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Web Sites Repairing through Abduction},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {137--152},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.009},
  doi          = {10.1016/J.ENTCS.2009.03.009},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MancarellaTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RamakrishnanMBIA09,
  author       = {I. V. Ramakrishnan and
                  Jalal Mahmud and
                  Yevgen Borodin and
                  Muhammad Asiful Islam and
                  Faisal Ahmed},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Bridging the Web Accessibility Divide},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {107--124},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.007},
  doi          = {10.1016/J.ENTCS.2009.03.007},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RamakrishnanMBIA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Silva09,
  author       = {Josep Silva},
  editor       = {Demis Ballis and
                  Santiago Escobar},
  title        = {Information Filtering and Information Retrieval with the Web Filtering
                  Toolbar},
  booktitle    = {Proceedings of the 4th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {235},
  pages        = {125--136},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.008},
  doi          = {10.1016/J.ENTCS.2009.03.008},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Silva09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.