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

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

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