Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/scp/scp76.bht:"
download as .bib file
@article{DBLP:journals/scp/AndovaGV11,
author = {Suzana Andova and
Luuk Groenewegen and
Erik P. de Vink},
title = {Dynamic consistency in process algebra: From Paradigm to {ACP}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {711--735},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.011},
doi = {10.1016/J.SCICO.2010.04.011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AndovaGV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Arbuckle11,
author = {Tom Arbuckle},
title = {Studying software evolution using artefacts' shared information content},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1078--1097},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.005},
doi = {10.1016/J.SCICO.2010.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Arbuckle11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AriasAABB11,
author = {Trosky Boris Callo Arias and
Paris Avgeriou and
Pierre America and
Krelis Blom and
Sergiy Bachynskyy},
title = {A top-down strategy to reverse architecting execution views for a
large and complex software-intensive system: An experience report},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1098--1112},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.008},
doi = {10.1016/J.SCICO.2010.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AriasAABB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AudebaudP11,
author = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {159},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.005},
doi = {10.1016/J.SCICO.2010.05.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AudebaudP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackhouseF11,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
title = {On Euclid's algorithm and elementary number theory},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {160--180},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.006},
doi = {10.1016/J.SCICO.2010.05.006},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BackhouseF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BeekFGM11,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
title = {A state/event-based model-checking approach for the analysis of abstract
system properties},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {119--135},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.07.002},
doi = {10.1016/J.SCICO.2010.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BeekFGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenesBBCSV11,
author = {Nikola Benes and
Lubos Brim and
Barbora Buhnova and
Ivana Cern{\'{a}} and
Jiri Sochor and
Pavl{\'{\i}}na Varekov{\'{a}}},
title = {Partial order reduction for state/event {LTL} with application to
component-interaction automata},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {877--890},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.02.008},
doi = {10.1016/J.SCICO.2010.02.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenesBBCSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bergstra11,
author = {Jan A. Bergstra},
title = {Editorial},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {541},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.12.001},
doi = {10.1016/J.SCICO.2009.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bergstra11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BettiniBV11,
author = {Lorenzo Bettini and
Viviana Bono and
Betti Venneri},
title = {Delegation by object composition},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {992--1014},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.006},
doi = {10.1016/J.SCICO.2010.04.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BettiniBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoitenDS11,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Selected papers of the Refinement Workshop Turku {(2008)}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {737--738},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.03.003},
doi = {10.1016/J.SCICO.2011.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BoitenDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BourdevJ11,
author = {Lubomir D. Bourdev and
Jaakko J{\"{a}}rvi},
title = {Efficient run-time dispatching in generic programming with minimal
code bloat},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {243--257},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.06.003},
doi = {10.1016/J.SCICO.2008.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BourdevJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPS11,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {631--632},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.003},
doi = {10.1016/J.SCICO.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPV11,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.002},
doi = {10.1016/J.SCICO.2010.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CaretteK11,
author = {Jacques Carette and
Oleg Kiselyov},
title = {Multi-stage programming with functors and monads: Eliminating abstraction
overhead from generic code},
journal = {Sci. Comput. Program.},
volume = {76},
number = {5},
pages = {349--375},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.09.008},
doi = {10.1016/J.SCICO.2008.09.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CaretteK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CaretteK11a,
author = {Jacques Carette and
Michael Kucera},
title = {Partial evaluation of Maple},
journal = {Sci. Comput. Program.},
volume = {76},
number = {6},
pages = {469--491},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.12.001},
doi = {10.1016/J.SCICO.2010.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CaretteK11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CastroRKLMD11,
author = {Sergio Castro and
Coen De Roover and
Andy Kellens and
Angela Lozano and
Kim Mens and
Theo D'Hondt},
title = {Diagnosing and correcting design inconsistencies in source code with
logical abduction},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1113--1129},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.001},
doi = {10.1016/J.SCICO.2010.09.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CastroRKLMD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkePLA11,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
title = {Channel-based coordination via constraint satisfaction},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {681--710},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.004},
doi = {10.1016/J.SCICO.2010.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkePLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClassenBH11,
author = {Andreas Classen and
Quentin Boucher and
Patrick Heymans},
title = {A text-based approach to feature modelling: Syntax and semantics of
{TVL}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1130--1143},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.10.005},
doi = {10.1016/J.SCICO.2010.10.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClassenBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CoferFLM11,
author = {Darren D. Cofer and
Alessandro Fantechi and
Stefan Leue and
Pedro Merino},
title = {Preface to the special issue on Formal Methods for Industrial Critical
Systems {(FMICS} 2007 + {FMICS} 2008)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {63--64},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.07.001},
doi = {10.1016/J.SCICO.2010.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CoferFLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ColvinH11,
author = {Robert Colvin and
Ian J. Hayes},
title = {A semantics for Behavior Trees using {CSP} with specification commands},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {891--914},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.007},
doi = {10.1016/J.SCICO.2010.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ColvinH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CosmoRPPZ11,
author = {Roberto Di Cosmo and
Davide Di Ruscio and
Patrizio Pelliccione and
Alfonso Pierantonio and
Stefano Zacchiroli},
title = {Supporting software evolution in component-based {FOSS} systems},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1144--1160},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.001},
doi = {10.1016/J.SCICO.2010.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CosmoRPPZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CunhaV11,
author = {Alcino Cunha and
Joost Visser},
title = {Transformation of structure-shy programs with application to XPath
queries and strategic functions},
journal = {Sci. Comput. Program.},
volume = {76},
number = {6},
pages = {516--539},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.01.003},
doi = {10.1016/J.SCICO.2010.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CunhaV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DesharnaisS11,
author = {Jules Desharnais and
Georg Struth},
title = {Internal axioms for domain semirings},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {181--203},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.007},
doi = {10.1016/J.SCICO.2010.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DesharnaisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DovlandJOS11,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
title = {Incremental reasoning with lazy behavioral subtyping for multiple
inheritance},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {915--941},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.006},
doi = {10.1016/J.SCICO.2010.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DovlandJOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DucournauP11,
author = {Roland Ducournau and
Jean Privat},
title = {Metamodeling semantics of multiple inheritance},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {555--586},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.10.006},
doi = {10.1016/J.SCICO.2010.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DucournauP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdelkampSBBS11,
author = {Stefan Edelkamp and
Damian Sulewski and
Jiri Barnat and
Lubos Brim and
Pavel Simecek},
title = {Flash memory efficient {LTL} model checking},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {136--157},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.005},
doi = {10.1016/J.SCICO.2010.03.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/EdelkampSBBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GastelLSE11,
author = {Bernard van Gastel and
Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {Deadlock and starvation free reentrant readers-writers: {A} case study
combining model checking with theorem proving},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {82--99},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.004},
doi = {10.1016/J.SCICO.2010.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GastelLSE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GluckV11,
author = {Robert Gl{\"{u}}ck and
Eelco Visser},
title = {Special Issue on Generative Programming and Component Engineering
(Selected Papers from {GPCE} 2004/2005)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {5},
pages = {347--348},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.02.001},
doi = {10.1016/J.SCICO.2011.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GluckV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HaublWM11,
author = {Christian H{\"{a}}ubl and
Christian Wimmer and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Erratum to "Compact and Efficient Strings for Java" [Science of Computer
Programming 75 {(2010)} 1077-1094]},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {1073},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.04.005},
doi = {10.1016/J.SCICO.2011.04.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HaublWM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeinzlS11,
author = {Ren{\'{e}} Heinzl and
Philipp Schwaha},
title = {A generic topology library},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {324--346},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.007},
doi = {10.1016/J.SCICO.2009.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeinzlS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hesselink11,
author = {Wim H. Hesselink},
title = {Simulation refinement for concurrency verification},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {739--755},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.006},
doi = {10.1016/J.SCICO.2009.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hesselink11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HesselinkA11,
author = {Wim H. Hesselink and
Alex A. Aravind},
title = {Queue based mutual exclusion with linearly bounded overtaking},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {542--554},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.002},
doi = {10.1016/J.SCICO.2010.11.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HesselinkA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HorspoolGCA11,
author = {R. Nigel Horspool and
Ralf Gitzel and
Giacomo Cabri and
Markus Aleksy},
title = {Principles and Practice of Programming in Java 2008 - Special issue},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {969},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.004},
doi = {10.1016/J.SCICO.2010.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HorspoolGCA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuangZS11,
author = {Shan Shan Huang and
David Zook and
Yannis Smaragdakis},
title = {Statically safe program generation with SafeGen},
journal = {Sci. Comput. Program.},
volume = {76},
number = {5},
pages = {376--391},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.09.007},
doi = {10.1016/J.SCICO.2008.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HuangZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JovicH11,
author = {Milan Jovic and
Matthias Hauswirth},
title = {Listener latency profiling: Measuring the perceptible performance
of interactive Java applications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {1054--1072},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.009},
doi = {10.1016/J.SCICO.2010.04.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JovicH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KabanovHR11,
author = {Jevgeni Kabanov and
Michael Hunger and
Rein Raudj{\"{a}}rv},
title = {On designing safe and flexible embedded DSLs with Java 5},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {970--991},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.005},
doi = {10.1016/J.SCICO.2010.04.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KabanovHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KarusD11,
author = {Siim Karus and
Marlon Dumas},
title = {Predicting the maintainability of {XSL} transformations},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1161--1176},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.12.006},
doi = {10.1016/J.SCICO.2010.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KarusD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KrauseMLA11,
author = {Christian Krause and
Ziyan Maraikar and
Alexander Lazovik and
Farhad Arbab},
title = {Modeling dynamic reconfigurations in Reo using high-level replacement
systems},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {23--36},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.10.006},
doi = {10.1016/J.SCICO.2009.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KrauseMLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Lamsweerde11,
author = {Axel van Lamsweerde},
title = {The humble humorous researcher: {A} tribute to Michel Sintzoff},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {627--630},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.02.004},
doi = {10.1016/J.SCICO.2011.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Lamsweerde11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LavalDDF11,
author = {Jannik Laval and
Simon Denier and
St{\'{e}}phane Ducasse and
Jean{-}R{\'{e}}my Falleri},
title = {Supporting simultaneous versions for software evolution assessment},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1177--1193},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.014},
doi = {10.1016/J.SCICO.2010.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LavalDDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeuschelW11,
author = {Michael Leuschel and
Heike Wehrheim},
title = {Selected papers on Integrated Formal Methods (iFM09)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {835--836},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.01.009},
doi = {10.1016/J.SCICO.2011.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeuschelW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiPDGK11,
author = {Guodong Li and
Robert Palmer and
Michael Delisi and
Ganesh Gopalakrishnan and
Robert M. Kirby},
title = {Formal specification of {MPI} 2.0: Case study in specifying a practical
concurrent programming {API}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {65--81},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.007},
doi = {10.1016/J.SCICO.2010.03.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LiPDGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LinckeASH11,
author = {Jens Lincke and
Malte Appeltauer and
Bastian Steinert and
Robert Hirschfeld},
title = {An open implementation for context-oriented layer composition in ContextJS},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1194--1209},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.013},
doi = {10.1016/J.SCICO.2010.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LinckeASH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LutterothDW11,
author = {Christof Lutteroth and
Dirk Draheim and
Gerald Weber},
title = {A type system for reflective program generators},
journal = {Sci. Comput. Program.},
volume = {76},
number = {5},
pages = {392--422},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.12.002},
doi = {10.1016/J.SCICO.2010.12.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LutterothDW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MalePPD11,
author = {Chris Male and
David J. Pearce and
Alex Potanin and
Constantine Dymnikov},
title = {Formalisation and implementation of an algorithm for bytecode verification
of @NonNull types},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {587--608},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.10.004},
doi = {10.1016/J.SCICO.2010.10.004},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MalePPD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MannaertVV11,
author = {Herwig Mannaert and
Jan Verelst and
Kris Ven},
title = {The transformation of requirements into software primitives: Studying
evolvability based on systems theoretic stability},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1210--1222},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.009},
doi = {10.1016/J.SCICO.2010.11.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MannaertVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Matthes11,
author = {Ralph Matthes},
title = {Map fusion for nested datatypes in intensional type theory},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {204--224},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.008},
doi = {10.1016/J.SCICO.2010.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Matthes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAB11,
author = {Sun Meng and
Farhad Arbab and
Christel Baier},
title = {Synthesis of Reo circuits from scenario-based interaction specifications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {651--680},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.002},
doi = {10.1016/J.SCICO.2010.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MeyersV11,
author = {Bart Meyers and
Hans Vangheluwe},
title = {A framework for evolution of modelling languages},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1223--1246},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.01.002},
doi = {10.1016/J.SCICO.2011.01.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MeyersV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MollerS11,
author = {Anders M{\o}ller and
Michael I. Schwartzbach},
title = {{XML} graphs in program analysis},
journal = {Sci. Comput. Program.},
volume = {76},
number = {6},
pages = {492--515},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.11.007},
doi = {10.1016/J.SCICO.2009.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MollerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MunkbyS11,
author = {Gustav Munkby and
Sibylle Schupp},
title = {Automating exception-safety classification},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {278--289},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.06.004},
doi = {10.1016/J.SCICO.2008.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MunkbyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OanceaW11,
author = {Cosmin E. Oancea and
Stephen M. Watt},
title = {An architecture for generic extensions},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {258--277},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.008},
doi = {10.1016/J.SCICO.2009.09.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OanceaW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OliveiraZC11,
author = {Marcel Oliveira and
Frank Zeyda and
Ana Cavalcanti},
title = {A tactic language for refinement of state-rich concurrent specifications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {792--833},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.012},
doi = {10.1016/J.SCICO.2010.11.012},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OliveiraZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ParraBCD11,
author = {Carlos Parra and
Xavier Blanc and
Anthony Cleve and
Laurence Duchien},
title = {Unifying design and runtime software adaptation using aspect models},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1247--1260},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.12.005},
doi = {10.1016/J.SCICO.2010.12.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ParraBCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PionF11,
author = {Sylvain Pion and
Andreas Fabri},
title = {A generic lazy evaluation scheme for exact geometric computations},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {307--323},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.003},
doi = {10.1016/J.SCICO.2010.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PionF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RamalingamV11,
author = {G. Ramalingam and
Eelco Visser},
title = {Special issue on Partial Evaluation and Program Manipulation (selected
papers from {PEPM} 2007)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {6},
pages = {467--468},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.01.001},
doi = {10.1016/J.SCICO.2011.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RamalingamV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReevesS11,
author = {Steve Reeves and
David Streader},
title = {Contexts, refinement and determinism},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {774--791},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.11.011},
doi = {10.1016/J.SCICO.2010.11.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReevesS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RicciVP11,
author = {Alessandro Ricci and
Mirko Viroli and
Giulio Piancastelli},
title = {simpA: An agent-oriented approach for programming concurrent applications
on top of Java},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {37--62},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.012},
doi = {10.1016/J.SCICO.2010.06.012},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RicciVP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RussellMKB11,
author = {Francis P. Russell and
Michael R. Mellor and
Paul H. J. Kelly and
Olav Beckmann},
title = {{DESOLA:} An active linear algebra library using delayed evaluation
and runtime code generation},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {227--242},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.06.002},
doi = {10.1016/J.SCICO.2008.06.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RussellMKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schellhorn11,
author = {Gerhard Schellhorn},
title = {Completeness of fair {ASM} refinement},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {756--773},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.10.004},
doi = {10.1016/J.SCICO.2009.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schellhorn11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchlichBK11,
author = {Bastian Schlich and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
title = {Application of static analyses for state-space reduction to the microcontroller
binary code},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {100--118},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.006},
doi = {10.1016/J.SCICO.2010.03.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchlichBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchneiderT11,
author = {Steve A. Schneider and
Helen Treharne},
title = {Changing system interfaces consistently: {A} new refinement strategy
for CSP{\(\vert\)}{\(\vert\)}B},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {837--860},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.08.001},
doi = {10.1016/J.SCICO.2010.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchneiderT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShankarS11,
author = {Natarajan Shankar and
K. Subramani},
title = {A mechanical verification of the stressing algorithm for negative
cost cycle detection in networks},
journal = {Sci. Comput. Program.},
volume = {76},
number = {7},
pages = {609--626},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.08.002},
doi = {10.1016/J.SCICO.2010.08.002},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShankarS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Siek11,
author = {Jeremy G. Siek},
title = {Special issue on library-centric software design {(LCSD} 2006)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {225--226},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.005},
doi = {10.1016/J.SCICO.2010.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Siek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SiekL11,
author = {Jeremy G. Siek and
Andrew Lumsdaine},
title = {A language for generic programming in the large},
journal = {Sci. Comput. Program.},
volume = {76},
number = {5},
pages = {423--465},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.09.009},
doi = {10.1016/J.SCICO.2008.09.009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SiekL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SolodkyyJ11,
author = {Yuriy Solodkyy and
Jaakko J{\"{a}}rvi},
title = {Extending type systems in a library: Type-safe {XML} processing in
{C++}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {290--306},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.004},
doi = {10.1016/J.SCICO.2010.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SolodkyyJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SpekK11,
author = {Pieter van der Spek and
Steven Klusener},
title = {Applying a dynamic threshold to improve cluster detection of {LSI}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1261--1274},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.12.004},
doi = {10.1016/J.SCICO.2010.12.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SpekK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TalcottSR11,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
title = {Comparing three coordination models: Reo, ARC, and {PBRD}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {3--22},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.11.006},
doi = {10.1016/J.SCICO.2009.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TalcottSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VillazonBMA11,
author = {Alex Villaz{\'{o}}n and
Walter Binder and
Philippe Moret and
Danilo Ansaloni},
title = {Comprehensive aspect weaving for Java},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {1015--1036},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.007},
doi = {10.1016/J.SCICO.2010.04.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VillazonBMA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WagnerGF11,
author = {Gregor Wagner and
Andreas Gal and
Michael Franz},
title = {"Slimming" a Java virtual machine by way of cold code removal and
optimistic partial program loading},
journal = {Sci. Comput. Program.},
volume = {76},
number = {11},
pages = {1037--1053},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.008},
doi = {10.1016/J.SCICO.2010.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WagnerGF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Weiss11,
author = {Benjamin Wei{\ss}},
title = {Predicate abstraction in a program logic calculus},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {861--876},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.008},
doi = {10.1016/J.SCICO.2010.06.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Weiss11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WongG11,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
title = {Formalisations and applications of {BPMN}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {633--650},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.010},
doi = {10.1016/J.SCICO.2009.09.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WongG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WongG11a,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
title = {Property specifications for workflow modelling},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {942--967},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.007},
doi = {10.1016/J.SCICO.2010.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WongG11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZaidmanB11,
author = {Andy Zaidman and
Johan Brichau},
title = {Preface to the special issue on software evolution, adaptability and
variability},
journal = {Sci. Comput. Program.},
volume = {76},
number = {12},
pages = {1075--1077},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.04.004},
doi = {10.1016/J.SCICO.2011.04.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZaidmanB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 21:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
