Search dblp for Publications

export results for "toc:db/conf/vl/vll2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vl/Barker-PlummerS07,
  author       = {Dave Barker{-}Plummer and
                  Nik Swoboda},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {A Sequent Based Logic for Coincidence Grids},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {1--12},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:19 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/Barker-PlummerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/BergerBFW07,
  author       = {Sacha Berger and
                  Fran{\c{c}}ois Bry and
                  Tim Furche and
                  Christoph Wieser},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Visual Languages: {A} Matter of Style},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {85--96},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/BergerBFW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/Clark07,
  author       = {Robin Clark},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Fast Zone Discrimination},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {41--54},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/Clark07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/CoxFH07a,
  author       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Introduction},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/VLL07/preface.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/CoxFH07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/DauE07,
  author       = {Frithjof Dau and
                  Peter W. Eklund},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {A Peirce Style Calculus for {ALC}},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {55--71},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/DauE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/DelaneyS07,
  author       = {Aidan J. Delaney and
                  Gem Stapleton},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Spider Diagrams of Order},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {27--39},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/DelaneyS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/Gurr07,
  author       = {Corin A. Gurr},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Visualising a Logic of Dependability Arguments},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {97--109},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/Gurr07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/NagyV07,
  author       = {Benedek Nagy and
                  S{\'{a}}ndor V{\'{a}}lyi},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Visual Reasoning by Generalized Interval-values and Interval Temporal
                  Logic},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {13--26},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/NagyV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/Storrle07,
  author       = {Harald St{\"{o}}rrle},
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {A PROLOG-based Approach to Representing and Querying Software Engineering
                  Models},
  booktitle    = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  pages        = {71--83},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/Storrle07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vl/2007vll,
  editor       = {Philip T. Cox and
                  Andrew Fish and
                  John Howse},
  title        = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
                  in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
                  of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
                  Computing {VL/HCC} 07},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {274},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-274},
  urn          = {urn:nbn:de:0074-274-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/2007vll.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.