A. Bagheri, M. Razzazi:
How to Draw Free Trees Inside Bounded Simple Polygons
/jucs_11_6/how_to_draw_free

page 804 - 829
Vol.11 / Issue 6

F. Capkovic:
An Application of the DEDS Control Synthesis Method
/jucs_11_2/an_application_of_the

page 303 - 326
Vol.11 / Issue 2

N. Gronau, C. Müller, R. Korf:
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
/jucs_11_4/kmdl_capturing_analysing_and

page 452 - 472
Vol.11 / Issue 4

M. Lanzenberger, J. Sampson, M. Rester:
Ontology Visualization: Tools and Techniques for Visual Representation of Semi-Structured Meta-Data
/jucs_16_7/ontology_visualization_tools_and

page 1036 - 1054
Vol.16 / Issue 7

P. Matoušek:
Tools for Parametric Verification. A Comparison on a Case Study
/jucs_10_10/tools_for_parametric_verification

page 1469 - 1494
Vol.10 / Issue 10

K. McGlinn, E. O'Neill, A. Gibney, D. O'Sullivan, D. Lewis:
SimCon: A Tool to Support Rapid Evaluation of Smart Building Application Design using Context Simulation and Virtual Reality
/jucs_16_15/simcon_a_tool_to

page 1992 - 2018
Vol.16 / Issue 15

A.C. Olivera, M. Frutos, J.A. Carballido, N.B. Brignole:
Bus Network Optimization with a Time-Dependent Hybrid Algorithm
/jucs_14_15/bus_network_optimization_with

page 2512 - 2531
Vol.14 / Issue 15

P.M. Papazoglou, D.A. Karras, R.C. Papademetriou:
An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation Algorithms
/jucs_14_7/an_improved_multi_agent

page 1061 - 1069
Vol.14 / Issue 7

H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang:
An Open Software Architecture for the Verification of Industrial Controllers
/jucs_7_1/an_open_software_architecture

page 37 - 53
Vol.7 / Issue 1