Volume 13, Number 1, 2007
export record as
dblp key:
journals/jucs/CalinescuMZZ07
export record as
dblp key:
journals/jucs/BoudjitAML07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/HundewaleJZ07
Volume 13, Number 2, 2007
export record as
dblp key:
export record as
dblp key:
journals/jucs/KubotaNSN07
export record as
dblp key:
Rai Chan ,
Junichi Hoshino :
Building Immersive Conversation Environment Using Locomotive Interactive Character.
149-160
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jerzy Swiatek :
Parameter Estimation of Systems Described by the Relation with Noisy Observations.
199-208
export record as
dblp key:
export record as
dblp key:
Iwan Tabakow :
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems.
224-243
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/Borzemski07 Leszek Borzemski :
Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study.
287-316
export record as
dblp key:
export record as
dblp key:
Michal Zgrzywa :
Consensus Determining with Dependencies of Attributes with Interval Values.
329-344
Volume 13, Number 3, 2007
export record as
dblp key:
journals/jucs/RodriguezPS07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/Ortega-CisnerosRG07
export record as
dblp key:
journals/jucs/PerezUHMJM07
export record as
dblp key:
journals/jucs/CriadoRSG07
export record as
dblp key:
journals/jucs/RodriguesC07
export record as
dblp key:
journals/jucs/Fernandez-PerezSC07
Volume 13, Number 4, 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Denis Helic :
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems.
504-531
export record as
dblp key:
journals/jucs/Kulathuramaiyer07
export record as
dblp key:
journals/jucs/TsolisSDP07
export record as
dblp key:
journals/jucs/Vujosevic-JanicicTJ07
Volume 13, Number 5, 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/Heitmeyer07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
John M. Rushby :
Automated Formal Methods Enter the Mainstream.
650-660
export record as
dblp key:
journals/jucs/WoodcockB07
export record as
dblp key:
Anthony Hall :
Realising the Benefits of Formal Methods.
669-678
Volume 13, Number 6, 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/CordeiroBBT07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/MuhammadI07
export record as
dblp key:
journals/jucs/RodriguesB07
export record as
dblp key:
journals/jucs/CamaraoVFN07
export record as
dblp key:
Volume 13, Number 7, 2007
export record as
dblp key:
journals/jucs/Fernandez-ManjonNF07
export record as
dblp key:
journals/jucs/BurgosTDVK07
export record as
dblp key:
export record as
dblp key:
journals/jucs/Martinez-OrtizMSF07
export record as
dblp key:
journals/jucs/ParedesSOV07
export record as
dblp key:
journals/jucs/Chaves-GonzalezVPS07
export record as
dblp key:
journals/jucs/MorgadoGB07
export record as
dblp key:
journals/jucs/RodriguezMNAM07
export record as
dblp key:
export record as
dblp key:
journals/jucs/HeilemanASCK07
export record as
dblp key:
journals/jucs/Marcelino07
export record as
dblp key:
journals/jucs/CollazosGPOS07
export record as
dblp key:
Volume 13, Number 8, 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/Melliar-SmithM07
export record as
dblp key:
journals/jucs/CarvalhoCPROG07
Volume 13, Number 9, 2007
export record as
dblp key:
export record as
dblp key:
journals/jucs/AdamopoulouSTL07
export record as
dblp key:
Sinuhé Arroyo :
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management.
1157-1183
export record as
dblp key:
journals/jucs/ColucciNSDR07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/TroyanoECVO07
export record as
dblp key:
journals/jucs/DamavandiM07
export record as
dblp key:
Hongbo Liu ,
Ajith Abraham :
An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems.
1309-1331
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/YangLLWWL07
Volume 13, Number 10, 2007
export record as
dblp key:
export record as
dblp key:
journals/jucs/ChatterjeeS07
export record as
dblp key:
export record as
dblp key:
journals/jucs/SioutasTVT07
export record as
dblp key:
journals/jucs/ZuritaABB07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 13, Number 11, 2007
export record as
dblp key:
export record as
dblp key:
journals/jucs/AndersenC07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/DiaconescuG07
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/DumitrescuT07
export record as
dblp key:
journals/jucs/Iorgulescu07 Afrodita Iorgulescu :
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras.
1628-1654
export record as
dblp key:
Gabriel Istrate :
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps.
1655-1670
export record as
dblp key:
export record as
dblp key:
Laurentiu Leustean :
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings.
1680-1691
export record as
dblp key:
export record as
dblp key:
Gheorghe Paun :
Spiking Neural P Systems with Astrocyte-Like Control.
1707-1721
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Monica Tataram :
Connectivity and Reachability in Signed Networks.
1779-1790
export record as
dblp key:
journals/jucs/ZamfirescuZ07
Volume 13, Number 12, 2007
export record as
dblp key:
journals/jucs/FreitasSMP07
export record as
dblp key:
export record as
dblp key:
journals/jucs/ValkeapaaAH07
export record as
dblp key:
journals/jucs/TzitzikasKT07
export record as
dblp key:
export record as
dblp key:
journals/jucs/TrilloGEM07
export record as
dblp key:
journals/jucs/BeneventanoBGV07
Volume 13, Number 13, 2007
export record as
dblp key:
export record as
dblp key:
journals/jucs/SasakiNAF07
export record as
dblp key:
export record as
dblp key:
journals/jucs/BravettiCNR07
export record as
dblp key: