Conferences in DBLP
Maarten Boasson Software Architecture for Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy A Logical Basis for Modular Software and Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Benny Chor From Quartets to Phylogenetic Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Eilinghoff , Uwe Kastens Reuse Methods for Construction of Parallel Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ghica van Emde Boas-Lubsen , Peter van Emde Boas Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness. [Citation Graph (0, 0)][DBLP ] Conf ] Rusins Freivalds Models of Computation, Riemann Hypothesis, and Classical Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Hanácek Security of Electronic Money. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Jansen , José D. P. Rolim Algorithms Based on Randomization and Linear and Semidefinite Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Winfried Lamersdorf , Michael Merz , M. Tuan Tu Distributed Systems Technology for Electronic Commerce Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Lüling , Francisco Cortes Gomez , Norbert Sensen Parallel Interactive Media Server Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Marchetti-Spaccamela On-Line Routing Problems for Broadband Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Niedermeier Some Prospects for Efficient Fixed Parameter Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Nikolaou , Manolis Marazakis System Infrastructure for Digital Libraries: A Survey and Outlook. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Preneel An Introduction to Cryptology. [Citation Graph (0, 0)][DBLP ] Conf ] Cécile Roisin Authoring Structured Multimedia Documents. [Citation Graph (0, 0)][DBLP ] Conf ] H. Dieter Rombach Engineering Software and Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ruzicka Efficient Communication Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Strous Audit of Information Systems: The Need for Cooperation. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Vanoirbeek Towards the Use of Dynamic Documents in Business Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Beran Computational Power of BSP Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Radovan Cervenka Modeling of Hypermedia Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan S. Chlebus On the Klee`s Measure Problem in Small Dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Dobrev , Peter Ruzicka Yet Another Modular Technique for Efficient Leader Election. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Fernau Regulated Grammars with Leftmost Derivation. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Forlizzi , Enrico Nardelli Some Results on the Modelling of Spatial Data. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Gambin , Adam Malinowski Randomized Meldable Priority Queues. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Gebala The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Hruska , Petr Kolencik , Michal Mácel Behavioral Safety in a Model With Multiple Class Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Costas S. Iliopoulos , Maureen Korda Massively Parallel Suffix Array Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Slawomir Lasota Weak Bisimilarity and Open Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Francesc D. Muñoz-Escoí , Pablo Galdámez , José M. Bernabéu-Aubán A Synchronisation Mechanism for Replicated Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Novacek Data Mining Extension for Object-Oriented Query Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hana Rudová Constraints with Variables` Annotations and Constraint Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Slobodová , Christoph Meinel Sample Method for Minimization of OBDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Smrz , Ales Horák Determining Type of TIL Construction with Verb Valency Analyser. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Smrz , Stephán Hrbácek , Michal Martinásek Off-Line Recognition of Cursive Handwritten Czech Text. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Vanousek Automated Theorem Proving in a Combination of Theories with Disjoint Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] 