@phdthesis{phdthesis,
author = {Novakovi\'{c}, Vedran},
year = {2006},
pages = {86},
keywords = {software engineering, formal specification, formal verification},
title = {Formal software specification and verification},
keyword = {software engineering, formal specification, formal verification},
publisherplace = {Zagreb}
}
@phdthesis{phdthesis,
author = {Grden, Vilim},
year = {2006},
pages = {49},
keywords = {trajectory planning, raster maps, algorithms},
title = {Algorithms for trajectory planning on raster maps},
keyword = {trajectory planning, raster maps, algorithms},
publisherplace = {Zagreb}
}
@article{article,
author = {Botin\v{c}an, Matko},
year = {2006},
pages = {258-262},
keywords = {model checking, monadic least fixed point logic, compositional verification},
title = {Compositional model checking of monadic least fixed point logic},
keyword = {model checking, monadic least fixed point logic, compositional verification},
publisher = {LaBRI},
publisherplace = {Bordeaux, Francuska}
}
@article{article,
author = {Botin\v{c}an, Matko and Nogo, Goranka},
editor = {Lu\v{z}ar-Stiffler, Vesna and Hljuz Dobri\'{c}, Vesna},
year = {2006},
pages = {677-682},
keywords = {anomalies, branch-and-cut, capacitated vehicle routing problem, distributed solving, experiments},
title = {Anomalies in Distributed Branch-and-Cut Solving of the Capacitated Vehicle Routing Problem},
keyword = {anomalies, branch-and-cut, capacitated vehicle routing problem, distributed solving, experiments},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@article{article,
author = {Manger, Robert},
year = {2006},
pages = {101-111},
keywords = {directed graphs, path problems, algebraic approach, path algebras, optimization, identification of paths, multi-criteria optimization},
journal = {Ars Combinatoria},
volume = {78},
number = {1},
title = {Composite path algebras for solving path problems in graphs},
keyword = {directed graphs, path problems, algebraic approach, path algebras, optimization, identification of paths, multi-criteria optimization}
}
@phdthesis{phdthesis,
author = {Peri\'{c}, Jurica},
year = {2005},
pages = {105},
keywords = {MySQL, C++, database systems, application development},
title = {MySQL and a C++ Application},
keyword = {MySQL, C++, database systems, application development},
publisherplace = {Zagreb}
}
@article{article,
author = {Botin\v{c}an, Matko},
year = {2005},
pages = {313-319},
keywords = {AsmL, abstract state machines, formal verification, concurrent programming},
journal = {Journal of Computing and Information Technology - CIT},
volume = {13},
title = {AsmL Specification and Verification of Lamport's Bakery Algorithm},
keyword = {AsmL, abstract state machines, formal verification, concurrent programming}
}
@article{article,
author = {de Nivelle, Hans and Piska\v{c}, Ru\v{z}ica},
editor = {Schmitt, Peter H},
year = {2005},
pages = {210-219},
keywords = {formal verification, result checker, priority queues, theorem proving},
title = {Verification of an Off-Line Checker for Priority-Queues},
keyword = {formal verification, result checker, priority queues, theorem proving},
publisher = {IEEE Computer Society Press},
publisherplace = {Koblenz, Njema\v{c}ka}
}
@phdthesis{phdthesis,
author = {Molnar, Mirela},
year = {2005},
pages = {62},
keywords = {database systems, relational model, query languages, relational algebra, relational calculus, while queries, fixed-point queries},
title = {Relational Database Query Languages},
keyword = {database systems, relational model, query languages, relational algebra, relational calculus, while queries, fixed-point queries},
publisherplace = {Zagreb}
}
@phdthesis{phdthesis,
author = {\v{Z}mak, Marko},
year = {2005},
pages = {52},
keywords = {scheduling, parallel machines, exact algorithms, approximation algorithms, testing},
title = {Scheduling of Jobs on Parallel Machines},
keyword = {scheduling, parallel machines, exact algorithms, approximation algorithms, testing},
publisherplace = {Zagreb}
}
@article{article,
author = {Botin\v{c}an, Matko},
editor = {Lu\v{z}ar-Stiffler, Vesna and Hljuz Dobri\'{c}, Vesna},
year = {2005},
pages = {617-623},
keywords = {AsmL, abstract state machines, formal verification, concurrent programming},
title = {AsmL Specification and Verification of Lamport's Bakery Algorithm},
keyword = {AsmL, abstract state machines, formal verification, concurrent programming},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@phdthesis{phdthesis,
author = {Piska\v{c}, Ru\v{z}ica},
year = {2005},
pages = {60},
keywords = {formal correctness, formal verification, result checking, priority queue},
title = {Formal Correctness of Result Checking for Priority Queues},
keyword = {formal correctness, formal verification, result checking, priority queue},
publisherplace = {Saarbruecken}
}
@phdthesis{phdthesis,
author = {Botin\v{c}an, Matko},
year = {2005},
pages = {130},
keywords = {descriptive complexity theory, model verification, complexity classes, first-order logic, least fixed point logic, inflatory fixed point logic, reachability games, parity games, backtracking games},
title = {Descriptive complexity theory: model verification},
keyword = {descriptive complexity theory, model verification, complexity classes, first-order logic, least fixed point logic, inflatory fixed point logic, reachability games, parity games, backtracking games},
publisherplace = {Zagreb}
}
@article{article,
author = {Manger, Robert},
editor = {Zadnik Stirn, Lidija and Drobne, Samo},
year = {2005},
pages = {13-22},
keywords = {directed graphs, path problems, algebraic approach, semirings, optimization, distributed algorithms},
title = {Some results dealing with the algebraic approach to path problems in graphs},
keyword = {directed graphs, path problems, algebraic approach, semirings, optimization, distributed algorithms},
publisher = {Slovenian Society Informatika},
publisherplace = {Nova Gorica, Slovenija}
}
@article{article,
author = {Pulji\'{c}, Krunoslav and Manger, Robert},
editor = {Zadnik Stirn, Lidija and Drobne, Samo},
year = {2005},
pages = {363-368},
keywords = {capacitated vehicle routing problem, evolutionary algorithms, experimental evaluation, repeated mutations, local search},
title = {An improved evolutionary algorithm for solving the vehicle routing problem},
keyword = {capacitated vehicle routing problem, evolutionary algorithms, experimental evaluation, repeated mutations, local search},
publisher = {Slovenian Society Informatika},
publisherplace = {Nova Gorica, Slovenija}
}
@article{article,
author = {Pulji\'{c}, Krunoslav and Manger, Robert},
editor = {Lu\v{z}ar-Stiffler, Vesna and Hljuz Dobri\'{c}, Vesna},
year = {2005},
pages = {507-512},
keywords = {vehicle routing problem, evolutionary algorithms, repeated mutations, local search, experiments},
title = {An Evolutionary Algorithm with Repeated Mutations for Solving the Vehicle Routing Problem},
keyword = {vehicle routing problem, evolutionary algorithms, repeated mutations, local search, experiments},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@article{article,
author = {Manger, Robert},
year = {2005},
pages = {31-40},
keywords = {graphs, path problems, algebraic approach, semirings, optimization},
journal = {Grazer mathematische Berichte},
volume = {-348},
number = {348},
title = {Composite semirings and their applications dealing with path problems in graphs},
keyword = {graphs, path problems, algebraic approach, semirings, optimization}
}
@article{article,
author = {Botin\v{c}an, Matko and Nogo, Goranka},
editor = {Zadnik Stirn, Lidija and Drobne, Samo},
year = {2005},
pages = {345-350},
keywords = {vehicle routing problem, branch-and-cut, distributed computing, experimental evaluation},
title = {On Distributed Solving of the Capacitated Vehicle Routing Problem with Branch-and-Cut Algorithms},
keyword = {vehicle routing problem, branch-and-cut, distributed computing, experimental evaluation},
publisher = {Slovenian Society Informatika},
publisherplace = {Nova Gorica, Slovenija}
}
@article{article,
author = {Botin\v{c}an, Matko and Manger, Robert},
editor = {Scitovski, Rudolf},
year = {2005},
pages = {155 - 164},
keywords = {directed graphs, path problems, path algebras, generic programming, C++ programming language},
title = {A Generic C++ Implementation Of Composite Path Algebras},
keyword = {directed graphs, path problems, path algebras, generic programming, C++ programming language},
publisher = {Department of Mathematics, University of Osijek},
publisherplace = {Trogir, Hrvatska}
}
@article{article,
author = {Manger, Robert},
editor = {Scitovski, Rudolf and Juki\'{c}, Dragan},
year = {2005},
pages = {121-130},
keywords = {artificial neural networks, data compression, multilayer perceptrons, holographic neural networks, experiments},
title = {Data compression with multilayer perceptrons},
keyword = {artificial neural networks, data compression, multilayer perceptrons, holographic neural networks, experiments},
publisher = {Department of Mathematics, University of Osijek},
publisherplace = {Trogir, Hrvatska}
}
@unknown{unknown,
author = {Ali\'{c}, Mladen and Nogo, Goranka},
year = {2004},
pages = {79},
keywords = {minimum, necessary and sufficient conditions, convexity, Lagrange multipliers, Kuhn-Tucker theorem},
title = {Optimization: Introduction to the Theory of Necessary and Sufficient Conditions},
keyword = {minimum, necessary and sufficient conditions, convexity, Lagrange multipliers, Kuhn-Tucker theorem},
publisher = {Odjel za matematiku Sveu\v{c}ili\v{s}ta u Osijeku}
}
@phdthesis{phdthesis,
author = {Pulji\'{c}, Krunoslav},
year = {2004},
pages = {159},
keywords = {vehicle routing problem, evolutionary algorithms, genetic algorithms},
title = {Evolutionary Algorithms for the Vehicle Routing Problem},
keyword = {vehicle routing problem, evolutionary algorithms, genetic algorithms},
publisherplace = {Zagreb}
}
@phdthesis{phdthesis,
author = {Vresk, Damir},
year = {2004},
pages = {93},
keywords = {NP-hard problems, approximation algorithms, computational complexity},
title = {Approximation Algorithms for NP-hard Problems},
keyword = {NP-hard problems, approximation algorithms, computational complexity},
publisherplace = {Zagreb}
}
@article{article,
author = {Manger, Robert},
editor = {Lu\v{z}ar-Stiffler, Vesna and Hljuz Dobri\'{c}, Vesna},
year = {2004},
pages = {657-662},
keywords = {graph theory, directed graphs, path problems, path algebras, semirings, finding paths, computational complexity},
title = {A New Path Algebra for Finding Paths in Graphs},
keyword = {graph theory, directed graphs, path problems, path algebras, semirings, finding paths, computational complexity},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@article{article,
author = {Botin\v{c}an, Matko},
editor = {Lu\v{z}ar-Stiffler, Vesna and Hljuz Dobri\'{c}, Vesna},
year = {2004},
pages = {645-650},
keywords = {path problems, algebraic approach, semirings, generic programming, C++ programming language},
title = {A Generic C++ Library for Solving Path Problems},
keyword = {path problems, algebraic approach, semirings, generic programming, C++ programming language},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@article{article,
author = {Botin\v{c}an, Matko},
year = {2004},
pages = {167-173},
keywords = {path problems, algebraic approach, semirings, generic programming, C++ programming language},
journal = {CIT. Journal of computing and information technology},
volume = {12},
number = {2},
title = {A Generic C++ Library for Solving Path Problems},
keyword = {path problems, algebraic approach, semirings, generic programming, C++ programming language}
}
@article{article,
author = {Saiz, Pablo and Aphecetche, Laurent B. and Bun\v{c}i\'{c}, Predrag and Piska\v{c}, Ru\v{z}ica and \v{S}ego, Vedran},
year = {2003},
pages = {437-440},
keywords = {GRID, Distribute computing, File catalogue, Resource broker},
journal = {Nuclear Instruments and Methods in Physics Research Section A},
volume = {502},
number = {2-3},
title = {AliEn- ALICE environment on the GRID},
keyword = {GRID, Distribute computing, File catalogue, Resource broker}
}
@article{article,
author = {Manger, Robert and Nogo, Goranka},
year = {2003},
pages = {179-184},
keywords = {graph theory, path problems, distributed computing, parallel virtual machine (PVM), experiments, symmetric path problems, sparse graphs},
journal = {Journal of Computing and Information Technology},
volume = {11},
number = {3},
title = {Solving Sparse Symmetric Path Problems on a Network of Computers},
keyword = {graph theory, path problems, distributed computing, parallel virtual machine (PVM), experiments, symmetric path problems, sparse graphs}
}
@phdthesis{phdthesis,
author = {Vidovi\'{c}, Ivan},
year = {2003},
pages = {62},
keywords = {software project, management},
title = {Software project management},
keyword = {software project, management},
publisherplace = {Zagreb}
}
@article{article,
author = {Manger, Robert and Nogo, Goranka},
editor = {Budin, Leo and Hljuz Dobri\'{c}, Vesna},
year = {2003},
pages = {657-662},
keywords = {graph theory, path problems, distributed computing, parallel virtual machine (PVM), experiments, symmetric path problems, sparse graphs},
title = {Solving sparse symmetric path problems on a network of computers},
keyword = {graph theory, path problems, distributed computing, parallel virtual machine (PVM), experiments, symmetric path problems, sparse graphs},
publisher = {University Computing Centre},
publisherplace = {Cavtat, Hrvatska}
}
@phdthesis{phdthesis,
author = {Surjan, Darko},
year = {2002},
pages = {54},
keywords = {free software, CVS},
title = {Decentralized development of free software via CVS},
keyword = {free software, CVS},
publisherplace = {Zagreb}
}
@article{article,
author = {Manger, Robert},
year = {2002},
pages = {91-100},
keywords = {graph theory, path problems, distributed algorithms, network computing, parallel virtual machine (PVM), experiments},
journal = {Informatica: an international journal of computing and informatics},
volume = {26},
number = {1},
title = {Solving path problems on a network of computers},
keyword = {graph theory, path problems, distributed algorithms, network computing, parallel virtual machine (PVM), experiments}
}