Search results for "linker"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Daqing Hou, H. James Hoover	Source-Level Linkage: Adding Semantic Information to C++ Fact-bases.	ICSM	2006	DBLP DOI BibTeX RDF	source-level linkage, Datrix, C++, fact extraction, type analysis, name resolution
67	Paul Reed	An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools.	JMLC	2003	DBLP DOI BibTeX RDF
63	Nazar Zaki	Protein-Protein Interaction Prediction Using Homology and Inter-domain Linker Region Information.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Inter-domain Linker Region, yeast protein, Prediction, Protein-Protein Interaction, Homology
55	Abdulmalik Al-Gahmi, Jonathan E. Cook	Towards a service-based middleware layer for runtime environments.	SAC	2008	DBLP DOI BibTeX RDF	dynamic linker, service-based architecture, middleware, runtime environments
52	Manuel E. Benitez, Jack W. Davidson	A Portable Global Optimizer and Linker.	PLDI	1988	DBLP DOI BibTeX RDF	C, VAX
46	Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti	VT-LINKER: Visual-Textual-Knowledge Entity Linker.	ECAI	2020	DBLP DOI BibTeX RDF
44	Carl von Platen, Johan Eker	Feedback linking: optimizing object code layout for updates.	LCTES	2006	DBLP DOI BibTeX RDF	incremental software update, flash memory
44	Changwoo Pyo, Gyungho Lee	Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack.	ICICS	2002	DBLP DOI BibTeX RDF	program counter, function pointer encoding, memory arrangement checking, buffer overflow attack
44	Russell W. Quong, Mark A. Linton	Linking Programs Incrementally.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	performance
40	C. Murray Woodside, Gerald G. Monforton	Fast Allocation of Processes in Distributed and Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	MULTIFIT-COM, static task allocator, automatedcompiler/linker/loader, bin-packing algorithm, high system throughput, asymptotic bound, digital signal processing system, clustering, distributed systems, load balancing, parallel processing, resource allocation, distributed processing, program compilers, parallel systems, interprocessor communication, operations research, distributed processing systems
40	Mark A. Linton, Russell W. Quong	A Macroscopic Profile of Program Compilation and Linking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	macroscopic profile, incremental programming environment, incremental linker, program compilation, program compilers
40	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
38	Jih-Ching Chiu, Ta-Li Yeh, Mun-Kit Leong	The Software and Hardware Integration Linker for Reconfigurable Embedded System.	CSE (2)	2009	DBLP DOI BibTeX RDF
29	Vito Di Gesù, Giosuè Lo Bosco, Luca Pinello	A One Class Classifier for Signal Identification: A Biological Case Study.	KES (3)	2008	DBLP DOI BibTeX RDF
29	Ge Zhu, Akhilesh Tyagi	Protection against Indirect Overflow Attacks on Pointers.	IWIA	2004	DBLP DOI BibTeX RDF
29	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
29	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
29	Philip W. L. Fong, Robert D. Cameron	Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	Java
29	Norman Ramsey, Mary F. Fernandez	Specifying Representations of Machine Instructions.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	encoding, decoding, compiler generation, relocation, object code, machine description, machine code
29	Diomidis Spinellis	Type-safe linkage for variables and functions.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
29	Ronald M. Caplan, Craig D. Johnston, Lars K. S. Daldoff, Jon A. Linker	Advancing parabolic operators in thermodynamic MHD models II: Evaluating a Practical Time Step Limit for Unconditionally Stable Methods.	CoRR	2024	DBLP DOI BibTeX RDF
29	Felix Linker, David A. Basin	SOAP: A Social Authentication Protocol.	CoRR	2024	DBLP DOI BibTeX RDF
29	Yevgeniya Orlova, Raphael Linker	Data assimilation with sensitivity-based particle filter: A simulation study with AquaCrop.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
29	Yevgeniya Orlova, Raphael Linker	Enhancing state and parameter estimations of a dynamic crop model by a recombination particle filter.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
29	Hikaru Ibayashi, Taufeq Mohammed Razakh, Liqiu Yang, Thomas Linker, Marco Olguin, Shinnosuke Hattori, Ye Luo, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, Priya Vashishta	Allegro-Legato: Scalable, Fast, and Robust Neural-Network Quantum Molecular Dynamics via Sharpness-Aware Minimization.	CoRR	2023	DBLP DOI BibTeX RDF
29	Martin Feder, Michal Horovitz, Assaf Chen, Raphael Linker, Ofer M. Shir	Lessons Learned Report: Super-Resolution for Detection Tasks in Engineering Problem-Solving.	CoRR	2023	DBLP DOI BibTeX RDF
29	Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker	Acceleration of a production Solar MHD code with Fortran standard parallelism: From OpenACC to 'do concurrent'.	CoRR	2023	DBLP DOI BibTeX RDF
29	Felix Linker, David A. Basin	ADEM: An Authentic Digital EMblem.	CCS	2023	DBLP DOI BibTeX RDF
29	Gregorio Toscano, Hoda Razavi, A. Pouyan Nejadhashemi, Kalyanmoy Deb, Lewis C. Linker	Utilizing Innovization to Solve Large-Scale Multi-Objective Chesapeake Bay Watershed Problem.	CEC	2023	DBLP DOI BibTeX RDF
29	Hikaru Ibayashi, Taufeq Mohammed Razakh, Liqiu Yang, Thomas Linker, Marco Olguin, Shinnosuke Hattori, Ye Luo, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, Priya Vashishta	Allegro-Legato: Scalable, Fast, and Robust Neural-Network Quantum Molecular Dynamics via Sharpness-Aware Minimization.	ISC	2023	DBLP DOI BibTeX RDF
29	Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker	Acceleration of a production Solar MHD code with Fortran standard parallelism: From OpenACC to 'do concurrent'.	IPDPS Workshops	2023	DBLP DOI BibTeX RDF
29	Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.)	Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings	Diagrams	2022	DBLP DOI BibTeX RDF
29	Gregorio Toscano, Juan Sebastian Hernandez-Suarez, Julian Blank, A. Pouyan Nejadhashemi, Kalyanmoy Deb, Lewis C. Linker	Large-scale Multi-objective Optimization for Water Quality in Chesapeake Bay Watershed.	CEC	2022	DBLP DOI BibTeX RDF
29	Connor Powers, Lindsay Bassman, Thomas Linker, Ken-ichi Nomura, Sahil Gulania, Rajiv K. Kalia, Aiichiro Nakano, Priya Vashishta	MISTIQS: An open-source software for performing quantum dynamics simulations on quantum computers.	SoftwareX	2021	DBLP DOI BibTeX RDF
29	Benjamin Ries, Stephanie M. Linker, David F. Hahn, Gerhard König, Sereina Riniker	Ensembler: A Simple Package for Fast Prototyping and Teaching Molecular Simulations.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
29	Miko M. Stulajter, Ronald M. Caplan, Jon A. Linker	Can Fortran's 'do concurrent' replace directives for accelerated computing?	CoRR	2021	DBLP BibTeX RDF
29	Rafael C. Cardoso 0001, Angelo Ferrando 0001, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne	MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.	CoRR	2021	DBLP BibTeX RDF
29	Simon van Mourik, Rik van der Tol, Raphael Linker, Daniel Reyes-Lastiri, Gert Kootstra, Peter W. G. Groot Koerkamp, Eldert J. van Henten	Introductory overview: Systems and control methods for operational management support in agricultural production systems.	Environ. Model. Softw.	2021	DBLP DOI BibTeX RDF
29	Daniel E. Kaufman, Gary Shenk, Gopal Bhatt, Kevin W. Asplen, Olivia H. Devereux, Jessica R. Rigelman, J. Hugh Ellis, Benjamin F. Hobbs, Darrell Bosch, George L. Van Houtven, Arthur E. McGarity, Lewis C. Linker, William P. Ball	Supporting cost-effective watershed management strategies for Chesapeake Bay using a modeling and optimization framework.	Environ. Model. Softw.	2021	DBLP DOI BibTeX RDF
29	Sven Linker	Natural Deduction for Intuitionistic Euler-Venn Diagrams.	Diagrams	2021	DBLP DOI BibTeX RDF
29	Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana (eds.)	Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings	Diagrams	2021	DBLP DOI BibTeX RDF
29	Sven Linker, Fabio Papacchini, Michele Sevegnani	Finite Models for a Spatial Logic with Discrete and Topological Path Operators.	MFCS	2021	DBLP DOI BibTeX RDF
29	Pankaj Rajak, Anikeya Aditya, Shogo Fukushima, Rajiv K. Kalia, Thomas Linker, Kuang Liu, Ye Luo, Aiichiro Nakano, Ken-ichi Nomura, Kohei Shimamura, Fuyuki Shimojo, Priya Vashishta	Ex-NNQMD: Extreme-Scale Neural Network Quantum Molecular Dynamics.	IPDPS Workshops	2021	DBLP DOI BibTeX RDF
29	Miko M. Stulajter, Ronald M. Caplan, Jon A. Linker	Can Fortran's 'do concurrent' Replace Directives for Accelerated Computing?	WACCPD@SC	2021	DBLP DOI BibTeX RDF
29	Yevgeniya Orlova, Raphael Linker, Boris Spektor	Forecasting the potential of apple fruitlet drop by in-situ Vis-NIR spectroscopy.	Comput. Electron. Agric.	2020	DBLP DOI BibTeX RDF
29	Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001	Multi-scale verification of distributed synchronisation.	Formal Methods Syst. Des.	2020	DBLP DOI BibTeX RDF
29	Sven Linker	Intuitionistic Euler-Venn Diagrams (extended).	CoRR	2020	DBLP BibTeX RDF
29	Sven Linker, Fabio Papacchini, Michele Sevegnani	Analysing Spatial Properties on Neighbourhood Spaces.	CoRR	2020	DBLP BibTeX RDF
29	Sven Linker	Intuitionistic Euler-Venn Diagrams.	Diagrams	2020	DBLP DOI BibTeX RDF
29	Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker (eds.)	Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings	Diagrams	2020	DBLP DOI BibTeX RDF
29	Sven Linker, Fabio Papacchini, Michele Sevegnani	Analysing Spatial Properties on Neighbourhood Spaces.	MFCS	2020	DBLP DOI BibTeX RDF
29	Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker	Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).	Dagstuhl Reports	2019	DBLP DOI BibTeX RDF
29	Sara B. Linker, Jonathan Y. Hsu, Adela Pfaff, Debha Amatya, Shu-Meng Ko, Sarah Voter, Quinn Wong, Fred H. Gage	BrainImageR: spatiotemporal gene set analysis referencing the human brain.	Bioinform.	2019	DBLP DOI BibTeX RDF
29	Kim Janine Blankenhagel, Miriam Linker, Rüdiger Zarnekow	Evaluating the Requirements of Digital Stress Management Systems: A Modified Delphi Study.	MobiHealth	2019	DBLP DOI BibTeX RDF
29	Eviatar Edlerman, Raphael Linker	Autonomous Multi-Robot System for use in Vineyards and Orchards.	MED	2019	DBLP DOI BibTeX RDF
29	Ringo Baumann, Felix Linker	AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.	JELIA	2019	DBLP DOI BibTeX RDF
29	Mario Gleirscher, Stefan Kugele, Sven Linker	SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
29	Mario Gleirscher, Stefan Kugele, Sven Linker	SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
29	Mario Gleirscher, Stefan Kugele, Sven Linker (eds.)	Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.	SCAV@CPSWeek	2018	DBLP BibTeX RDF
29	Ronald M. Caplan, Jon A. Linker, Zoran Mikic, C. Downs, T. Török, V. S. Titov	GPU Acceleration of an Established Solar MHD Code using OpenACC.	CoRR	2018	DBLP BibTeX RDF
29	Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001	Multi-Scale Verification of Distributed Synchronisation.	CoRR	2018	DBLP BibTeX RDF
29	Mario Gleirscher, Sven Linker, Stefan Kugele	SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.	CoRR	2018	DBLP BibTeX RDF
29	Maryam Kamali, Sven Linker, Michael Fisher 0001	Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.	CoRR	2018	DBLP BibTeX RDF
29	Sven Linker	Sequent Calculus for Euler Diagrams.	Diagrams	2018	DBLP DOI BibTeX RDF
29	Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.	ICFEM	2018	DBLP DOI BibTeX RDF
29	Maryam Kamali, Sven Linker, Michael Fisher 0001	Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.	FTSCS	2018	DBLP DOI BibTeX RDF
29	Oz Kira, Anthony L. Nguy-Robertson, Timothy J. Arkebauer, Raphael Linker, Anatoly A. Gitelson	Toward Generic Models for Green LAI Estimation in Maize and Soybean: Satellite Observations.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
29	Ronald M. Caplan, Zoran Mikic, Jon A. Linker	From MPI to MPI+OpenACC: Conversion of a legacy FORTRAN PCG solver for the spherical Laplace equation.	CoRR	2017	DBLP BibTeX RDF
29	Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.	CoRR	2017	DBLP BibTeX RDF
29	Sven Linker, Michele Sevegnani	Formalising Sensor Topologies for Target Counting.	ALP4IoT@iFM	2017	DBLP DOI BibTeX RDF
29	Lukas Bulwahn, Maryam Kamali, Sven Linker (eds.)	Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.	FVAV@iFM	2017	DBLP BibTeX RDF
29	Sven Linker	Hybrid Multi-Lane Spatial Logic.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
29	Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog	Synthesizing and verifying controllers for multi-lane traffic maneuvers.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
29	Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001	Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.	QEST	2017	DBLP DOI BibTeX RDF
29	Sven Linker	Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.	IFM	2017	DBLP DOI BibTeX RDF
29	Raphael Linker, G. Sylaios	Efficient model-based sub-optimal irrigation scheduling using imperfect weather forecasts.	Comput. Electron. Agric.	2016	DBLP DOI BibTeX RDF
29	Moshe P. Mann, Boaz Zion, Itzhak Shmulevich, Dror Rubinstein, Raphael Linker	Combinatorial Optimization and Performance Analysis of a Multi-arm Cartesian Robotic Fruit Harvester - Extensions of Graph Coloring.	J. Intell. Robotic Syst.	2016	DBLP DOI BibTeX RDF
29	Sven Linker, Jim Burton 0001, Mateja Jamnik	Tactical Diagrammatic Reasoning.	UITP	2016	DBLP DOI BibTeX RDF
29	Ronald M. Caplan, Zoran Mikic, Jon A. Linker, Roberto Lionello	Advancing parabolic operators in thermodynamic MHD models: Explicit super time-stepping versus implicit schemes with Krylov solvers.	CoRR	2016	DBLP BibTeX RDF
29	Moshe P. Mann, Boaz Zion, Dror Rubinstein, Rafi Linker, Itzhak Shmulevich	The Orienteering Problem with Time Windows Applied to Robotic Melon Harvesting.	J. Optim. Theory Appl.	2016	DBLP DOI BibTeX RDF
29	Sven Linker, Peter Rodgers 0001 (eds.)	Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), Philadelphia, USA, August 7, 2016.	SetVR@Diagrams	2016	DBLP BibTeX RDF
29	Sven Linker, Jim Burton 0001, Andrew Blake 0002	Measuring User Comprehension of Inference Rules in Euler Diagrams.	Diagrams	2016	DBLP DOI BibTeX RDF
29	Raphael Linker, Eliyahu Kelman	Apple detection in nighttime tree images using the geometry of light patches around highlights.	Comput. Electron. Agric.	2015	DBLP DOI BibTeX RDF
29	Sven Linker, Martin Hilscher	Proof Theory of a Multi-Lane Spatial Logic.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
29	Oz Kira, Raphael Linker, Anatoly A. Gitelson	Non-destructive estimation of foliar chlorophyll and carotenoid contents: Focus on informative spectral bands.	Int. J. Appl. Earth Obs. Geoinformation	2015	DBLP DOI BibTeX RDF
29	Pete Riley, Michal Ben-Nun, Jon A. Linker, Angelia A. Cost, Jose L. Sanchez, Dylan B. George, David P. Bacon, Steven Riley	Early Characterization of the Severity and Transmissibility of Pandemic Influenza Using Clinical Episode Data from Multiple Populations.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
29	Sven Linker	Proofs for traffic safety - combining diagrams and logic.		2015	RDF
29	Jim Burton 0001, Sven Linker	Generating readable diagrammatic proofs.	VL/HCC	2015	DBLP DOI BibTeX RDF
29	Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog	Synthesizing Controllers for Multi-lane Traffic Maneuvers.	SETTA	2015	DBLP DOI BibTeX RDF
29	Ilya Ioslovich, Raphael Linker	Optimal Irrigation Scheduling and Crop Production Functions Development using AquaCrop and TOMLAB.	ICINCO (1)	2015	DBLP DOI BibTeX RDF
29	Roberto Araya, Ragnar Behncke, Amitai Linker, Johan Van der Molen	Mining Social Behavior in the Classroom.	ICCCI (2)	2015	DBLP DOI BibTeX RDF
29	Michael S. P. Miller, Sheldon O. Linker, Ghassan Azar	The Equilibration of Neural Propositions.	BICA	2014	DBLP DOI BibTeX RDF
29	Pete Riley, Michal Ben-Nun, Richard Armenta, Jon A. Linker, Angela A. Eick, Jose L. Sanchez, Dylan B. George, David P. Bacon, Steven Riley	Multiple Estimates of Transmissibility for the 2009 Influenza Pandemic Based on Influenza-like-Illness Data from Small US Military Populations.	PLoS Comput. Biol.	2013	DBLP DOI BibTeX RDF
29	Sven Linker, Martin Hilscher	Proof Theory of a Multi-Lane Spatial Logic.	ICTAC	2013	DBLP DOI BibTeX RDF
29	Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog	Proving Safety of Traffic Manoeuvres on Country Roads.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
29	Sven Linker	Translating Structural Process Properties to Petri Net Markings.	ACSD	2012	DBLP DOI BibTeX RDF
29	Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel	Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.	Int. J. Softw. Informatics	2011	DBLP BibTeX RDF
29	Eung-Hun Kim, David T. Linker, Anil Coumar, Larry S. Dean, Frederick A. Matsen III, Yongmin Kim 0001	Factors Affecting Acceptance of a Web-Based Self-Referral System.	IEEE Trans. Inf. Technol. Biomed.	2011	DBLP DOI BibTeX RDF
29	Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn	An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.	ICFEM	2011	DBLP DOI BibTeX RDF
29	Sven Linker	Diagrammatic Specification of Mobile Real-Time Systems.	Diagrams	2010	DBLP DOI BibTeX RDF