Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cl/CiampoliniLMT01,
  author       = {Anna Ciampolini and
                  Evelina Lamma and
                  Paola Mello and
                  Paolo Torroni},
  title        = {{LAILA:} a language for coordinating abductive reasoning among logic
                  agents},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {4},
  pages        = {137--161},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00020-0},
  doi          = {10.1016/S0096-0551(01)00020-0},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/CiampoliniLMT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/FranzleL01,
  author       = {Martin Fr{\"{a}}nzle and
                  Karsten L{\"{u}}th},
  title        = {Visual temporal logic as a rapid prototyping tool},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {93--113},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00017-0},
  doi          = {10.1016/S0096-0551(01)00017-0},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/FranzleL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/GeilenVPBS01,
  author       = {Marc Geilen and
                  Jeroen Voeten and
                  P. H. A. van der Putten and
                  Leo J. van Bokhoven and
                  M. P. J. Stevens},
  title        = {Object-oriented modelling and specification using {SHE}},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {19--38},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00014-5},
  doi          = {10.1016/S0096-0551(01)00014-5},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/GeilenVPBS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/LuttighuisLWBB01,
  author       = {Paul Oude Luttighuis and
                  Marc M. Lankhorst and
                  R. G. van de Wetering and
                  Ren{\'{e}} Bal and
                  Harmen van den Berg},
  title        = {Visualising business processes},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {39--59},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00015-7},
  doi          = {10.1016/S0096-0551(01)00015-7},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/LuttighuisLWBB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Mansurov01,
  author       = {Nikolai Mansurov},
  title        = {Automatic synthesis of {SDL} from {MSC} and its applications in forward
                  and reverse engineering},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {115--136},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00018-2},
  doi          = {10.1016/S0096-0551(01)00018-2},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Mansurov01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/MaraninchiR01,
  author       = {Florence Maraninchi and
                  Yann R{\'{e}}mond},
  title        = {Argos: an automaton-based synchronous language},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {61--92},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00016-9},
  doi          = {10.1016/S0096-0551(01)00016-9},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/MaraninchiR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Mauw01,
  author       = {Sjouke Mauw},
  title        = {Introduction by the guest editor},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {1--2},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00012-1},
  doi          = {10.1016/S0096-0551(01)00012-1},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Mauw01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/OmmeringKF01,
  author       = {Rob C. van Ommering and
                  Ren{\'{e}} L. Krikhaar and
                  Loe M. G. Feijs},
  title        = {Languages for formalizing, visualizing and verifying software architectures},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {1/3},
  pages        = {3--18},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00013-3},
  doi          = {10.1016/S0096-0551(01)00013-3},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/OmmeringKF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Puntigam01,
  author       = {Franz Puntigam},
  title        = {State inference for dynamically changing interfaces},
  journal      = {Comput. Lang.},
  volume       = {27},
  number       = {4},
  pages        = {163--202},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0096-0551(01)00019-4},
  doi          = {10.1016/S0096-0551(01)00019-4},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Puntigam01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}