Search dblp for Publications

export results for "toc:db/journals/scp/scp65.bht:"

 download as .bib file

@article{DBLP:journals/scp/AkhlakiTTM07,
  author       = {Kawtar Benghazi Akhlaki and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n and
                  Juan Antonio Holgado Terriza and
                  Luis E. Mendoza Morales},
  title        = {A methodological approach to the formal specification of real-time
                  systems by transformation of {UML-RT} design models},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {41--56},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.005},
  doi          = {10.1016/J.SCICO.2006.08.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AkhlakiTTM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AtanassowJ07,
  author       = {Frank Atanassow and
                  Johan Jeuring},
  title        = {Customizing an XML-Haskell data binding with type isomorphism inference
                  in Generic Haskell},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {72--107},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.005},
  doi          = {10.1016/J.SCICO.2006.01.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AtanassowJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BarjisAU07,
  author       = {Joseph Barjis and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Towards more adequate {EIS}},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.09.002},
  doi          = {10.1016/J.SCICO.2006.09.002},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BarjisAU07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Bergstra07,
  author       = {Jan A. Bergstra},
  title        = {Letter from the editor},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.11.001},
  doi          = {10.1016/J.SCICO.2006.11.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bergstra07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FernandesD07,
  author       = {Therrezinha Fernandes and
                  Jules Desharnais},
  title        = {Describing data flow analysis techniques with Kleene algebra},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {173--194},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.009},
  doi          = {10.1016/J.SCICO.2006.01.009},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/FernandesD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GallardoMMNP07,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Jes{\'{u}}s Mart{\'{\i}}nez and
                  Pedro Merino and
                  Pablo N{\'{u}}{\~{n}}ez and
                  Ernesto Pimentel},
  title        = {PiXL: Applying xml standards to support the integration of analysis
                  tools for protocols},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {57--69},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.006},
  doi          = {10.1016/J.SCICO.2006.08.006},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GallardoMMNP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Gibbons07,
  author       = {Jeremy Gibbons},
  title        = {Metamorphisms: Streaming representation-changers},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {108--139},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.006},
  doi          = {10.1016/J.SCICO.2006.01.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Gibbons07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GruhnL07,
  author       = {Volker Gruhn and
                  Ralf Laue},
  title        = {What business process modelers can learn from programmers},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {4--13},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.003},
  doi          = {10.1016/J.SCICO.2006.08.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GruhnL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HeeOSSV07,
  author       = {Kees M. van Hee and
                  Olivia Oanea and
                  Alexander Serebrenik and
                  Natalia Sidorova and
                  Marc Voorhoeve},
  title        = {LogLogics: {A} logic for history-dependent business processes},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {30--40},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.004},
  doi          = {10.1016/J.SCICO.2006.08.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HeeOSSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Kozen07,
  author       = {Dexter Kozen},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {71},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.10.004},
  doi          = {10.1016/J.SCICO.2006.10.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Kozen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KrikhaarC07,
  author       = {Ren{\'{e}} L. Krikhaar and
                  Ivica Crnkovic},
  title        = {Software Configuration Management},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {3},
  pages        = {215--221},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.10.003},
  doi          = {10.1016/J.SCICO.2006.10.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KrikhaarC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MartinCR07,
  author       = {Clare E. Martin and
                  Sharon A. Curtis and
                  Ingrid Rewitzky},
  title        = {Modelling angelic and demonic nondeterminism with multirelations},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {140--158},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.007},
  doi          = {10.1016/J.SCICO.2006.01.007},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MartinCR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Moller07,
  author       = {Bernhard M{\"{o}}ller},
  title        = {Kleene getting lazy},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {195--214},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.010},
  doi          = {10.1016/J.SCICO.2006.01.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Moller07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MorrisT07,
  author       = {Joseph M. Morris and
                  Malcolm Tyrrell},
  title        = {Terms with unbounded demonic and angelic nondeterminacy},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {2},
  pages        = {159--172},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.01.008},
  doi          = {10.1016/J.SCICO.2006.01.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MorrisT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MurtaODLW07,
  author       = {Leonardo Gresta Paulino Murta and
                  Hamilton L. R. Oliveira and
                  Cristine R. Dantas and
                  Luiz Gustavo Lopes and
                  Cl{\'{a}}udia Maria Lima Werner},
  title        = {Odyssey-SCM: An integrated software configuration management infrastructure
                  for {UML} models},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {3},
  pages        = {249--274},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.05.011},
  doi          = {10.1016/J.SCICO.2006.05.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MurtaODLW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/VoineaLT07,
  author       = {Lucian Voinea and
                  Johan Lukkien and
                  Alexandru C. Telea},
  title        = {Visual assessment of software evolution},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {3},
  pages        = {222--248},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.05.012},
  doi          = {10.1016/J.SCICO.2006.05.012},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/VoineaLT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/YeungLWD07,
  author       = {Wing Lok Yeung and
                  Karl R. P. H. Leung and
                  Ji Wang and
                  Wei Dong},
  title        = {Modelling and model checking suspendible business processes via statechart
                  diagrams and {CSP}},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  pages        = {14--29},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.007},
  doi          = {10.1016/J.SCICO.2006.08.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/YeungLWD07.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.