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/jucs/jucs11.bht:"
download as .bib file
@article{DBLP:journals/jucs/AbrahamTSJ05,
author = {Ajith Abraham and
Johnson P. Thomas and
Sugata Sanyal and
Lakhmi C. Jain},
title = {Information Assurance and Security},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {1--3},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_1/information\_assurance\_and\_security},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/AbrahamTSJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AbrialC05,
author = {Jean{-}Raymond Abrial and
Dominique Cansell},
title = {Formal Construction of a Non-blocking Concurrent Queue Algorithm (a
Case Study in Atomicity)},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {744--770},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0744},
doi = {10.3217/JUCS-011-05-0744},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AbrialC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AdelsteiAJR05,
author = {Frank Adelstein and
Prasanth Alla and
Robert A. Joyce and
Golden G. Richard III},
title = {Physically Locating Wireless Intruders},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {4--19},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0004},
doi = {10.3217/JUCS-011-01-0004},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AdelsteiAJR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Aguilar-RuizF05,
author = {Jes{\'{u}}s S. Aguilar{-}Ruiz and
Francisco J. Ferrer{-}Troyano},
title = {Visual Data Mining},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1749--1751},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_11/visual\_data\_mining},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Aguilar-RuizF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Aguilar-RuizG05,
author = {Jes{\'{u}}s S. Aguilar{-}Ruiz and
Jo{\~{a}}o Gama},
title = {Data Streams {J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1349--1352},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_8/data\_streams},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Aguilar-RuizG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AmaroPR05,
author = {Silvia Amaro and
Ernesto Pimentel and
Ana M. Rold{\'{a}}n},
title = {Coordinating Behavioral Descriptions of Components},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1676--1694},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1676},
doi = {10.3217/JUCS-011-10-1676},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AmaroPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ArbabK05,
author = {Farhad Arbab and
Joost N. Kok},
title = {Compositional Construction and Reasoning Techniques for Software},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1577--1579},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_10/compositional\_construction\_and\_reasoning},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ArbabK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AtzmullerP05,
author = {Martin Atzm{\"{u}}ller and
Frank Puppe},
title = {Semi-Automatic Visual Subgroup Mining using {VIKAMINE}},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1752--1765},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1752},
doi = {10.3217/JUCS-011-11-1752},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AtzmullerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BaCAM05,
author = {Cheikh Ba and
Marcos Aur{\'{e}}lio Carrero and
Mirian Halfeld Ferrari Alves and
Martin A. Musicante},
title = {{PEWS:} {A} New Language for Building Web Service Interfaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1215--1233},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1215},
doi = {10.3217/JUCS-011-07-1215},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BaCAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BagheriR05,
author = {Alireza Bagheri and
Mohammadreza Razzazi},
title = {How to Draw Free Trees Inside Bounded Simple Polygons},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {804--829},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0804},
doi = {10.3217/JUCS-011-06-0804},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BagheriR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Baier05,
author = {Christel Baier},
title = {Probabilistic Models for Reo Connector Circuits},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1718--1748},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1718},
doi = {10.3217/JUCS-011-10-1718},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Baier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Baroni05,
author = {Marian Alexandru Baroni},
title = {Constructive Suprema},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1865--1877},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1865},
doi = {10.3217/JUCS-011-12-1865},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Baroni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BergelDN05,
author = {Alexandre Bergel and
St{\'{e}}phane Ducasse and
Oscar Nierstrasz},
title = {Analyzing Module Diversity},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1613--1644},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1613},
doi = {10.3217/JUCS-011-10-1613},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BergelDN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Berger05,
author = {Josef Berger},
title = {Constructive Equivalents of the Uniform Continuity Theorem},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1878--1883},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1878},
doi = {10.3217/JUCS-011-12-1878},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Berger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BohmEHWD05,
author = {Karsten B{\"{o}}hm and
Wolf Engelbach and
J{\"{o}}rg H{\"{a}}rtwig and
Martin Wilcken and
Martin Delp},
title = {Modelling and Implementing Pre-built Information Spaces. Architecture
and Methods for Process Oriented Knowledge Management},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {605--633},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0605},
doi = {10.3217/JUCS-011-04-0605},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BohmEHWD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BoisTL05,
author = {Andr{\'{e}} Rauber Du Bois and
Philip W. Trinder and
Hans{-}Wolfgang Loidl},
title = {mHaskell: Mobile Computation in a Purely Functional Language},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1234--1254},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1234},
doi = {10.3217/JUCS-011-07-1234},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BoisTL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BrattkaD05,
author = {Vasco Brattka and
Ruth Dillhage},
title = {Computability of the Spectrum of Self-Adjoint Operators},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1884--1900},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1884},
doi = {10.3217/JUCS-011-12-1884},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BrattkaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BravoFP05,
author = {Jos{\'{e}} Bravo and
Baltasar Fern{\'{a}}ndez{-}Manj{\'{o}}n and
Juan Manuel S{\'{o}}nchez P{\'{e}}rez},
title = {Computers and Education: Research and Experiences in eLearning Technology
{J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1454--1457},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_9/computers\_and\_education\_research},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BravoFP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BravoHC05,
author = {Jos{\'{e}} Bravo and
Ram{\'{o}}n Herv{\'{a}}s and
Gabriel Chavira},
title = {Ubiquitous Computing in the Classroom: An Approach through Identification
Process},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1494--1504},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1494},
doi = {10.3217/JUCS-011-09-1494},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BravoHC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BravoMGEM05,
author = {Crescencio Bravo and
Maria Jos{\'{e}} Marcelino and
Anabela Jesus Gomes and
Micaela Esteves and
Ant{\'{o}}nio Jos{\'{e}} Mendes},
title = {Integrating Educational Tools for Collaborative Computer Programming
Learning},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1505--1517},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1505},
doi = {10.3217/JUCS-011-09-1505},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BravoMGEM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BurkhardM05,
author = {Remo Aslak Burkhard and
Michael Meier},
title = {Tube Map Visualization: Evaluation of a Novel Knowledge Visualization
Application for the Transfer of Knowledge in Long-Term Projects},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {473--494},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0473},
doi = {10.3217/JUCS-011-04-0473},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BurkhardM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Burton05,
author = {Jon Burton},
title = {Relaxing Atomicity and Verifying Correctness: Considering the Case
of an Asynchronous Communication Mechanism},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {771--802},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0771},
doi = {10.3217/JUCS-011-05-0771},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Burton05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BurtonJ05,
author = {Jon Burton and
Cliff B. Jones},
title = {Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar
04181) {J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {634--635},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_5/atomicity\_in\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BurtonJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BurtonJ05a,
author = {Jon Burton and
Cliff B. Jones},
title = {Investigating Atomicity and Observability},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {661--686},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0661},
doi = {10.3217/JUCS-011-05-0661},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BurtonJ05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ButlerFN05,
author = {Michael J. Butler and
Carla Ferreira and
Muan Yong Ng},
title = {Precise Modelling of Compensating Business Transactions and its Application
to {BPEL}},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {712--743},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0712},
doi = {10.3217/JUCS-011-05-0712},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ButlerFN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CachoBF05,
author = {N{\'{e}}lio Cacho and
Tha{\'{\i}}s Vasconcelos Batista and
Fabr{\'{\i}}cio de Alexandria Fernandes},
title = {AspectLua - {A} Dynamic {AOP} Approach},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1177--1197},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1177},
doi = {10.3217/JUCS-011-07-1177},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CachoBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Caeiro-RodriguezLA05,
author = {Manuel Caeiro Rodr{\'{\i}}guez and
Mart{\'{\i}}n Llamas Nistal and
Luis E. Anido{-}Rif{\'{o}}n},
title = {From Contents to Activities: Modelling Units of Learning},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1458--1469},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1458},
doi = {10.3217/JUCS-011-09-1458},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Caeiro-RodriguezLA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CaludeI05,
author = {Cristian S. Calude and
Hajime Ishihara},
title = {Constructivity, Computability, and Logic {A} Collection of Papers
in Honour of the 60th Birthday of Douglas Bridges},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1863--1865},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_12/constructivity\_computability\_and\_logic},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CaludeI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CaoBROAZB05,
author = {Fei Cao and
Barrett R. Bryant and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston and
Wei Zhao and
Carol C. Burt},
title = {A Non-Invasive Approach to Assertive and Autonomous Dynamic Component
Composition in the Service-Oriented Paradigm},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1645--1675},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1645},
doi = {10.3217/JUCS-011-10-1645},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CaoBROAZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Capkovic05,
author = {Frantisek Capkovic},
title = {An Application of the {DEDS} Control Synthesis Method},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {303--326},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0303},
doi = {10.3217/JUCS-011-02-0303},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Capkovic05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CasolaPRT05,
author = {Valentina Casola and
Rosa Preziosi and
Massimiliano Rak and
Luigi Troiano},
title = {A Reference Model for Security Level Evaluation: Policy and Fuzzy
Techniques},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {150--174},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0150},
doi = {10.3217/JUCS-011-01-0150},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CasolaPRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Chaitin05,
author = {Gregory J. Chaitin},
title = {Algorithmic Irreducibility in a Cellular Automata Universe},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1901--1903},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1901},
doi = {10.3217/JUCS-011-12-1901},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Chaitin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Clark05,
author = {Jeremy Clark},
title = {Constructive Analysis of Iterated Rational Functions},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1904--1931},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1904},
doi = {10.3217/JUCS-011-12-1904},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Clark05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CoquandS05,
author = {Thierry Coquand and
Bas Spitters},
title = {Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida
Representation Theorems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1932--1944},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1932},
doi = {10.3217/JUCS-011-12-1932},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CoquandS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CruzBO05,
author = {A. Miguel Cruz and
Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
title = {From Algebras to Objects: Generation and Composition},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1580--1612},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1580},
doi = {10.3217/JUCS-011-10-1580},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CruzBO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CvejicS05,
author = {Nedeljko Cvejic and
Tapio Sepp{\"{a}}nen},
title = {Increasing Robustness of {LSB} Audio Steganography by Reduced Distortion
{LSB} Coding},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {56--65},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0056},
doi = {10.3217/JUCS-011-01-0056},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CvejicS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Dalen05,
author = {Dirk van Dalen},
title = {How the Mathematical Objects Determine the Mathematical Principles},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2132--2141},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2132},
doi = {10.3217/JUCS-011-12-2132},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Dalen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/DelisMS05,
author = {Vasilis Delis and
Christos Makris and
Spyros Sioutas},
title = {A Provably Efficient Computational Model For Approximate Spatiotemporal
Retrieval},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {830--849},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0830},
doi = {10.3217/JUCS-011-06-0830},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/DelisMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/DoderoDAS05,
author = {Juan Manuel Dodero and
Paloma D{\'{\i}}az and
Ignacio Aedo and
Antonio Sarasa Cabezuelo},
title = {Integrating Ontologies into the Collaborative Authoring of Learning
Objects},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1568--1578},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1568},
doi = {10.3217/JUCS-011-09-1568},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/DoderoDAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Dustdar05,
author = {Schahram Dustdar},
title = {Reconciling Knowledge Management and Workflow Management Systems:
The Activity-Based Knowledge Management Approach},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {589--604},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0589},
doi = {10.3217/JUCS-011-04-0589},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Dustdar05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/EkwallS05,
author = {Richard Ekwall and
Andr{\'{e}} Schiper},
title = {Replication: Understanding the Advantage of Atomic Broadcast over
Quorum Systems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {703--711},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0703},
doi = {10.3217/JUCS-011-05-0703},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/EkwallS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ElramlyHEH05,
author = {Nabaway El{-}Ramly and
A. S. Habib and
Omar S. Essa and
Hani M. Harb},
title = {Analysis, Design, and Performance Evaluation of {MS-RTCP:} More Scalable
Scheme for the Real-Time Control Protocol},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {874--897},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0874},
doi = {10.3217/JUCS-011-06-0874},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ElramlyHEH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Ferrer-TroyanoAR05,
author = {Francisco J. Ferrer{-}Troyano and
Jes{\'{u}}s S. Aguilar{-}Ruiz and
Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos},
title = {Connecting Segments for Visual Data Exploration and Interactive Mining
of Decision Rules},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1835--1848},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1835},
doi = {10.3217/JUCS-011-11-1835},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Ferrer-TroyanoAR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Ferrer-TroyanoAS05,
author = {Francisco J. Ferrer{-}Troyano and
Jes{\'{u}}s S. Aguilar{-}Ruiz and
Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos},
title = {Incremental Rule Learning and Border Examples Selection from Numerical
Data Streams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1426--1439},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1426},
doi = {10.3217/JUCS-011-08-1426},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Ferrer-TroyanoAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/FerreroMAF05,
author = {Bego{\~{n}}a Ferrero and
Maite Mart{\'{\i}}n and
Ainhoa Alvarez and
Maite Urretavizcaya and
Isabel Fern{\'{a}}ndez{-}Castro},
title = {Authoring and Diagnosis of Learning Activities with the {KADD} {ET}
Environment},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1530--1542},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1530},
doi = {10.3217/JUCS-011-09-1530},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/FerreroMAF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ForziP05,
author = {Tomaso Forzi and
Meikel Peters},
title = {A Methodology and a Toolkit that Integrate Technological, Organisational,
and Human Factors to Design {KM} within Knowledge-Intensive Networks},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {495--525},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0495},
doi = {10.3217/JUCS-011-04-0495},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ForziP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GaberKZ05,
author = {Mohamed Medhat Gaber and
Shonali Krishnaswamy and
Arkady B. Zaslavsky},
title = {Resource-aware Mining of Data Streams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1440--1453},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1440},
doi = {10.3217/JUCS-011-08-1440},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GaberKZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GamaM05,
author = {Jo{\~{a}}o Gama and
Pedro Medas},
title = {Learning Decision Trees from Dynamic Data Streams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1353--1366},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1353},
doi = {10.3217/JUCS-011-08-1353},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GamaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GaoWW05,
author = {Like Gao and
Min Wang and
Xiaoyang Sean Wang},
title = {Evaluating Trigger Conditions on Streaming Time Series with User-given
Quality Requirements},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1397--1410},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1397},
doi = {10.3217/JUCS-011-08-1397},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GaoWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Garcia-OsorioF05,
author = {C{\'{e}}sar Ignacio Garc{\'{\i}}a{-}Osorio and
Colin Fyfe},
title = {Visualization of High-dimensional Data via Orthogonal Curves},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1806--1819},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1806},
doi = {10.3217/JUCS-011-11-1806},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Garcia-OsorioF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GecowNP05,
author = {Andrzej Gecow and
Mariusz Nowostawski and
Martin K. Purvis},
title = {Structural Tendencies in Complex Systems Development and their Implication
for Software Systems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {327--356},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0327},
doi = {10.3217/JUCS-011-02-0327},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GecowNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Girgis05,
author = {Moheb R. Girgis},
title = {Automatic Test Data Generation for Data Flow Testing Using a Genetic
Algorithm},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {898--915},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0898},
doi = {10.3217/JUCS-011-06-0898},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Girgis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Goldblatt05,
author = {Robert Goldblatt},
title = {Axiomatic Classes of Intuitionistic Models},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1945--1962},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1945},
doi = {10.3217/JUCS-011-12-1945},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Goldblatt05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GronauMK05,
author = {Norbert Gronau and
Claudia M{\"{u}}ller and
Roman Korf},
title = {{KMDL} - Capturing, Analysing and Improving Knowledge-Intensive Business
Processes},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {452--472},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0452},
doi = {10.3217/JUCS-011-04-0452},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GronauMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Havea05,
author = {Robin Havea},
title = {On Firmness of the State Space and Positive Elements of a Banach Algebra},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1963--1969},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1963},
doi = {10.3217/JUCS-011-12-1963},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Havea05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HeCYSGS05,
author = {Fei He and
Lerong Cheng and
Guowu Yang and
Xiaoyu Song and
Ming Gu and
Jia{-}Guang Sun},
title = {On Theoretical Upper Bounds for Routing Estimation},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {916--925},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0916},
doi = {10.3217/JUCS-011-06-0916},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/HeCYSGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Hertling05,
author = {Peter Hertling},
title = {Nonrandom Sequences between Random Sequences},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1970--1985},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1970},
doi = {10.3217/JUCS-011-12-1970},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Hertling05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HinumMAOPPR05,
author = {Klaus Hinum and
Silvia Miksch and
Wolfgang Aigner and
Susanne Ohmann and
Christian Popow and
Margit Pohl and
Markus Rester},
title = {Gravi++: Interactive Information Visualization to Explore Highly Structured
Temporal Data},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1792--1805},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1792},
doi = {10.3217/JUCS-011-11-1792},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/HinumMAOPPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/IerusalimschyFF05,
author = {Roberto Ierusalimschy and
Luiz Henrique de Figueiredo and
Waldemar Celes Filho},
title = {The Implementation of Lua 5.0},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1159--1176},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1159},
doi = {10.3217/JUCS-011-07-1159},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/IerusalimschyFF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/JanevV05,
author = {Valentina Janev and
Sanja Vranes},
title = {The Role of Knowledge Management Solutions in Enterprise Business
Processes},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {526--545},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0526},
doi = {10.3217/JUCS-011-04-0526},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/JanevV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/JoglekarT05,
author = {Sachin P. Joglekar and
Stephen R. Tate},
title = {ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection
and Prevention},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {83--103},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0083},
doi = {10.3217/JUCS-011-01-0083},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/JoglekarT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/JonesLRW05,
author = {Cliff B. Jones and
David B. Lomet and
Alexander B. Romanovsky and
Gerhard Weikum},
title = {The Atomic Manifesto},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {636--651},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0636},
doi = {10.3217/JUCS-011-05-0636},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/JonesLRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Jung05,
author = {Jason J. Jung},
title = {Collaborative Web Browsing Based on Semantic Extraction of User Interests
with Bookmarks},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {213--228},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0213},
doi = {10.3217/JUCS-011-02-0213},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Jung05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Jung05a,
author = {Jason J. Jung},
title = {Semantic Preprocessing of Web Request Streams for Web Usage Mining},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1383--1396},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1383},
doi = {10.3217/JUCS-011-08-1383},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Jung05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Jung05b,
author = {Jason J. Jung},
title = {Visualizing Recommendation Flow on Social Network},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1780--1791},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1780},
doi = {10.3217/JUCS-011-11-1780},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Jung05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Katarzyniak05,
author = {Radoslaw P. Katarzyniak},
title = {The Language Grounding Problem and its Relation to the Internal Structure
of Cognitive Agents},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {357--374},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0357},
doi = {10.3217/JUCS-011-02-0357},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Katarzyniak05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KeimS05,
author = {Daniel A. Keim and
J{\"{o}}rn Schneidewind},
title = {Scalable Visual Data Exploration of Large Data Sets via MultiResolution},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1766--1779},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1766},
doi = {10.3217/JUCS-011-11-1766},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/KeimS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KhorTJ05,
author = {In Joe Khor and
Johnson P. Thomas and
Istvan Jonyer},
title = {Sliding Window Protocol for Secure Group Communication in Ad-Hoc Networks},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {37--55},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0037},
doi = {10.3217/JUCS-011-01-0037},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/KhorTJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Kienzle05,
author = {J{\"{o}}rg Kienzle},
title = {On Atomicity and Software Development},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {687--702},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0687},
doi = {10.3217/JUCS-011-05-0687},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Kienzle05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Kiewra05,
author = {Maciej Kiewra},
title = {RankFeed - Recommendation as Searching without Queries: New Hybrid
Method of Recommendation},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {229--249},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0229},
doi = {10.3217/JUCS-011-02-0229},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Kiewra05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KohlerF05,
author = {Andr{\'{e}} K{\"{o}}hler and
Frank Fuchs{-}Kittowski},
title = {Integration of Communities into Process-Oriented Structures},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {3},
pages = {410--425},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-03-0410},
doi = {10.3217/JUCS-011-03-0410},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/KohlerF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Kolbitsch05,
author = {Josef Kolbitsch},
title = {Fine-Grained Transclusions of Multimedia Documents in {HTML}},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {926--943},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0926},
doi = {10.3217/JUCS-011-06-0926},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Kolbitsch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Kulikowski05,
author = {Juliusz L. Kulikowski},
title = {Creation of Information Profiles in Distributed Databasesas a Game
Problem},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {271--284},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0271},
doi = {10.3217/JUCS-011-02-0271},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Kulikowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KutalekD05,
author = {Vladim{\'{\i}}r Kut{\'{a}}lek and
V{\'{a}}clav Dvor{\'{a}}k},
title = {On Complexity of Collective Communications on a Fat Cube Topology},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {944--961},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0944},
doi = {10.3217/JUCS-011-06-0944},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/KutalekD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LealI05,
author = {Marcus Amorim Leal and
Roberto Ierusalimschy},
title = {A Formal Semantics for Finalizers},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1198--1214},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1198},
doi = {10.3217/JUCS-011-07-1198},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LealI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LiLS05,
author = {Hua{-}Fu Li and
Suh{-}Yin Lee and
Man{-}Kwan Shan},
title = {Online Mining Changes of Items over Continuous Append-only and Dynamic
Data Streams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1411--1425},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1411},
doi = {10.3217/JUCS-011-08-1411},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LiLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LindstaedtF05,
author = {Stefanie N. Lindstaedt and
Johannes Farmer},
title = {Integration of Knowledge Management and (e)Learning},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {3},
pages = {375--377},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_3/integration\_of\_knowledge\_management},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/LindstaedtF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Maier05,
author = {Ronald Maier},
title = {Modeling Knowledge Work for the Design of Knowledge Infrastructures},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {429--451},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0429},
doi = {10.3217/JUCS-011-04-0429},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Maier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MascarenhasI05,
author = {Fabio Mascarenhas and
Roberto Ierusalimschy},
title = {Running Lua Scripts on the {CLR} through Bytecode Translation},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1275--1290},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1275},
doi = {10.3217/JUCS-011-07-1275},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MascarenhasI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Maurer05,
author = {Hermann A. Maurer},
title = {Managing Editor's Column},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {803},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_6/editorial},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Maurer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MolinaRO05,
author = {Ana I. Molina and
Miguel A. Redondo and
Manuel Ortega},
title = {A System to Support Asynchronous Collaborative Learning Tasks Using
PDAs},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1543--1554},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1543},
doi = {10.3217/JUCS-011-09-1543},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MolinaRO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MonteiroABS05,
author = {Monique Monteiro and
Mauro Ara{\'{u}}jo and
Rafael Borges and
Andr{\'{e}} L. M. Santos},
title = {Compiling Non-strict Functional Languages for the .NET Platform},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1255--1274},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1255},
doi = {10.3217/JUCS-011-07-1255},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MonteiroABS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MoriyonS05,
author = {Roberto Moriy{\'{o}}n and
Francisco Saiz},
title = {A Tool for the Reinforcement of Conceptual Learning: Description and
Use Experiences},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1482--1493},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1482},
doi = {10.3217/JUCS-011-09-1482},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MoriyonS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MossR05,
author = {J. Eliot B. Moss and
Ravi Rajwar},
title = {Atomicity as a First-Class System Provision},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {651--660},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0651},
doi = {10.3217/JUCS-011-05-0651},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MossR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Mosses05,
author = {Peter D. Mosses},
title = {A Constructive Approach to Language Definition},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1117--1134},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1117},
doi = {10.3217/JUCS-011-07-1117},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Mosses05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MunyerX05,
author = {Stefan M{\"{u}}nyer and
Bo Xiao},
title = {Small Groups Learning Synchronously Online at the Workplace: The Interaction
of Factors Determining Outcome and Acceptance},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {3},
pages = {378--393},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-03-0378},
doi = {10.3217/JUCS-011-03-0378},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MunyerX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MusicanteL05,
author = {Martin A. Musicante and
Ricardo Massa Ferreira Lima},
title = {The 9\({}_{\mbox{th}}\) Brazilian Symposium on Programming Languages
{J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1115--1116},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_7/sblp\_2005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MusicanteL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NadeemJ05,
author = {Aamer Nadeem and
Muhammad Jaffar{-}Ur Rehman},
title = {{TESTAF:} {A} Test Automation Framework for Class Testing using Object-Oriented
Formal Specifications},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {962--985},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0962},
doi = {10.3217/JUCS-011-06-0962},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NadeemJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NavarroSFH05,
author = {Antonio Navarro and
Jos{\'{e}} Luis Sierra and
Alfredo Fern{\'{a}}ndez{-}Valmayor and
H{\'{e}}ctor Hernanz},
title = {From Chasqui to Chasqui {II:} an Evolution in the Conceptualization
of Virtual Objects},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1518--1529},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1518},
doi = {10.3217/JUCS-011-09-1518},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NavarroSFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NedjahM05,
author = {Nadia Nedjah and
Luiza de Macedo Mourelle},
title = {Software/Hardware Co-Design of Efficient and Secure Cryptographic
Hardware},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {66--82},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0066},
doi = {10.3217/JUCS-011-01-0066},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NedjahM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Negri05,
author = {Sara Negri},
title = {Permutability of Rules for Linear Lattices},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1986--1995},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1986},
doi = {10.3217/JUCS-011-12-1986},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Negri05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NenadicZCG05,
author = {Aleksandra Nenadic and
Ning Zhang and
Barry M. G. Cheetham and
Carole A. Goble},
title = {RSA-based Certified Delivery of E-Goods Using Verifiable and Recoverable
Signature Encryption},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {175--192},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0175},
doi = {10.3217/JUCS-011-01-0175},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NenadicZCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Nguyen05,
author = {Ngoc Thanh Nguyen},
title = {Processing Inconsistency of Knowledge on Semantic Level},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {285--302},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0285},
doi = {10.3217/JUCS-011-02-0285},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Nguyen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NguyenS05,
author = {Ngoc Thanh Nguyen and
Janusz Sobecki},
title = {Modern Technologies for Web-based Adaptive Systems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {210--212},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_2/modern\_technologies\_for\_web},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/NguyenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NguyenSK05,
author = {Lan Nguyen and
Reihaneh Safavi{-}Naini and
Kaoru Kurosawa},
title = {A Provably Secure and Efficient Verifiable Shuffle based on a Variant
of the Paillier Cryptosystem},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {986--1010},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0986},
doi = {10.3217/JUCS-011-06-0986},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NguyenSK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Palmgren05,
author = {Erik Palmgren},
title = {Quotient Spaces and Coequalisers in Formal Topology},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {1996--2007},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-1996},
doi = {10.3217/JUCS-011-12-1996},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Palmgren05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ParkB05,
author = {Jisun Park and
K. Suzanne Barber},
title = {Information Quality Assurance by Lazy Exploration of Information Source
Combinations Space in Open Multi-Agent Systems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {193--209},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0193},
doi = {10.3217/JUCS-011-01-0193},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ParkB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Plato05,
author = {Jan von Plato},
title = {A Constructive Approach to Sylvester's Conjecture},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2165--2178},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2165},
doi = {10.3217/JUCS-011-12-2165},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Plato05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Popel05,
author = {Denis V. Popel},
title = {Visualization and Manipulation of Incomplete and Uncertain Dependencies
by Decision Diagrams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1848--1862},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1849},
doi = {10.3217/JUCS-011-11-1849},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Popel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/RasAWW05,
author = {Eric Ras and
Gabriela Avram and
Patrick E. Waterson and
Stephan Weibelzahl},
title = {Using Weblogs for Knowledge Sharing and Learning in Information Spaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {3},
pages = {394--409},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-03-0394},
doi = {10.3217/JUCS-011-03-0394},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/RasAWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Rathjen05,
author = {Michael Rathjen},
title = {Constructive Set Theory and Brouwerian Principles},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2008--2033},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2008},
doi = {10.3217/JUCS-011-12-2008},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Rathjen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReevesS05,
author = {Steve Reeves and
David Streader},
title = {Constructing Programs or Processes},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2034--2045},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2034},
doi = {10.3217/JUCS-011-12-2034},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ReevesS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Richman05,
author = {Fred Richman},
title = {Constructive Aspects of Markov Chains},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2046--2055},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2046},
doi = {10.3217/JUCS-011-12-2046},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Richman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Rosaci05,
author = {Domenico Rosaci},
title = {Exploiting Agent Ontologies in {B2C} Virtual Marketplaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1011--1039},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1011},
doi = {10.3217/JUCS-011-06-1011},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Rosaci05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SambinT05,
author = {Giovanni Sambin and
Giorgio Trentinaglia},
title = {On the Meaning of Positivity Relations for Regular Formal Spaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2056--2062},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2056},
doi = {10.3217/JUCS-011-12-2056},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SambinT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SanchoMF05,
author = {Pilar Sancho and
Iv{\'{a}}n Mart{\'{\i}}nez{-}Ortiz and
Baltasar Fern{\'{a}}ndez{-}Manj{\'{o}}n},
title = {Semantic Web Technologies Applied to e-learning Personalization in
{\textless}e-aula{\textgreater}},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1470--1481},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1470},
doi = {10.3217/JUCS-011-09-1470},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SanchoMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SantoF05,
author = {Michele Di Santo and
Franco Frattolillo},
title = {Time Costs in Actor Computations},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {850--873},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-0850},
doi = {10.3217/JUCS-011-06-0850},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SantoF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Sarkar05,
author = {Palash Sarkar},
title = {Domain Extenders for {UOWHF:} {A} Finite Binary Tree Algorithm},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1040--1053},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1040},
doi = {10.3217/JUCS-011-06-1040},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Sarkar05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schewe05,
author = {Klaus{-}Dieter Schewe},
title = {Functional Dependencies with Counting on Trees},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2063--2075},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2063},
doi = {10.3217/JUCS-011-12-2063},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Schewe05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schuster05,
author = {Peter Schuster},
title = {What is Continuity, Constructively?},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2076--2085},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2076},
doi = {10.3217/JUCS-011-12-2076},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Schuster05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schwichtenberg05,
author = {Helmut Schwichtenberg},
title = {A Direct Proof of the Equivalence between Brouwer's Fan Theorem and
K{\"{o}}nig's Lemma with a Uniqueness Hypothesis},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2086--2095},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2086},
doi = {10.3217/JUCS-011-12-2086},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Schwichtenberg05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Sheeran05,
author = {Mary Sheeran},
title = {Hardware Design and Functional Programming: a Perfect Match},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1135--1158},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1135},
doi = {10.3217/JUCS-011-07-1135},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Sheeran05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SilvaC05,
author = {Anderson Faustino da Silva and
V{\'{\i}}tor Santos Costa},
title = {An Experimental Evaluation of {JAVA} {JIT} Technology},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1291--1309},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1291},
doi = {10.3217/JUCS-011-07-1291},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SilvaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniBM05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar{-}Rahimabadi},
title = {Modular Verification of a Component-Based Actor Language},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1695--1717},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1695},
doi = {10.3217/JUCS-011-10-1695},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniMSB05,
author = {Marjan Sirjani and
Ali Movaghar and
Amin Shali and
Frank S. de Boer},
title = {Model Checking, Automated Abstraction, and Compositional Verification
of Rebeca Models},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1054--1082},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1054},
doi = {10.3217/JUCS-011-06-1054},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniMSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SitaramanV05,
author = {Sriranjani Sitaraman and
Subbarayan Venkatesan},
title = {Low-Intrusive Consistent Disk Checkpointing: {A} Tool for Digital
Forensics},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {20--36},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0020},
doi = {10.3217/JUCS-011-01-0020},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SitaramanV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Sobecki05,
author = {Janusz Sobecki},
title = {Consensus-Based Hybrid Adaptation of Web Systems User Interfaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {2},
pages = {250--270},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-02-0250},
doi = {10.3217/JUCS-011-02-0250},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Sobecki05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Spitters05,
author = {Bas Spitters},
title = {Constructive Results on Operator Algebras},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2096--2113},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2096},
doi = {10.3217/JUCS-011-12-2096},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Spitters05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Staiger05,
author = {Ludwig Staiger},
title = {Hausdorff Measure and Lukasiewicz Languages},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2114--2124},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2114},
doi = {10.3217/JUCS-011-12-2114},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Staiger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Stefanescu05,
author = {Doru Stefanescu},
title = {New Bounds for Positive Roots of Polynomials},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2125--2131},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2125},
doi = {10.3217/JUCS-011-12-2125},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Stefanescu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/StrohmaierL05,
author = {Markus Strohmaier and
Stefanie N. Lindstaedt},
title = {Integrating Business Processes and Knowledge Infrastructures},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {426--428},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_4/integrating\_business\_processes\_and},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/StrohmaierL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/TimbrellKSL05,
author = {Greg Timbrell and
Stefan Koller and
Nev Schefe and
Stefanie N. Lindstaedt},
title = {A Knowledge Infrastructure Hierarchy Model for Call-Centre Processes},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {546--564},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0546},
doi = {10.3217/JUCS-011-04-0546},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/TimbrellKSL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/UustaluV05,
author = {Tarmo Uustalu and
Varmo Vene},
title = {Signals and Comonads},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1310--1326},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1311},
doi = {10.3217/JUCS-011-07-1311},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/UustaluV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/VasudevanAS05,
author = {Rangarajan Vasudevan and
Ajith Abraham and
Sugata Sanyal},
title = {A Novel Scheme for Secured Data Transfer Over Computer Networks},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {104--121},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0104},
doi = {10.3217/JUCS-011-01-0104},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/VasudevanAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/VeerubhotlaSGP05,
author = {Ravi Sankar Veerubhotla and
Ashutosh Saxena and
Ved Prakash Gulati and
Arun K. Pujari},
title = {Gossip Codes for Fingerprinting: Construction, Erasure Analysis and
Pirate Tracing},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {1},
pages = {122--149},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-01-0122},
doi = {10.3217/JUCS-011-01-0122},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/VeerubhotlaSGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Vega-RodriguezGS05,
author = {Miguel A. Vega{-}Rodr{\'{\i}}guez and
Juan Antonio G{\'{o}}mez Pulido and
Juan Manuel S{\'{a}}nchez{-}P{\'{e}}rez},
title = {Case Studies in Tele-Education: Research and Projects},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {9},
pages = {1555--1567},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-09-1555},
doi = {10.3217/JUCS-011-09-1555},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Vega-RodriguezGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Veldman05,
author = {Wim Veldman},
title = {Perhaps the Intermediate Value Theorem},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2142--2158},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2142},
doi = {10.3217/JUCS-011-12-2142},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Veldman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Vita05,
author = {Luminita Simona V{\^{\i}}ta},
title = {On Complements of Sets and the Efremovic Condition in Pre-apartness
Spaces},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2159--2164},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2159},
doi = {10.3217/JUCS-011-12-2159},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Vita05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/WeiKXL05,
author = {Li Wei and
Eamonn J. Keogh and
Xiaopeng Xi and
Stefano Lonardi},
title = {Integrating Lite-Weight but Ubiquitous Data Mining into {GUI} Operating
Systems},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {11},
pages = {1820--1834},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-11-1820},
doi = {10.3217/JUCS-011-11-1820},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/WeiKXL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/WoitschK05,
author = {Robert Woitsch and
Dimitris Karagiannis},
title = {Process Oriented Knowledge Management: {A} Service Based Approach},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {4},
pages = {565--588},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-04-0565},
doi = {10.3217/JUCS-011-04-0565},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/WoitschK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Yan05,
author = {Wei Yan},
title = {Network Attack Scenarios Extraction and Categorization by Mining {IDS}
Alert Streams},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {8},
pages = {1367--1382},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-08-1367},
doi = {10.3217/JUCS-011-08-1367},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Yan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/YangS05,
author = {Jia Yang and
Ulrich Speidel},
title = {A Fast T-decomposition Algorithm},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1083--1101},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1083},
doi = {10.3217/JUCS-011-06-1083},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/YangS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/YasugiTM05,
author = {Mariko Yasugi and
Yoshiki Tsujii and
Takakazu Mori},
title = {Sequential Computability of a Function. Effective Fine Space and Limiting
Recursion},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {12},
pages = {2179},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-12-2179},
doi = {10.3217/JUCS-011-12-2179},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/YasugiTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ZanatyG05,
author = {Ennumeri A. Zanaty and
Moheb R. Girgis},
title = {Collect the Fitted Surfaces Into Complex Based On C\({}_{\mbox{0}}\)
Continuity},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1102--1114},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1102},
doi = {10.3217/JUCS-011-06-1102},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ZanatyG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Zouari05,
author = {Belhassen Zouari},
title = {A Structure Causality Relation for Liveness Characterisation in Petri
Nets},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1115--1133},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_6/a\_structure\_causality\_relation},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Zouari05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/dAmorimR05,
author = {Marcelo d'Amorim and
Grigore Rosu},
title = {An Equational Specification for the Scheme Language},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {7},
pages = {1327--1348},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-07-1327},
doi = {10.3217/JUCS-011-07-1327},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/dAmorimR05.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 15:50 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:
