Search results for "diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Sitt Sen Chok, Kim Marriott	Automatic generation of intelligent diagram editors.	ACM Trans. Comput. Hum. Interact.	2003	DBLP DOI BibTeX RDF	Constraint multi-set grammars, diagram interaction, diagram parsing, intelligent diagram, constraint solving, pen-based computing
72	Dorothea Blostein, Lippold Haken	Using Diagram Generation Software to Improve Diagram Recognition: A Case Study of Music Notation.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Document image analysis, graphics recognition, music notation, diagram recognition
72	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
66	Yosuke Murase, Tomoko Kojiri, Toyohide Watanabe	Dynamic Generation of Diagrams for Supporting Solving Process of Mathematical Exercises.	KES (2)	2005	DBLP DOI BibTeX RDF
66	Eitan Yaffe, Dan Halperin	Approximating the pathway axis and the persistence diagram of a collection of balls in 3-space.	SCG	2008	DBLP DOI BibTeX RDF	alpha complex, persistence diagram, medial axis, molecular modeling
64	Terrence P. Fries	A framework for transforming structured analysis and design artifacts to UML.	SIGDOC	2006	DBLP DOI BibTeX RDF	structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram
60	Sang Won Bae, Kyung-Yong Chwa	The geodesic farthest-site Voronoi diagram in a polygonal domain with holes.	SCG	2009	DBLP DOI BibTeX RDF	farthest-site voronoi diagram, polygonal domain, shortest obstacle-free path, tight upper bound, geodesic
60	Marcela Genero, Luis Jiménez 0001, Mario Piattini	A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics.	OOIS	2002	DBLP DOI BibTeX RDF	UML class diagram structural complexity, UML class diagram modifiability, structural complexity metrics, fuzzy rule system, prediction model, empirical validation
60	J. Artur Serrano	The Use of Semantic Constraints on Diagram Editors.	VL	1995	DBLP DOI BibTeX RDF	diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance
55	Ryota Nakanishi, Kazuhito Murakami, Tadashi Naruse	Dynamic Positioning Method Based on Dominant Region Diagram to Realize Successful Cooperative Play.	RoboCup	2007	DBLP DOI BibTeX RDF
55	Francois Anton, Darka Mioc, Christopher M. Gold	The Voronoi Diagram of Circles and Its Application to the Visualization of the Growth of Particles.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	Voronoi diagram of circles, Visualization of nucleation and growth of particles, Johnson-Mehl tessellations, growth models
55	DaeHyuck Park, Euisun Kang, Younghwan Lim	A Design and Implementation of Transcoder for Displaying Diagram Data of Multimedia Title on Web Browser.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	VML, CSS Layer, Diagram Transcoder
50	Deok-Soo Kim, Donguk Kim 0001, Kokichi Sugihara	Voronoi Diagram of a Circle Set Constructed from Voronoi Diagram of a Point Set.	ISAAC	2000	DBLP DOI BibTeX RDF
50	Ahmad Alsaadi	Checking Data Integrity via the UML Class Diagram.	ICSEA	2006	DBLP DOI BibTeX RDF
50	Ron Wein, Jur P. van den Berg, Dan Halperin	The Visibility-Voronoi Complex and Its Applications.	SCG	2005	DBLP DOI BibTeX RDF	path optimization, voronoi diagrams, motion planning, visibility graphs
49	Ahmad Alsaadi	Applying the UML Class Diagram in the Performance Analysis.	EPEW	2006	DBLP DOI BibTeX RDF	performance analysis, database, relationship, class, class diagram
49	Jeongyeon Seo, Donguk Kim 0001, Cheol-Hyung Cho, Deok-Soo Kim	A beta-Shape from the Voronoi Diagram of Atoms for Protein Structure Analysis.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Voronoi diagram of spheres, ?-shape, ?-shape, ?-complex, ?-complex
49	Robert W. Bowdidge, William G. Griswold	Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	meaning-preserving restructuring, semi-automated restructuring, star diagram, tool-supported restructuring, software visualization
49	Mark Minas, Gerhard Viehstaedt	DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.	VL	1995	DBLP DOI BibTeX RDF	diagram editor generator, DiaGen, diagram execution, visual language systems, hypergraph grammar, user interfaces, formal specification, specification, graphical user interfaces, software tools, graphs, programming environments, finite state machines, trees, visual programming, visual languages, direct manipulation, diagrams, graph grammars, hierarchical structures, application specific, flowcharts
49	Keng Siau, Lihyunn Lee	Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Unified modeling language, Requirements engineering, Conceptual modeling, Requirements analysis, Class diagram, Experimental study, Use case diagram
49	Timothy K. Shih, Lun-Ping Hung	A Quantitative Assessment Method with Course Design Model for Distance Learning.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF	courseware diagram, distance learning, influence diagram
48	Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD (1)	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
48	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
45	Christian Trefftz, Joseph S. Szakas	Parallel Algorithms to Find the Voronoi Diagram and the Order-k Voronoi Diagram.	IPDPS	2003	DBLP DOI BibTeX RDF
44	Stéphane Rivière, Dominique Schmitt	Two-dimensional line space Voronoi Diagram.	ISVD	2007	DBLP DOI BibTeX RDF
44	Evanthia Papadopoulou, D. T. Lee	The Min-Max Voronoi Diagram of Polygons and Applications in VLSI Manufacturing.	ISAAC	2002	DBLP DOI BibTeX RDF
44	Ana von Klopp Lemon, Oliver Lemon	Constraint Matching for Diagram Design: Qualitative Visual Languages.	Diagrams	2000	DBLP DOI BibTeX RDF
44	Sitt Sen Chok, Kim Marriott, Tom Paton	Constraint-Based Diagram Beautification.	VL	1999	DBLP DOI BibTeX RDF	Constraint, Visual Languages, Layout, Graphic Editor
44	Leonidas J. Guibas, Jack Snoeyink, Li Zhang 0001	Compact Voronoi Diagrams for Moving Convex Polygons.	SWAT	2000	DBLP DOI BibTeX RDF
44	Norbert Kehrer, Gustaf Neumann	Treating Enhanced Entity Relationship Models in a Declarative Style.	RCLP	1991	DBLP DOI BibTeX RDF
44	Shin Nakajima 0001	Semi-automated diagnosis of FODA feature diagram.	SAC	2010	DBLP DOI BibTeX RDF	FODA feature diagram, graph slicing, satisfiability checking
44	Wassim Ayadi, Khedija Arour	A Binary Decision Diagram to discover low threshold support frequent itemsets.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	data mining, association rules, binary decision diagram, frequent item sets
44	Krystle Lemon, Edward B. Allen, Jeffrey C. Carver, Gary L. Bradshaw	An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability.	ESEM	2007	DBLP DOI BibTeX RDF	Gestalt principles, diagram comprehension, software architecture, empirical software engineering, cognitive science
44	Youngsong Cho, Donguk Kim 0001, Hyun-Chan Lee, Joon Young Park, Deok-Soo Kim	Reduction of the Search Space in the Edge-Tracing Algorithm for the Voronoi Diagram of 3D Balls.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Voronoi diagram for balls, edge-tracing algorithm, feasible region
44	Evanthia Papadopoulou	The Hausdorff Voronoi Diagram of Point Clusters in the Plane.	Algorithmica	2004	DBLP DOI BibTeX RDF	VLSI yield prediction, VLSI Critical Area, Via-blocks, Voronoi diagram, Hausdorff distance, Plane sweep, Manufacturing defects
44	Oswin Aichholzer, Franz Aurenhammer, Belén Palop	Quickest paths, straight skeletons, and the city Voronoi diagram.	SCG	2002	DBLP DOI BibTeX RDF	wavefront model, shortest path, Voronoi diagram, transportation network, straight skeleton
44	Dorothea Blostein, Edward Lank, Arlis Rose, Richard Zanibbi	User Interfaces for On-Line Diagram Recognition.	GREC	2001	DBLP DOI BibTeX RDF	user interfaces, graphics recognition, diagram recognition
44	Wayne Citrin, Mark D. Gross	Distributed architectures for pen-based input and diagram recognition.	AVI	1996	DBLP DOI BibTeX RDF	pen-based interfaces, graphical editors, diagram recognition
44	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
43	Masaki Moriguchi, Kokichi Sugihara	Constructing Centroidal Voronoi Tessellations on Surface Meshes.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Christopher M. Gold, Darka Mioc, Francois Anton, Ojaswa Sharma, Maciej Dakowicz	A Methodology for Automated Cartographic Data Input, Drawing and Editing Using Kinetic Delaunay/Voronoi Diagrams.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Kimikazu Kato, Mayumi Oto, Hiroshi Imai, Keiko Imai	Computational Geometry Analysis of Quantum State Space and Its Applications.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Priyadarshi Bhattacharya, Marina L. Gavrilova	Density-Based Clustering Based on Topological Properties of the Data Set.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Russel A. Apu, Marina L. Gavrilova	Efficient Swarm Neighborhood Management Using the Layered Delaunay Triangulation.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Deok-Soo Kim, Jeongyeon Seo, Donguk Kim 0001, Youngsong Cho, Joonghyun Ryu	The beta-Shape and beta-Complex for Analysis of Molecular Structures.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Marina L. Gavrilova	Computational Geometry Methods and Intelligent Computing.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Ovidiu Daescu, James D. Palmer	Modeling Optimal Beam Treatment with Weighted Regions for Bio-medical Applications.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Sergey Bereg, Marina L. Gavrilova, Yuanyi Zhang	Robust Point-Location in Generalized Voronoi Diagrams.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Ivana Kolingerová	Simulated Annealing and Genetic Algorithms in Quest of Optimal Triangulations.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	James D. Palmer	Higher Order Voronoi Diagrams and Distance Functions in Art and Visualization.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Hisamoto Hiyoshi	Intelligent Solutions for Curve Reconstruction Problem.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Alexey V. Anikeenko, Marina L. Gavrilova, Nikolai N. Medvedev	Shapes of Delaunay Simplexes and Structural Analysis of Hard Sphere Packings.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Marina L. Gavrilova	Conclusions and Future Trends in Intelligent Treatment of Applied Problems.	Generalized Voronoi Diagram	2008	DBLP DOI BibTeX RDF
43	Yuka Obu, Kazuhiro Maruo, Tatsuhiro Yonekura, Masaru Kamada, Shusuke Okamoto	State-Transition Diagram for Visual Programming Tool GUEST.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	Web programming for non-programmers, GUEST (Graphical User interface Editor by State-transition Diagram), New user interface design concept, Visual programming, State-transition diagram
43	M. Esperanza Manso, Marcela Genero, Mario Piattini	No-redundant Metrics for UML Class Diagram Structural Complexity.	CAiSE	2003	DBLP DOI BibTeX RDF	Class diagram structural complexity, class diagram maintainability, principal component analysis, metrics, empirical validation
43	Maytham Safar, Dariush Ebrahimi, David Taniar	Voronoi-based reverse nearest neighbor query processing on spatial networks.	Multim. Syst.	2009	DBLP DOI BibTeX RDF	Network Voronoi diagram, Spatial network databases, Query processing, Voronoi diagram, Nearest neighbor, Reverse nearest neighbor
43	Muan Yong Ng, Michael J. Butler	Tool Support for Visualizing CSP in UML.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, CSP, class diagram, state diagram
43	Liming Wu, Yingmin Zhang, Yaohua Deng, Xiuchun Tang	Stroke Segmentation of Reconstruct Offline Handwriting Diagram Based on Continuous Hidden Markov Model.	NCM	2009	DBLP DOI BibTeX RDF	Continuous Density Hidden Markov Model (CHMM), offline handwriting diagram, stroke segmentation, flowchart diagram, electric circuit diagram
43	Bin Yu	Automatic understanding of symbol-connected diagrams.	ICDAR	1995	DBLP DOI BibTeX RDF	symbol-connected diagram understanding, shape symbols, structure symbols, consistent attributed graph, shape processing, shape symbol identification, symbol windows, logic circuit diagram understanding, intelligent diagram reader, document image processing, bottom-up method
42	Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari	Applying AUML and UML 2 in the Multi-agent Systems Project.	ER Workshops	2009	DBLP DOI BibTeX RDF	UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML
42	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins	UMLAnT: an Eclipse plugin for animating and testing UML designs.	eTX	2005	DBLP DOI BibTeX RDF	EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing
39	Andrew Fish, Jean Flower	Euler Diagram Decomposition.	Diagrams	2008	DBLP DOI BibTeX RDF
39	Genya Ishigami, Keiji Nagatani, Kazuya Yoshida	Trafficability analysis for lunar/planetary exploration rover using Thrust-Cornering Characteristic Diagram.	IROS	2008	DBLP DOI BibTeX RDF
39	Marina L. Gavrilova, Jon G. Rokne	On Sweep-plane Analysis of Laguerre Voronoi Diagram.	ISVD	2007	DBLP DOI BibTeX RDF
39	Nagayoshi Nakazono, Kazuo Misue, Jiro Tanaka	NeL2: network drawing tool for handling layered structured network diagram.	APVIS	2006	DBLP DOI BibTeX RDF	layered structure, time series network, visualization, interactive system, graph drawing
39	Valdis Vitolins, Audris Kalnins	Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine.	EDOC	2005	DBLP DOI BibTeX RDF
39	Qingxi Shi, Xinyuan Liang, Qin Zhang	Causality diagram using normal fuzzy numbers.	GrC	2005	DBLP DOI BibTeX RDF
39	Peter Rodgers 0001, Paul Mutton, Jean Flower	Dynamic Euler Diagram Drawing.	VL/HCC	2004	DBLP DOI BibTeX RDF
39	Elizabeth R. Grant, Michael J. Spivey	Guiding Attention Produces Inferences in Diagram-Based Problem Solving.	Diagrams	2002	DBLP DOI BibTeX RDF
39	Yoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku	Hierarchical Program Diagram Editor Based on Attributed Graph Grammar.	COMPSAC	1996	DBLP DOI BibTeX RDF
39	María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing	A Heterogeneous Approach to UML Semantics.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
39	Jingyuan Zhang, Guangbin Fan	A Cellular Network Planning Technique to Minimize Exposure to RF Radiation.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
39	William G. Griswold, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, J. David Morgenthaler	Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	software maintenance and enhancement, modularity and information hiding, programmer study, abstract data types, re-engineering, graphical user interface design, Program restructuring
38	Hazel Everett, Daniel Lazard, Sylvain Lazard, Mohab Safey El Din	The Voronoi Diagram of Three Lines.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Quadric surface intersection, Computational geometry, Voronoi diagram, Computer algebra, Medial axis
38	David L. Millman, Jack Snoeyink	Computing the Implicit Voronoi Diagram in Triple Precision.	WADS	2009	DBLP DOI BibTeX RDF	Low-degree primitives, Robust computation, Randomized algorithm, Voronoi diagram
38	Armin Seyfried, Andreas Schadschneider	Fundamental Diagram and Validation of Crowd Models.	ACRI	2008	DBLP DOI BibTeX RDF	fundamental diagram, model validation, empirical data
38	Hazel Everett, Sylvain Lazard, Daniel Lazard, Mohab Safey El Din	The voronoi diagram of three lines.	SCG	2007	DBLP DOI BibTeX RDF	quadric surface intersection, Voronoi diagram, medial axis
38	Xinyuan Liang	Reasoning Algorithm of Multi-Value Fuzzy Causality Diagram Based on Unitizing Coefficient.	GrC	2007	DBLP DOI BibTeX RDF	Causality Diagram (CD), Single-value, Multi-value, Reasoning Algorithm, Unitizing Coefficient, Fuzzy
38	Ahmad Alsaadi	A performance analysis approach based on the UML class diagram.	WOSP	2004	DBLP DOI BibTeX RDF	QN performance model, data integrity constraints, data integrity model, performance values, UML class diagram
38	Gil Hoggarth, Mike A. Lockyer	An automated student diagram assessment system.	ITiCSE	1998	DBLP DOI BibTeX RDF	automated diagram assessment, learning framework, student feedback, CASE, CAL
38	Mark D. Gross, Ellen Yi-Luen Do	Diagram query and image retrieval in design.	ICIP	1995	DBLP DOI BibTeX RDF	architectural CAD, diagram query, architectural education, visual references, key word retrieval schemes, texture retrieval schemes, color retrieval schemes, shape based retrieval, free hand drawing, Drawing Analogies, diagram keys, architecture, digital libraries, query processing, image retrieval, image recognition, educational technology, visual databases, image indexing, architectural designers, conceptual design, creative design, visual images
38	Don E. Ross, Kenneth M. Butler, M. Ray Mercer	Exact ordered binary decision diagram size when representing classes of symmetric functions.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	Boolean function representation, Binary decision diagram, symbolic simulation, symmetric functions, ordered binary decision diagram
38	Akio Okazaki, Takashi Kondo, Kazuhiro Mori, Shou Tsunekawa, Eiji Kawamoto	An Automatic Circuit Diagram Reader with Loop-Structure-Based Symbol Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	automatic circuit diagram reader, loop-structure-based symbol recognition, logic circuit diagram reader, symbol segmentation, symbol identification, decision-tree control, character string recognition, connecting line analysis, computer vision, feature extraction, computerised pattern recognition, computerised pattern recognition, logic CAD, template matching, circuit CAD, VLSI-CAD
33	Ilkyu Ha, Byunguk Kang	Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram.	IDEAL	2008	DBLP DOI BibTeX RDF
33	Mateus de Oliveira Oliveira	Hasse Diagram Generators and Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency
33	Sara Streng, Karsten Stegmann, Heinrich Hußmann, Frank Fischer 0001	Metaphor or diagram?: comparing different representations for group mirrors.	OZCHI	2009	DBLP DOI BibTeX RDF	group mirror, collaborative learning, metaphor, ambient display
33	Peter Rodgers 0001, Leishi Zhang, Andrew Fish	General Euler Diagram Generation.	Diagrams	2008	DBLP DOI BibTeX RDF	Venn Diagrams, Euler Diagrams
33	Xinghua Fan, Feng Hu 0001, Simon X. Yang	A Fault Diagnosis Prototype System Based on Causality Diagram.	ICIC (2)	2006	DBLP DOI BibTeX RDF
33	Dejin Zhao, John C. Grundy, John G. Hosking	Generating mobile device user interfaces for diagram-based modelling tools.	AUIC	2006	DBLP BibTeX RDF	diagrams on mobile phones, collaborative design, mobile user interfaces
33	Luciano Baresi, Mauro Pezzè	Formal interpreters for diagram notations.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Semi-formal notations, semantics, graph transformation, high-level Petri nets
33	Yu Li, Aijun An	Representing UML Snowflake Diagram from Integrating XML Data Using XML Schema.	DEEC	2005	DBLP DOI BibTeX RDF
33	Yue Lu 0001, Chew Lim Tan	Constructing Area Voronoi Diagram in Document Images.	ICDAR	2005	DBLP DOI BibTeX RDF
33	Xinyuan Liang, Qingxi Shi, Qin Zhang	Correspondence between causality diagram and neural networks.	GrC	2005	DBLP DOI BibTeX RDF
33	Mutlu Avci, Tülay Yildirim	A coding method for 123 decision diagram pass transistor logic circuit synthesis.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
33	Deok-Soo Kim, Donguk Kim 0001, Kokichi Sugihara	Voronoi Diagram of Circles in a Large Circle.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
33	Marina L. Gavrilova	An Explicit Solution for Computing the Euclidean -dimensional Voronoi Diagram of Spheres in a Floating-Point Arithmetic.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
33	Deok-Soo Kim, Donguk Kim 0001, Kokichi Sugihara, Joonghyun Ryu	Robust and Fast Algorithm for a Circle Set Voronoi Diagram in a Plane.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
33	Francis Y. L. Chin, Der-Tsai Lee, Cao An Wang	A Parallel Algorithm for Finding the Constrained Voronoi Diagram of Line Segments in the Plane.	WADS	1999	DBLP DOI BibTeX RDF
33	Paolo Tonella	Using the O-A Diagram to Encapsulate Dynamic Memory Access.	ICSM	1998	DBLP DOI BibTeX RDF
33	Luca de Alfaro, Zohar Manna	Temporal Verification by Diagram Transformations.	CAV	1996	DBLP DOI BibTeX RDF