Search dblp for Publications

export results for "toc:db/journals/fac/fac11.bht:"

 download as .bib file

@article{DBLP:journals/fac/AudebaudZ99,
  author       = {Philippe Audebaud and
                  Elena Zucca},
  title        = {Deriving Proof Rules from Continuation Semantics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {426--447},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050041},
  doi          = {10.1007/S001650050041},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AudebaudZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BanachP99,
  author       = {Richard Banach and
                  Michael Poppleton},
  title        = {Sharp Retrenchment, Modulated Refinement and Simulation},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {5},
  pages        = {498--540},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050056},
  doi          = {10.1007/S001650050056},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BanachP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Bertot99,
  author       = {Yves Bertot},
  title        = {The CtCoq System: Design and Architecture},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {225--243},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050049},
  doi          = {10.1007/S001650050049},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Bertot99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BirdP99,
  author       = {Richard S. Bird and
                  Ross Paterson},
  title        = {Generalised folds for nested datatypes},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {2},
  pages        = {200--222},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050047},
  doi          = {10.1007/S001650050047},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BirdP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BornatS99,
  author       = {Richard Bornat and
                  Bernard Sufrin},
  title        = {A Minimal Graphical User Interface for the Jape Proof Calculator},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {244--271},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050050},
  doi          = {10.1007/S001650050050},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BornatS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BowmanF99,
  author       = {Howard Bowman and
                  Giorgio P. Faconti},
  title        = {Analysing Cognitive Behaviour using {LOTOS} and Mexitl},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {2},
  pages        = {132--159},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050045},
  doi          = {10.1007/S001650050045},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BowmanF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DuceDFH99,
  author       = {David A. Duce and
                  David J. Duke and
                  Giorgio P. Faconti and
                  Ivan Herman},
  title        = {The Changing Face of Standardization: {A} Place for Formal Methods?},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {1},
  pages        = {1--20},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050033},
  doi          = {10.1007/S001650050033},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DuceDFH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DukeD99,
  author       = {David J. Duke and
                  David A. Duce},
  title        = {The Formalization of a Cognitive Architecture and its Application
                  to Reasoning About Human Computer Interaction},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {6},
  pages        = {665--689},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001659970004},
  doi          = {10.1007/S001659970004},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DukeD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DukeFH99,
  author       = {David J. Duke and
                  Bob Fields and
                  Michael D. Harrison},
  title        = {A Case Study in the Specification and Analysis of Design Alternatives
                  for a User Interface},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {2},
  pages        = {107--131},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050044},
  doi          = {10.1007/S001650050044},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DukeFH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FeltyS99,
  author       = {Amy P. Felty and
                  Frank A. Stomp},
  title        = {Cache Coherency in {SCI:} Specification and a Sketch of Correctness},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {5},
  pages        = {475--497},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050055},
  doi          = {10.1007/S001650050055},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/FeltyS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Goguen99,
  author       = {Joseph A. Goguen},
  title        = {Social and Semiotic Analyses for Theorem Prover User Interface Design
                  1},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {272--301},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050051},
  doi          = {10.1007/S001650050051},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Goguen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HensonR99,
  author       = {Martin C. Henson and
                  Steve Reeves},
  title        = {Revising {Z:} Part {I} - Logic and Semantics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {359--380},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050038},
  doi          = {10.1007/S001650050038},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HensonR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HensonR99a,
  author       = {Martin C. Henson and
                  Steve Reeves},
  title        = {Revising {Z:} Part {II} - Logical Development},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {381--401},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050039},
  doi          = {10.1007/S001650050039},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HensonR99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hesselink99,
  author       = {Wim H. Hesselink},
  title        = {The Verified Incremental Design of a Distributed Spanning Tree Algorithm:
                  Extended Abstract},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {1},
  pages        = {45--55},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050035},
  doi          = {10.1007/S001650050035},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hesselink99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hesselink99a,
  author       = {Wim H. Hesselink},
  title        = {Predicate Transformers for Recursive Procedures with Local Variables},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {6},
  pages        = {616--636},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001659970002},
  doi          = {10.1007/S001659970002},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hesselink99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HungC99,
  author       = {Dang Van Hung and
                  Zhou Chaochen},
  title        = {Probabilistic Duration Calculus for Continuous Time},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {1},
  pages        = {21--44},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050034},
  doi          = {10.1007/S001650050034},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HungC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/IrelandJR99,
  author       = {Andrew Ireland and
                  Mike Jackson and
                  Gordon Reid},
  title        = {Interactive Proof Critics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {302--325},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050052},
  doi          = {10.1007/S001650050052},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/IrelandJR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/JacksonNW99,
  author       = {Daniel Jackson and
                  Yu{-}Chung Ng and
                  Jeannette M. Wing},
  title        = {A Nitpick Analysis of Mobile IPv6},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {6},
  pages        = {591--615},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001659970001},
  doi          = {10.1007/S001659970001},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/JacksonNW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/King99,
  author       = {Steve King},
  title        = {'The Standard Logic for Z': {A} Clarification},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {472--473},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050043},
  doi          = {10.1007/S001650050043},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/King99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Kleymann99,
  author       = {Thomas Kleymann},
  title        = {Hoare Logic and Auxiliary Variables},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {5},
  pages        = {541--566},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050057},
  doi          = {10.1007/S001650050057},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Kleymann99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/KreowskiK99,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske},
  title        = {Graph Transformation Units with Interleaving Semantics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {6},
  pages        = {690--723},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001659970005},
  doi          = {10.1007/S001659970005},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KreowskiK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LatellaMM99,
  author       = {Diego Latella and
                  Istv{\'{a}}n Majzik and
                  Mieke Massink},
  title        = {Automatic Verification of a Behavioural Subset of {UML} Statechart
                  Diagrams Using the {SPIN} Model-checker},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {6},
  pages        = {637--664},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001659970003},
  doi          = {10.1007/S001659970003},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LatellaMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Leino99,
  author       = {K. Rustan M. Leino},
  title        = {Computing Permutation Encodings},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {1},
  pages        = {56--74},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050036},
  doi          = {10.1007/S001650050036},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Leino99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Mahony99,
  author       = {Brendan P. Mahony},
  title        = {The Least Conjunctive Refinement and Promotion in the Refinement Calculus},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {1},
  pages        = {75--105},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050037},
  doi          = {10.1007/S001650050037},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Mahony99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Nesi99,
  author       = {Monica Nesi},
  title        = {Formalising a Value-Passing Calculus in {HOL}},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {2},
  pages        = {160--199},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050046},
  doi          = {10.1007/S001650050046},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Nesi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PittS99,
  author       = {David H. Pitt and
                  M. W. Shields},
  title        = {Overtaking in Asynchronous Periodic Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {5},
  pages        = {567--590},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050058},
  doi          = {10.1007/S001650050058},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PittS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/RouxRC99,
  author       = {Olivier F. Roux and
                  Vlad Rusu and
                  Franck Cassez},
  title        = {Hybrid Verifications of Reactive Programs},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {448--471},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050042},
  doi          = {10.1007/S001650050042},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/RouxRC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/SiekmannHBCFHKKMMPS99,
  author       = {J{\"{o}}rg H. Siekmann and
                  Stephan M. Hess and
                  Christoph Benzm{\"{u}}ller and
                  Lassaad Cheikhrouhou and
                  Armin Fiedler and
                  Helmut Horacek and
                  Michael Kohlhase and
                  Karsten Konrad and
                  Andreas Meier and
                  Erica Melis and
                  Martin Pollet and
                  Volker Sorge},
  title        = {\emph{L}{\textless}Omega{\textgreater}\emph{UI}: \emph{L}ovely {\textless}Omega{\textgreater}MEGA
                  \emph{U}ser \emph{I}nterface},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {326--342},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050053},
  doi          = {10.1007/S001650050053},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SiekmannHBCFHKKMMPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/SistlaG99,
  author       = {A. Prasad Sistla and
                  Viktor Gyuris},
  title        = {Parameterized Verification of Linear Networks using Automata as Invariants},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {4},
  pages        = {402--425},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050040},
  doi          = {10.1007/S001650050040},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SistlaG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/TakahashiH99,
  author       = {Koichi Takahashi and
                  Masami Hagiya},
  title        = {Proving as Editing {HOL} Tactics},
  journal      = {Formal Aspects Comput.},
  volume       = {11},
  number       = {3},
  pages        = {343--357},
  year         = {1999},
  url          = {https://doi.org/10.1007/s001650050054},
  doi          = {10.1007/S001650050054},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/TakahashiH99.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.