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/jlp/jlp79.bht:"
download as .bib file
@article{DBLP:journals/jlp/AgrigoroaieiC10,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
title = {Reversing computation in membrane systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {278--288},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.003},
doi = {10.1016/J.JLAP.2010.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AgrigoroaieiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AgrigoroaieiC10a,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
title = {Rule-based and object-based event structures for membrane systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {295--303},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.010},
doi = {10.1016/J.JLAP.2010.03.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AgrigoroaieiC10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BalbianiT10,
author = {Philippe Balbiani and
Tinko Tinchev},
title = {Boolean logics with relations},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {707--721},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.012},
doi = {10.1016/J.JLAP.2010.07.012},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BalbianiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BanachJ10,
author = {Richard Banach and
Czeslaw Jeske},
title = {Stronger compositions for retrenchments},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {215--232},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.10.002},
doi = {10.1016/J.JLAP.2009.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BanachJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbutiMMT10,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {Compositional semantics of spiking neural {P} systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {304--316},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.011},
doi = {10.1016/J.JLAP.2010.03.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbutiMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerK10,
author = {Rudolf Berghammer and
Britta Kehden},
title = {Relation-algebraic specification and solution of special university
timetabling problems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {722--739},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.013},
doi = {10.1016/J.JLAP.2010.07.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerMS10,
author = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Relations and Kleene algebras in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {705--706},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.011},
doi = {10.1016/J.JLAP.2010.07.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Beringer10,
author = {Lennart Beringer},
title = {Relational bytecode correlations},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {483--514},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.005},
doi = {10.1016/J.JLAP.2010.07.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Beringer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Bridges10,
author = {Douglas S. Bridges},
title = {Continuity and Lipschitz constants for projections},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {2--9},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.002},
doi = {10.1016/J.JLAP.2009.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Bridges10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CarufelD10,
author = {Jean{-}Lou De Carufel and
Jules Desharnais},
title = {Abstract representation theorems for demonic refinement algebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {740--767},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.014},
doi = {10.1016/J.JLAP.2010.07.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CarufelD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CeciliaGGMPP10,
author = {Jos{\'{e}} M. Cecilia and
Jos{\'{e}} M. Garc{\'{\i}}a and
Gin{\'{e}}s D. Guerrero and
Miguel A. Mart{\'{\i}}nez{-}del{-}Amor and
Ignacio P{\'{e}}rez{-}Hurtado and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
title = {Simulating a {P} system based efficient solution to {SAT} by using
GPUs},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {317--325},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.008},
doi = {10.1016/J.JLAP.2010.03.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CeciliaGGMPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChiraSS10,
author = {Camelia Chira and
Traian{-}Florin Serbanuta and
Gheorghe Stefanescu},
title = {P systems with control nuclei: The concept},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {326--333},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.006},
doi = {10.1016/J.JLAP.2010.03.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChiraSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DegenTW10,
author = {Markus Degen and
Peter Thiemann and
Stefan Wehr},
title = {Eager and delayed contract monitoring for call-by-value and call-by-name
evaluation},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {515--549},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.006},
doi = {10.1016/J.JLAP.2010.07.006},
timestamp = {Fri, 07 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DegenTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DemangeonHS10,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
title = {Termination in higher-order concurrent calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {550--577},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.007},
doi = {10.1016/J.JLAP.2010.07.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DemangeonHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Diaconescu10,
author = {Razvan Diaconescu},
title = {Quasi-boolean encodings and conditionals in algebraic specification},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {2},
pages = {174--188},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.09.001},
doi = {10.1016/J.JLAP.2009.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Diaconescu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DinneenKN10,
author = {Michael J. Dinneen and
Yun{-}Bum Kim and
Radu Nicolescu},
title = {P systems and the Byzantine agreement},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {334--349},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.004},
doi = {10.1016/J.JLAP.2010.03.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DinneenKN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DovlandJOS10,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
title = {Lazy behavioral subtyping},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {578--607},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.008},
doi = {10.1016/J.JLAP.2010.07.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DovlandJOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Esik10,
author = {Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing the equational theory of regular tree languages},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {2},
pages = {189--213},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.10.001},
doi = {10.1016/J.JLAP.2009.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Esik10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FranzleTE10,
author = {Martin Fr{\"{a}}nzle and
Tino Teige and
Andreas Eggers},
title = {Engineering constraint solvers for automatic analysis of probabilistic
hybrid automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {436--466},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.003},
doi = {10.1016/J.JLAP.2010.07.003},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FranzleTE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Guttmann10,
author = {Walter Guttmann},
title = {Imperative abstractions for functional actions},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {768--793},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.015},
doi = {10.1016/J.JLAP.2010.07.015},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Guttmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GuttmannM10,
author = {Walter Guttmann and
Bernhard M{\"{o}}ller},
title = {Normal design algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {2},
pages = {144--173},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.07.002},
doi = {10.1016/J.JLAP.2009.07.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GuttmannM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Heckmann10,
author = {Reinhold Heckmann},
title = {Similarity, topology, and uniformity},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {10--31},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.003},
doi = {10.1016/J.JLAP.2009.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Heckmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerS10,
author = {Peter H{\"{o}}fner and
Georg Struth},
title = {Algebraic notions of nontermination: Omega and divergence in idempotent
semirings},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {794--811},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.016},
doi = {10.1016/J.JLAP.2010.07.016},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HofnerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HuangJL10,
author = {Xiaowei Huang and
Li Jiao and
Weiming Lu},
title = {A precongruence format for should testing preorder},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {245--263},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.001},
doi = {10.1016/J.JLAP.2010.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HuangJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/IpateGL10,
author = {Florentin Ipate and
Marian Gheorghe and
Raluca Lefticaru},
title = {Test generation from {P} systems using model checking},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {350--362},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.007},
doi = {10.1016/J.JLAP.2010.03.007},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/IpateGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Kahl10,
author = {Wolfram Kahl},
title = {Determinisation of relational substitutions in ordered categories
with domain},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {812--829},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.017},
doi = {10.1016/J.JLAP.2010.07.017},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Kahl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KawaharaW10,
author = {Yasuo Kawahara and
Michael Winter},
title = {Cardinality functions in allegories},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {8},
pages = {830--844},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.018},
doi = {10.1016/J.JLAP.2010.07.018},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KawaharaW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KirchnerM10,
author = {Florent Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {The proof monad},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {264--277},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.002},
doi = {10.1016/J.JLAP.2010.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KirchnerM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KorovinaV10,
author = {Margarita V. Korovina and
Nicolai N. Vorobjov Jr.},
title = {Computing combinatorial types of trajectories in Pfaffian Dynamics},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {32--37},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.004},
doi = {10.1016/J.JLAP.2009.02.004},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KorovinaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MancaM10,
author = {Vincenzo Manca and
Luca Marchetti},
title = {Metabolic approximation of real periodical functions},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {363--373},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.005},
doi = {10.1016/J.JLAP.2010.03.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MancaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Martinez-del-AmorPPR10,
author = {Miguel A. Mart{\'{\i}}nez{-}del{-}Amor and
Ignacio P{\'{e}}rez{-}Hurtado and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Agustin Riscos{-}N{\'{u}}{\~{n}}ez},
title = {A P-Lingua based simulator for tissue {P} systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {374--382},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.009},
doi = {10.1016/J.JLAP.2010.03.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Martinez-del-AmorPPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MeseguerPM10,
author = {Jos{\'{e}} Meseguer and
Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Algebraic simulations},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {2},
pages = {103--143},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.07.003},
doi = {10.1016/J.JLAP.2009.07.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MeseguerPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MooijSV10,
author = {Arjan J. Mooij and
Christian Stahl and
Marc Voorhoeve},
title = {Relating fair testing and accordance for service replaceability},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {233--244},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.12.001},
doi = {10.1016/J.JLAP.2009.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MooijSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Morozov10,
author = {Andrei S. Morozov},
title = {On computable presentations of some functional lattices},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {38--46},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.001},
doi = {10.1016/J.JLAP.2009.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Morozov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NguyenKG10,
author = {Van Nguyen and
David A. Kearney and
Gianpaolo Gioiosa},
title = {An extensible, maintainable and elegant approach to hardware source
code generation in Reconfig-P},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {383--396},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.013},
doi = {10.1016/J.JLAP.2010.03.013},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NguyenKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NigglW10,
author = {Karl{-}Heinz Niggl and
Henning Wunderlich},
title = {Implicit characterizations of {FPTIME} and {NC} revisited},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {47--60},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.005},
doi = {10.1016/J.JLAP.2009.02.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NigglW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Paun10,
author = {Gheorghe Paun},
title = {A quick introduction to membrane computing},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {291--294},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.04.002},
doi = {10.1016/J.JLAP.2010.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Paun10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaunPS10,
author = {Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Gheorghe Stefanescu},
title = {Membrane computing and programming},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {289--290},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.05.001},
doi = {10.1016/J.JLAP.2010.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaunPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Prisacariu10,
author = {Cristian Prisacariu},
title = {Synchronous Kleene algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {608--635},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.009},
doi = {10.1016/J.JLAP.2010.07.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Prisacariu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RossiniRLW10,
author = {Alessandro Rossini and
Adrian Rutle and
Yngve Lamo and
Uwe Wolter},
title = {A formalisation of the copy-modify-merge approach to version control
in {MDE}},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {636--658},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.10.003},
doi = {10.1016/J.JLAP.2009.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RossiniRLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RosuS10,
author = {Grigore Rosu and
Traian{-}Florin Serbanuta},
title = {An overview of the {K} semantic framework},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {397--434},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.012},
doi = {10.1016/J.JLAP.2010.03.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RosuS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Schellekens10,
author = {Michel P. Schellekens},
title = {MO2A; unlocking the potential of compositional static average-case
analysis},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {61--83},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.006},
doi = {10.1016/J.JLAP.2009.02.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Schellekens10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchernhammerG10,
author = {Felix Schernhammer and
Bernhard Gramlich},
title = {Characterizing and proving operational termination of deterministic
conditional term rewriting systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {659--688},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.08.001},
doi = {10.1016/J.JLAP.2009.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SchernhammerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Schuster10,
author = {Peter Schuster},
title = {Problems, solutions, and completions},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {84--91},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.007},
doi = {10.1016/J.JLAP.2009.02.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Schuster10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Selivanov10,
author = {Victor L. Selivanov},
title = {On the Wadge reducibility of k-partitions},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {92--102},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.02.008},
doi = {10.1016/J.JLAP.2009.02.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Selivanov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Sieber10,
author = {Kurt Sieber},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {1},
pages = {1},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2009.01.002},
doi = {10.1016/J.JLAP.2009.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Sieber10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ThraneFL10,
author = {Claus R. Thrane and
Uli Fahrenberg and
Kim G. Larsen},
title = {Quantitative analysis of weighted transition systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {689--703},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.010},
doi = {10.1016/J.JLAP.2010.07.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ThraneFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/UustaluV10,
author = {Tarmo Uustalu and
J{\"{u}}ri Vain},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {435},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.002},
doi = {10.1016/J.JLAP.2010.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/UustaluV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/VeanesJ10,
author = {Margus Veanes and
Jonathan Jacky},
title = {Composing model programs for analysis},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {467--482},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.004},
doi = {10.1016/J.JLAP.2010.07.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/VeanesJ10.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-04-25 07:23 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:
