Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/forte/2000fme,
  editor       = {Howard Bowman},
  title        = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/43/suppl/C},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/2000fme.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaldamusSWK01,
  author       = {Michael Baldamus and
                  Klaus Schneider and
                  Michael Wenz and
                  Roberto Ziller},
  editor       = {Howard Bowman},
  title        = {Can American Checkers be Solved by Means of Symbolic Model Checking?},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {15--33},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80892-2},
  doi          = {10.1016/S1571-0661(04)80892-2},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldamusSWK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bowman01,
  author       = {Howard Bowman},
  editor       = {Howard Bowman},
  title        = {Formal Methods Elsewhere - {A} Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {162--163},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)81053-9},
  doi          = {10.1016/S1571-0661(05)81053-9},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bowman01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BowmanFM01,
  author       = {Howard Bowman and
                  Giorgio P. Faconti and
                  Mieke Massink},
  editor       = {Howard Bowman},
  title        = {Towards Integrated Cognitive and Interface Analysis},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {97--112},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80896-X},
  doi          = {10.1016/S1571-0661(04)80896-X},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BowmanFM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DohertyFM01,
  author       = {Gavin J. Doherty and
                  Giorgio P. Faconti and
                  Mieke Massink},
  editor       = {Howard Bowman},
  title        = {Formal Verification in the Design of Gestural Interaction},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {75--96},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80895-8},
  doi          = {10.1016/S1571-0661(04)80895-8},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DohertyFM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuceD01,
  author       = {David A. Duce and
                  David J. Duke},
  editor       = {Howard Bowman},
  title        = {Syndetic Modelling: Computer Science Meets Cognitive Psychology},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {50--74},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80894-6},
  doi          = {10.1016/S1571-0661(04)80894-6},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuceD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Newton01,
  author       = {Michael Newton},
  editor       = {Howard Bowman},
  title        = {Grammatical Specification in {ASL:} Germanic Dependent Clause Order},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {136--151},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80898-3},
  doi          = {10.1016/S1571-0661(04)80898-3},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Newton01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rushby01,
  author       = {John M. Rushby},
  editor       = {Howard Bowman},
  title        = {Analyzing Cockpit Interfaces Using Formal Methods},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {1--14},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80891-0},
  doi          = {10.1016/S1571-0661(04)80891-0},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rushby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ShilovY01,
  author       = {Nikolay V. Shilov and
                  Kwang Yi},
  editor       = {Howard Bowman},
  title        = {Puzzles for Learning Model Checking, Model Checking for Programming
                  Puzzles, Puzzles for Testing Model Checkers},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {34--49},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80893-4},
  doi          = {10.1016/S1571-0661(04)80893-4},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShilovY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Tonfoni01,
  author       = {Graziella Tonfoni},
  editor       = {Howard Bowman},
  title        = {{CTML} - {A} Context Transport Mark-up Language for Formalization
                  and Verification of Legal, Medical and Bureaucratic and Safety procedures
                  and Protocols},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {152--161},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80899-5},
  doi          = {10.1016/S1571-0661(04)80899-5},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Tonfoni01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Turner01,
  author       = {Kenneth J. Turner},
  editor       = {Howard Bowman},
  title        = {The N-Body Problem in {LOTOS}},
  booktitle    = {Formal Methods Elsewhere - a Satellite Workshop of {FORTE-PSTV-2000}
                  devoted to applications of formal methods to areas other than communication
                  protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy,
                  October 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {43},
  pages        = {113--135},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(04)80897-1},
  doi          = {10.1016/S1571-0661(04)80897-1},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Turner01.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.