Search results for "notations"

Hits ?▲	Authors	Title	Venue	Year	Link
18	André Greiner-Petter, Moritz Schubotz, Fabian Müller 0002, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp	Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.	WWW	2020	DBLP DOI BibTeX RDF
18	Sina Namaki Araghi, Franck Fontanili, Elyes Lamine, Nicolas Salatgé, Frédérick Bénaben	Interpretation of Patients' Location Data to Support the Application of Process Mining Notations.	HEALTHINF	2020	DBLP DOI BibTeX RDF
18	Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.	Business Process Management Workshops	2020	DBLP DOI BibTeX RDF
18	Sebastian Ullrich 0002, Leonardo de Moura 0001	Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.	IJCAR (2)	2020	DBLP DOI BibTeX RDF
18	Shana Agid, Yoko Akama	Reflexive account-giving through 'practice notations': : plural dimensions and dynamics of infrastructuring.	PDC (2)	2020	DBLP DOI BibTeX RDF
18	Asfand Yar, Akram Idani, Simon Collart Dutilleul	Merging Railway Standard Notations in a Formal DSL-Based Framework.	ECSA Companion	2020	DBLP DOI BibTeX RDF
18	Alexander Repenning, Jürg Zurmühle, Anna Lamprou, Daniel Hug 0002	Computational Music Thinking Patterns: Connecting Music Education with Computer Science Education through the Design of Interactive Notations.	CSEDU (1)	2020	DBLP DOI BibTeX RDF
18	Dirk van der Linden, Irit Hadar, Anna Zamansky	What practitioners really want: requirements for visual notations in conceptual modeling.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
18	Célia Martinie, Philippe A. Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni	Analysing and Demonstrating Tool-Supported Customizable Task Notations.	Proc. ACM Hum. Comput. Interact.	2019	DBLP DOI BibTeX RDF
18	Kobamelo Moremedi, John Andrew van der Poll	Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.	Int. J. Data Min. Model. Manag.	2019	DBLP DOI BibTeX RDF
18	Dirk van der Linden, Irit Hadar	A Systematic Literature Review of Applications of the Physics of Notations.	IEEE Trans. Software Eng.	2019	DBLP DOI BibTeX RDF
18	Kaizheng Wang	Some compact notations for concentration inequalities and user-friendly results.	CoRR	2019	DBLP BibTeX RDF
18	Cristina Cachero, Santiago Meliá, Jesús M. Hermida	Impact of model notations on the productivity of domain modelling: An empirical study.	Inf. Softw. Technol.	2019	DBLP DOI BibTeX RDF
18	Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad	Formalization of Asymptotic Notations in HOL4.	ICCCS	2019	DBLP DOI BibTeX RDF
18	Delfina Malandrino, Alfonso Guarino, Nicola Lettieri, Rocco Zaccagnino	On the Visualization of Logic: A Diagrammatic Language Based on Spatial, Graphical and Symbolic Notations.	IV (1)	2019	DBLP DOI BibTeX RDF
18	I. Puja, Patrizia Poscic, Danijela Jaksic	Overview and Comparison of Several elational Database Modelling Metodologies and Notations.	MIPRO	2019	DBLP DOI BibTeX RDF
18	Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer	Reusable Textual Notations for Domain-Specific Languages.	OCL@MoDELS	2019	DBLP BibTeX RDF
18	Birger Lantow, Maria Dehne, Felix Holz	Evaluating Notations for Product-Service Modeling in 4EM: General Concept Modeling vs. Specific Language.	PrOse@PoEM	2019	DBLP BibTeX RDF
18	Wander Limeira, Dilvan Abreu Moreira	Um Modelo de Notações Customizáveis para Representação de Ontologias(A Customizable Notations Model for Representing Ontologies).	ONTOBRAS	2019	DBLP BibTeX RDF
18	Thomas Thüm, Christoph Seidl 0001, Ina Schaefer	On language levels for feature modeling notations.	SPLC (B)	2019	DBLP DOI BibTeX RDF
18	Vasyl Sheketa, Liudmyla Poteriailo, Yulia Romanyshyn, Volodymyr Pikh, Mykola Pasyeka, Mykola Chesanovskyy	Case-Based Notations for Technological Problems Solving in the Knowledge-Based Environment.	CSIT (1)	2019	DBLP DOI BibTeX RDF
18	Konrad Hinsen	Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface.	PeerJ Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Konrad Hinsen	Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research.	CoRR	2018	DBLP BibTeX RDF
18	Konrad Hinsen	Digital scientific notations as a human-computer interface in computer-aided research.	PeerJ Prepr.	2018	DBLP DOI BibTeX RDF
18	Mert Ozkaya	Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
18	Alexander V. Smirnov 0001, Nikolay Shilov 0001	Multi-aspect Ontology for Semantic Interoperability in PLM: Analysis of Possible Notations.	PLM	2018	DBLP DOI BibTeX RDF
18	Cathrine F. Seidelin	Developing Notations for Data Infrastructuring in Participatory Design.	CSCW Companion	2018	DBLP DOI BibTeX RDF
18	Glaice Kelly da Silva Quirino, Monalessa Perini Barcellos, Ricardo de Almeida Falbo	Visual notations for software pattern languages: a mapping study.	SBES	2018	DBLP DOI BibTeX RDF
18	Michael Zimoch, Rüdiger Pryss, Thomas Probst, Winfried Schlee, Manfred Reichert	The Repercussions of Business Process Modeling Notations on Mental Load and Mental Effort.	Business Process Management Workshops	2018	DBLP DOI BibTeX RDF
18	Nungki Selviandro, Tim Kelly, Richard Hawkins	The visual inheritance structure to support the design of visual notations.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
18	Dominik Bork, Dimitris Karagiannis, Benedikt Pittl	Systematic analysis and evaluation of visual conceptual modeling language notations.	RCIS	2018	DBLP DOI BibTeX RDF
18	Rafael Prieto de Lope, José Rafael López-Arcos, Nuria Medina-Medina, Patricia Paderewski, Francisco Luis Gutiérrez Vela	Design methodology for educational games based on graphical notations: Designing Urano.	Entertain. Comput.	2017	DBLP DOI BibTeX RDF
18	Alexander van Den Berghe, Riccardo Scandariato, Koen Yskout, Wouter Joosen	Design notations for secure software: a systematic literature review.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
18	Rana Siadati, Paul Wernick, Vito Veneziano	Modelling politics in requirements engineering: adding emoji to existing notations.	CoRR	2017	DBLP BibTeX RDF
18	Ahti-Veikko Pietarinen, Francesco Bellucci	Assertion and denial: A contribution from logical notations.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
18	Ahti-Veikko Pietarinen, Francesco Bellucci	Reprint of: Assertion and denial: A contribution from logical notations.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
18	Krzysztof Kluza, Piotr Wisniewski 0003, Krystian Jobczyk, Antoni Ligeza, Anna Suchenia	Comparison of Selected Modeling Notations for Process, Decision and System Modeling.	FedCSIS	2017	DBLP DOI BibTeX RDF
18	Dirk van der Linden, Anna Zamansky, Irit Hadar	A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations.	RE	2017	DBLP DOI BibTeX RDF
18	Dirk van der Linden	Using Visual Notations with Modeling Experts or Novices: What do the Experts Think?	CAiSE Workshops	2017	DBLP DOI BibTeX RDF
18	Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis	Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations.	VL/HCC	2017	DBLP DOI BibTeX RDF
18	Katsiaryna Labunets, Fabio Massacci, Alessandra Tedeschi	Graphical vs. Tabular Notations for Risk Models: On the Role of Textual Labels and Complexity.	ESEM	2017	DBLP DOI BibTeX RDF
18	Jerry M. Mendel, Mohammad Reza Rajati, Peter Sussner	On clarifying some definitions and notations used for type-2 fuzzy sets as well as some recommended changes.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
18	Konrad Hinsen	Scientific notations for the digital era.	CoRR	2016	DBLP BibTeX RDF
18	Chris Roast, Elizabeth Uruchurtu	Reflecting on the Physics of Notations applied to a visualisation case study.	MexIHC	2016	DBLP DOI BibTeX RDF
18	Anitta Thomas, Aurona Gerber, Alta van der Merwe	An Investigation into OWL for Concrete Syntax Specification Using UML Notations.	Diagrams	2016	DBLP DOI BibTeX RDF
18	Stephan Seifermann, Henning Groenda	Survey on Textual Notations for the Unified Modeling Language.	MODELSWARD	2016	DBLP DOI BibTeX RDF
18	Stephan Seifermann, Henning Groenda	Survey on the Applicability of Textual Notations for the Unified Modeling Language.	MODELSWARD (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
18	Dirk van der Linden, Irit Hadar	Evaluating the Evaluators - An Analysis of Cognitive Effectiveness Improvement Efforts for Visual Notations.	ENASE	2016	DBLP DOI BibTeX RDF
18	K. Sohel Rana, Mohammed Laeeq Shaikh, Sayyad Ajij Dildar	Survey, study and review of coordinate system notations using 3D environment for better understanding of EM fields behavior.	WOCN	2016	DBLP DOI BibTeX RDF
18	Dirk van der Linden, Anna Zamansky, Irit Hadar	How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations.	BMMDS/EMMSAD	2016	DBLP DOI BibTeX RDF
18	Carmelo Ardito, Giuseppe Desolda, Maristella Matera, Maria Francesca Costabile	Exploiting Visual Notations for Data Exploration: The EFESTO Platform.	AVI	2016	DBLP DOI BibTeX RDF
18	Christoph Seidl 0001, Tim Winkelmann, Ina Schaefer	A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages.	Modellierung	2016	DBLP BibTeX RDF
18	Rodi Jolak, Boban Vesin, Marcus Isaksson, Michel R. V. Chaudron	Towards a New Generation of Software Design Environments: Supporting the Use of Informal and Formal Notations with OctoUML.	HuFaMo@MoDELS	2016	DBLP BibTeX RDF
18	Johnson Liew, Jie-Jun Zhu, Sheng-Chieh Wang, Jia-Ying Chou	Notations.	SIGGRAPH ASIA Art Gallery	2016	DBLP DOI BibTeX RDF
18	Vanessa Petrausch, Stephan Seifermann, Karin Müller 0001	Guidelines for Accessible Textual UML Modeling Notations.	ICCHP (1)	2016	DBLP DOI BibTeX RDF
18	George Popescu	Designing modeling notations readers understand.		2016	DOI RDF
18	Jeremy E. Cohen	About Notations in Multiway Array Processing.	CoRR	2015	DBLP BibTeX RDF
18	David Ryan	A new Computer Friendly Notation for Musical Composition in Just Intonation allowing Easy Transposition by Multiplication of Notations.	CoRR	2015	DBLP BibTeX RDF
18	Iman Avazpour, John Grundy 0001, Lars Grunske	Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations.	J. Vis. Lang. Comput.	2015	DBLP DOI BibTeX RDF
18	Iman Avazpour, John C. Grundy, Hai Le Vu	Generating Reusable Visual Notations Using Model Transformation.	Int. J. Softw. Eng. Knowl. Eng.	2015	DBLP DOI BibTeX RDF
18	Thomas R. G. Green, Noora Fetais	How Notations Are Developed: A Proposed Notational Lifecycle.	PLM	2015	DBLP DOI BibTeX RDF
18	Adrian Johnstone	Notions and notations: designing computers before computing.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
18	Zdena Dobesová, Lucia Lackova, Martin Malcík	Perception and cognition of different types of graphic notations as a source of information in applied informatics.	SACI	2015	DBLP DOI BibTeX RDF
18	Daniela Oliveira Ferreira do Amaral, Maiki Buffet, Renata Vieira	Comparative Analysis between Notations to Classify Named Entities using Conditional Random Fields.	STIL	2015	DBLP BibTeX RDF
18	Luiz Gustavo de Souza, Simone Diniz Junqueira Barbosa	Evaluating the moLICC notation using the cognitive dimensions of notations framework.	IHC	2015	DBLP DOI BibTeX RDF
18	Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek	On the Semantic Transparency of Visual Notations: Experiments with UML.	SDL Forum	2015	DBLP DOI BibTeX RDF
18	Jörn Hurtienne, Diana Löffler, Patty Gadegast, Steffi Hußlein	Comparing Pictorial and Tangible Notations of Force Image Schemas.	TEI	2015	DBLP DOI BibTeX RDF
18	Robert Singer	User Centered Development of Agent-based Business Process Models and Notations.	CoRR	2014	DBLP BibTeX RDF
18	Peter C.-H. Cheng	Graphical notations for syllogisms: How alternative representations impact the accessibility of concepts.	J. Vis. Lang. Comput.	2014	DBLP DOI BibTeX RDF
18	Iman Avazpour, John C. Grundy, Hai Le Vu	Generating Reusable Visual Notations using Model Transformation.	VINCI	2014	DBLP DOI BibTeX RDF
18	Girma Zemedu, Yaregal Assabie	Concatenative Hymn Synthesis from Yared Notations.	PolTAL	2014	DBLP DOI BibTeX RDF
18	Bernhard Hoisl, Stefan Sobernig, Mark Strembeck	Comparing Three Notations for Defining Scenario-based Model Tests: A Controlled Experiment.	QUATIC	2014	DBLP DOI BibTeX RDF
18	Bernhard Hoisl, Stefan Sobernig, Mark Strembeck	Comparing Three Notations for Defining Scenario-Based Model Tests: A Controlled Experiment.	QUATIC	2014	DBLP DOI BibTeX RDF
18	Ralf Laue 0001, Frank Hogrebe, Boris Böttcher, Markus Nüttgens	Efficient visual notations for efficient stakeholder communication.	RE	2014	DBLP DOI BibTeX RDF
18	Richard Hoadley	Making People Move: Dynamic musical notations.	ICMC	2014	DBLP BibTeX RDF
18	Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard	MID: A MetaCASE Tool for a Better Reuse of Visual Notations.	SAM	2014	DBLP DOI BibTeX RDF
18	Markus Voelter, Sascha Lisson	Supporting Diverse Notations in MPS' Projectional Editor.	GEMOC@MoDELS	2014	DBLP BibTeX RDF
18	Frédéric Jouault, Jérôme Delatour	Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems.	OCL@MoDELS	2014	DBLP BibTeX RDF
18	Philippe Martin 0004, Jérémy Bénard	An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations.	KEOD	2014	DBLP DOI BibTeX RDF
18	Ralf Laue 0001, Frank Hogrebe, Boris Böttcher, Markus Nüttgens	Preliminary Results on the Understandability of i* Notations.	iStar	2014	DBLP BibTeX RDF
18	George Popescu, Alain Wegmann	Using the Physics of Notations Theory to Evaluate the Visual Notation of SEAM.	CBI (2)	2014	DBLP DOI BibTeX RDF
18	Cui Tao, Jyotishman Pathak, Harold R. Solbrig, Wei-Qi Wei, Christopher G. Chute	Terminology representation guidelines for biomedical ontologies in the semantic web notations.	J. Biomed. Informatics	2013	DBLP DOI BibTeX RDF
18	Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody	Visual notation design 2.0: Towards user comprehensible requirements engineering notations.	RE	2013	DBLP DOI BibTeX RDF
18	Kobamelo Moremedi, John Andrew van der Poll	Transforming Formal Specification Constructs into Diagrammatic Notations.	MEDI	2013	DBLP DOI BibTeX RDF
18	Juichi Kosakaya, Naruhito Kodama, Reiko Kawamorita	Research of the automatic scoring system by taking sounds down in musical notations for traditional folk instruments(Tsugaru shamisen).	ISIE	2013	DBLP DOI BibTeX RDF
18	Iman Avazpour, John Grundy 0001	Using concrete visual notations as first class citizens for model transformation specification.	VL/HCC	2013	DBLP DOI BibTeX RDF
18	Harald Störrle, Andrew Fish	Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages.	MoDELS	2013	DBLP DOI BibTeX RDF
18	Sam Supakkul, Lawrence Chung, R. J. Macasaet, José Luis Garrido, María Luisa Rodríguez 0001, Manuel Noguera	Modeling and Tracing Stakeholders' Goals across Notations using RE-Tools.	iStar	2013	DBLP BibTeX RDF
18	Cliff B. Jones	Expressiveness of Notations for Reasoning about Concurrency.	ICECCS	2013	DBLP DOI BibTeX RDF
18	Jan Heß, Christian Reuter 0001, Volkmar Pipek, Volker Wulf	Supporting End-User Articulations in Evolving Business Processes: a Case Study to Explore Intuitive Notations and Interaction Designs.	Int. J. Cooperative Inf. Syst.	2012	DBLP DOI BibTeX RDF
18	Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker	Code generation for a family of executable modelling notations.	Softw. Syst. Model.	2012	DBLP DOI BibTeX RDF
18	Kumar Chandan, Martijn P. van Iersel, Mirit I. Aladjem, Kurt W. Kohn, Augustin Luna	PathVisio-Validator: a rule-based validation plugin for graphical pathway notations.	Bioinform.	2012	DBLP DOI BibTeX RDF
18	Avner Ottensooser, Alan D. Fekete, Hajo A. Reijers, Jan Mendling, Con Menictas	Making sense of business process descriptions: An experimental comparison of graphical and textual notations.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
18	Nic Volanschi	Pattern matching for the masses using custom notations.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
18	Anne Gross, Jakub Jurkiewicz, Jörg Dörr, Jerzy R. Nawrocki	Investigating the usefulness of notations in the context of requirements engineering.	EmpiRE	2012	DBLP DOI BibTeX RDF
18	Carlos Monsalve, Alain April, Alain Abran	On the expressiveness of business process modeling notations for software requirements elicitation.	IECON	2012	DBLP DOI BibTeX RDF
18	Juliana Jansen Ferreira, Clarisse Sieckenius de Souza, Luciana Cardoso de Castro Salgado, Cleyton Slaviero, Carla Faria Leitão, Fábio de F. Moreira	Combining cognitive, semiotic and discourse analysis to explore the power of notations in visual programming.	VL/HCC	2012	DBLP DOI BibTeX RDF
18	John C. Thomas, Judah Diament, Jacquelyn Martino, Rachel K. E. Bellamy	Using the "Physics" of notations to analyze a visual representation of business decision modeling.	VL/HCC	2012	DBLP DOI BibTeX RDF
18	Fiona A. C. Polack	Choosing and adapting design notations in the principled development of complex systems simulations for research.	MOTPW@MoDELS	2012	DBLP DOI BibTeX RDF
18		Notations.	Traitement du Signal	2011	DBLP BibTeX RDF