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/iandc/iandc204.bht:"
download as .bib file
@article{DBLP:journals/iandc/AbbesB06,
author = {Samy Abbes and
Albert Benveniste},
title = {True-concurrency probabilistic models: Branching cells and distributed
probabilities for event structures},
journal = {Inf. Comput.},
volume = {204},
number = {2},
pages = {231--274},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.10.001},
doi = {10.1016/J.IC.2005.10.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AbbesB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekM06,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Special Issue: Seventh Workshop on Coalgebraic Methods in Computer
Science 2004},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {435--436},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.003},
doi = {10.1016/J.IC.2006.01.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AdamekM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekM06a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Terminal coalgebras and free iterative theories},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1139--1172},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.005},
doi = {10.1016/J.IC.2005.11.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AdamekM06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AilonC06,
author = {Nir Ailon and
Bernard Chazelle},
title = {Information theory in property testing and monotonicity testing in
higher dimension},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1704--1717},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.06.001},
doi = {10.1016/J.IC.2006.06.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AilonC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AriasFKS06,
author = {Marta Arias and
Aaron Feigelson and
Roni Khardon and
Rocco A. Servedio},
title = {Polynomial certificates for propositional classes},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {816--834},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.03.001},
doi = {10.1016/J.IC.2006.03.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AriasFKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArmandoR06,
author = {Alessandro Armando and
Christophe Ringeissen},
title = {Special issue on combining logical systems},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1411--1412},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.005},
doi = {10.1016/J.IC.2006.04.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArmandoR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArvindK06,
author = {Vikraman Arvind and
Piyush P. Kurur},
title = {Graph Isomorphism is in {SPP}},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {835--852},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.002},
doi = {10.1016/J.IC.2006.02.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArvindK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaaderGT06,
author = {Franz Baader and
Silvio Ghilardi and
Cesare Tinelli},
title = {A new combination procedure for the word problem that generalizes
fusion decidability results in modal logics},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1413--1452},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.009},
doi = {10.1016/J.IC.2005.05.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaaderGT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaldwinM06,
author = {John T. Baldwin and
Marco Mazzucco},
title = {Determined theories and limit laws},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1013--1022},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2004.08.005},
doi = {10.1016/J.IC.2004.08.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaldwinM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenthemEK06,
author = {Johan van Benthem and
Jan van Eijck and
Barteld P. Kooi},
title = {Logics of communication and change},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1620--1662},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.006},
doi = {10.1016/J.IC.2006.04.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenthemEK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraM06,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Splitting bisimulations and retrospective conditions},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1083--1138},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.03.003},
doi = {10.1016/J.IC.2006.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BergstraM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlumensathC06,
author = {Achim Blumensath and
Bruno Courcelle},
title = {Recognizability, hypergraph operations, and logical types},
journal = {Inf. Comput.},
volume = {204},
number = {6},
pages = {853--919},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.006},
doi = {10.1016/J.IC.2005.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BlumensathC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BournezCNM06,
author = {Olivier Bournez and
Felipe Cucker and
Paulin Jacob{\'{e}} de Naurois and
Jean{-}Yves Marion},
title = {Implicit complexity over an arbitrary structure: Quantifier alternations},
journal = {Inf. Comput.},
volume = {204},
number = {2},
pages = {210--230},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.07.005},
doi = {10.1016/J.IC.2005.07.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BournezCNM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzanoBCJRRS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
title = {Efficient theory combination via boolean search},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1493--1525},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.011},
doi = {10.1016/J.IC.2005.05.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrihayeBR06,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On model-checking timed automata with stopwatch observers},
journal = {Inf. Comput.},
volume = {204},
number = {3},
pages = {408--433},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.12.001},
doi = {10.1016/J.IC.2005.12.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrihayeBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BuchbinderP06,
author = {Niv Buchbinder and
Erez Petrank},
title = {Lower and upper bounds on obtaining history independence},
journal = {Inf. Comput.},
volume = {204},
number = {2},
pages = {291--337},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.001},
doi = {10.1016/J.IC.2005.11.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BuchbinderP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaludeS06,
author = {Cristian S. Calude and
Michael Stay},
title = {Natural halting probabilities, partial randomness, and zeta functions},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1718--1739},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.07.003},
doi = {10.1016/J.IC.2006.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaludeS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaprettaUV06,
author = {Venanzio Capretta and
Tarmo Uustalu and
Varmo Vene},
title = {Recursive coalgebras from comonads},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {437--468},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.08.005},
doi = {10.1016/J.IC.2005.08.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaprettaUV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CarlucciJKS06,
author = {Lorenzo Carlucci and
Sanjay Jain and
Efim B. Kinber and
Frank Stephan},
title = {Variations on U-shaped learning},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1264--1294},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.001},
doi = {10.1016/J.IC.2006.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CarlucciJKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Cirstea06,
author = {Corina C{\^{\i}}rstea},
title = {A modular approach to defining and characterising notions of simulation},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {469--502},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.04.005},
doi = {10.1016/J.IC.2005.04.005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Cirstea06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DanielsenGP06,
author = {Lars Eirik Danielsen and
T. Aaron Gulliver and
Matthew Geoffrey Parker},
title = {Aperiodic propagation criteria for Boolean functions},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {741--770},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.004},
doi = {10.1016/J.IC.2006.01.004},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DanielsenGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DanosDLP06,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais and
Fran{\c{c}}ois Laviolette and
Prakash Panangaden},
title = {Bisimulation and cocongruence for probabilistic systems},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {503--523},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.02.004},
doi = {10.1016/J.IC.2005.02.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DanosDLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DengS06,
author = {Yuxin Deng and
Davide Sangiorgi},
title = {Ensuring termination by typability},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1045--1082},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.03.002},
doi = {10.1016/J.IC.2006.03.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DengS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DiekertG06,
author = {Volker Diekert and
Paul Gastin},
title = {Pure future local temporal logics are expressively complete for Mazurkiewicz
traces},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1597--1619},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.07.002},
doi = {10.1016/J.IC.2006.07.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DiekertG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat06,
author = {Ernst{-}Erich Doberkat},
title = {Eilenberg-Moore algebras for stochastic relations},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1756--1781},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.09.001},
doi = {10.1016/J.IC.2006.09.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DosaH06,
author = {Gy{\"{o}}rgy D{\'{o}}sa and
Yong He},
title = {Bin packing problems with rejection penalties and their dual problems},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {795--815},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.003},
doi = {10.1016/J.IC.2006.02.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DosaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DuchonHSZ06,
author = {Philippe Duchon and
Nicolas Hanusse and
Nasser Saheb and
Akka Zemmari},
title = {Broadcast in the rendezvous model},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {697--712},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.002},
doi = {10.1016/J.IC.2006.01.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DuchonHSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FioreS06,
author = {Marcelo P. Fiore and
Sam Staton},
title = {Comparing operational models of name-passing process calculi},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {524--560},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.08.004},
doi = {10.1016/J.IC.2005.08.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FioreS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FlescaFG06,
author = {Sergio Flesca and
Filippo Furfaro and
Sergio Greco},
title = {Weighted path queries on semistructured databases},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {679--696},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.12.002},
doi = {10.1016/J.IC.2005.12.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FlescaFG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GanzingerSW06,
author = {Harald Ganzinger and
Viorica Sofronie{-}Stokkermans and
Uwe Waldmann},
title = {Modular proof systems for partial functions with Evans equality},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1453--1492},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.10.002},
doi = {10.1016/J.IC.2005.10.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GanzingerSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GavaldaTT06,
author = {Ricard Gavald{\`{a}} and
Pascal Tesson and
Denis Th{\'{e}}rien},
title = {Learning expressions and programs over monoids},
journal = {Inf. Comput.},
volume = {204},
number = {2},
pages = {177--209},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.09.003},
doi = {10.1016/J.IC.2005.09.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GavaldaTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GenestKM06,
author = {Blaise Genest and
Dietrich Kuske and
Anca Muscholl},
title = {A Kleene theorem and model checking algorithms for existentially bounded
communicating automata},
journal = {Inf. Comput.},
volume = {204},
number = {6},
pages = {920--956},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.005},
doi = {10.1016/J.IC.2006.01.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GenestKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GiacobazziR06,
author = {Roberto Giacobazzi and
Francesco Ranzato},
title = {Incompleteness of states w.r.t. traces in model checking},
journal = {Inf. Comput.},
volume = {204},
number = {3},
pages = {376--407},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.001},
doi = {10.1016/J.IC.2006.01.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GiacobazziR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HaackJ06,
author = {Christian Haack and
Alan Jeffrey},
title = {Pattern-matching spi-calculus},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1195--1263},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.004},
doi = {10.1016/J.IC.2006.04.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HaackJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HartmanS06,
author = {Tzvika Hartman and
Ron Shamir},
title = {A simpler and faster 1.5-approximation algorithm for sorting by transpositions},
journal = {Inf. Comput.},
volume = {204},
number = {2},
pages = {275--290},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.09.002},
doi = {10.1016/J.IC.2005.09.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HartmanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Herrmann06,
author = {Christian Herrmann},
title = {Corrigendum to "On the undecidability of implications between embedded
multivalued database dependencies" [Inform. and Comput. 122(1995)
221-235]},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1847--1851},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.09.002},
doi = {10.1016/J.IC.2006.09.002},
timestamp = {Sun, 19 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Herrmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Jacobs06,
author = {Bart Jacobs},
title = {Distributive laws for the coinductive solution of recursive equations},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {561--587},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.03.006},
doi = {10.1016/J.IC.2005.03.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Jacobs06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainK06,
author = {Sanjay Jain and
Efim B. Kinber},
title = {Learning languages from positive data and a finite number of queries},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {123--175},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.09.001},
doi = {10.1016/J.IC.2005.09.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KickPS06,
author = {Marco Kick and
John Power and
Alex Simpson},
title = {Coalgebraic semantics for timed processes},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {588--609},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.003},
doi = {10.1016/J.IC.2005.11.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KickPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kieronski06,
author = {Emanuel Kieronski},
title = {On the complexity of the two-variable guarded fragment with transitive
guards},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1663--1703},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.08.001},
doi = {10.1016/J.IC.2006.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Kieronski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lange06,
author = {Martin Lange},
title = {The alternation hierarchy in fixpoint logic with chop is strict too},
journal = {Inf. Comput.},
volume = {204},
number = {9},
pages = {1346--1367},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.05.001},
doi = {10.1016/J.IC.2006.05.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lange06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LiuC06,
author = {Lihua Liu and
Zhengjun Cao},
title = {On computing ord\({}_{\mbox{N}}\)(2) and its application},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1173--1178},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.003},
doi = {10.1016/J.IC.2006.04.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LiuC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lucas06,
author = {Salvador Lucas},
title = {Proving termination of context-sensitive rewriting by transformation},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1782--1846},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.07.001},
doi = {10.1016/J.IC.2006.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lucas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LuoS06,
author = {Wei Luo and
Oliver Schulte},
title = {Mind change efficient learning},
journal = {Inf. Comput.},
volume = {204},
number = {6},
pages = {989--1011},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.004},
doi = {10.1016/J.IC.2006.02.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LuoS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lv06,
author = {Jiqiang Lv},
title = {On two {DES} implementations secure against differential power analysis
in smart-cards},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1179--1193},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.002},
doi = {10.1016/J.IC.2006.04.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lv06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MateusS06,
author = {Paulo Mateus and
Am{\'{\i}}lcar Sernadas},
title = {Weakly complete axiomatization of exogenous quantum propositional
logic},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {771--794},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.001},
doi = {10.1016/J.IC.2006.02.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MateusS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MengQP06,
author = {Jia Meng and
Claire Quigley and
Lawrence C. Paulson},
title = {Automation for interactive proof: First prototype},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1575--1596},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.010},
doi = {10.1016/J.IC.2005.05.010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MengQP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MengQP06a,
author = {Jia Meng and
Claire Quigley and
Lawrence C. Paulson},
title = {Erratum to "Automation for interactive proof: First prototype" [Inform.
and Comput. 204(2006) 1575-1596]},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1852},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.09.004},
doi = {10.1016/J.IC.2006.09.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MengQP06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Milner06,
author = {Robin Milner},
title = {Pure bigraphs: Structure and dynamics},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {60--122},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.07.003},
doi = {10.1016/J.IC.2005.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Milner06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MossV06,
author = {Lawrence S. Moss and
Ignacio D. Viglizzo},
title = {Final coalgebras for functors on measurable spaces},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {610--636},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.04.006},
doi = {10.1016/J.IC.2005.04.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MossV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Nowak06,
author = {David Nowak},
title = {Synchronous structures},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1295--1324},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2001.05.001},
doi = {10.1016/J.IC.2001.05.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Nowak06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Paolini06,
author = {Luca Paolini},
title = {A stable programming language},
journal = {Inf. Comput.},
volume = {204},
number = {3},
pages = {339--375},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.002},
doi = {10.1016/J.IC.2005.11.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Paolini06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rabinovich06,
author = {Alexander Rabinovich},
title = {Quantitative analysis of probabilistic lossy channel systems},
journal = {Inf. Comput.},
volume = {204},
number = {5},
pages = {713--740},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.004},
doi = {10.1016/J.IC.2005.11.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rabinovich06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RabinovichS06,
author = {Alexander Rabinovich and
Philippe Schnoebelen},
title = {BTL\({}_{\mbox{2}}\) and the expressive power of ECTL\({}^{\mbox{+}}\)},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1023--1044},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.07.006},
doi = {10.1016/J.IC.2005.07.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RabinovichS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RodehS06,
author = {Yoav Rodeh and
Ofer Strichman},
title = {Building small equality graphs for deciding equality logic with uninterpreted
functions},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {26--59},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.08.001},
doi = {10.1016/J.IC.2005.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RodehS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SalomaaY06,
author = {Arto Salomaa and
Sheng Yu},
title = {Subword conditions and subword histories},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1741--1755},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.09.003},
doi = {10.1016/J.IC.2006.09.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SalomaaY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Schnorr06,
author = {Claus{-}Peter Schnorr},
title = {Fast LLL-type lattice reduction},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {1--25},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.04.004},
doi = {10.1016/J.IC.2005.04.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Schnorr06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Simonsen06,
author = {Jakob Grue Simonsen},
title = {On modularity in infinitary term rewriting},
journal = {Inf. Comput.},
volume = {204},
number = {6},
pages = {957--988},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.005},
doi = {10.1016/J.IC.2006.02.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Simonsen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SteffenG06,
author = {Peter Steffen and
Robert Giegerich},
title = {Table design in dynamic programming},
journal = {Inf. Comput.},
volume = {204},
number = {9},
pages = {1325--1345},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.02.006},
doi = {10.1016/J.IC.2006.02.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SteffenG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Venema06,
author = {Yde Venema},
title = {Automata and fixed point logic: {A} coalgebraic perspective},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {637--678},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.06.003},
doi = {10.1016/J.IC.2005.06.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Venema06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YounesS06,
author = {H{\aa}kan L. S. Younes and
Reid G. Simmons},
title = {Statistical probabilistic model checking with a focus on time-bounded
properties},
journal = {Inf. Comput.},
volume = {204},
number = {9},
pages = {1368--1409},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.05.002},
doi = {10.1016/J.IC.2006.05.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/YounesS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ZhangSM06,
author = {Ting Zhang and
Henny B. Sipma and
Zohar Manna},
title = {Decision procedures for term algebras with integer constraints},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1526--1574},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.03.004},
doi = {10.1016/J.IC.2006.03.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ZhangSM06.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-23 11:57 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:
