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}
}
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.