Search results for "reification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Antoni Olivé	Relationship Reification: A Temporal View.	CAiSE	1999	DBLP DOI BibTeX RDF
78	Matthias Weber 0003	Deriving Transivity of VDM-Reification in DEVA.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
73	Alex Villazón, Walter Binder, Philippe Moret	Flexible calling context reification for aspect-oriented programming.	AOSD	2009	DBLP DOI BibTeX RDF	calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving
70	Olivier Danvy, Karoline Malmkjær	Intensions and Extensions in a Reflective Tower.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
64	France Henri, Bernadette Charlier, Mélanie Ciussi	Supporting the Reification Process within a Community of Practice.	ICALT	2009	DBLP DOI BibTeX RDF
64	Steven R. Newcomb	Preemptive Reification.	ISWC	2002	DBLP DOI BibTeX RDF
64	Stephan Diehl 0001, Andreas Kerren	Reification of Program Points for Visual Execution.	VISSOFT	2002	DBLP DOI BibTeX RDF
64	Tim Clement	Comparing Approaches to Data Reification.	FME	1994	DBLP DOI BibTeX RDF
50	Nicole Alexander, Siva Ravada	RDF Object Type and Reification in the Database.	ICDE	2006	DBLP DOI BibTeX RDF
50	Stuart W. Chalmers, Alun D. Preece, Timothy J. Norman, Peter M. D. Gray	Commitment Management through Constraint Reification.	AAMAS	2004	DBLP DOI BibTeX RDF
50	Guizhen Yang, Michael Kifer	On the Semantics of Anonymous Identity and Reification.	OTM	2002	DBLP DOI BibTeX RDF
50	Tim Clement	Data Reification without Explicit Abstraction Functions.	FME	1996	DBLP DOI BibTeX RDF
45	Kazuhisa Seta, Mitsuru Ikeda	Reification Method to Encourage the Learning Communication on Meta-Cognition.	KES (3)	2007	DBLP DOI BibTeX RDF	meta-skill learning, presentation task, learning communication on meta-cognition, Reification
44	Ghita Jalal	Reification of visual properties for composition tasks. (Réification des propriétés visuelles pour les tâches de composition).		2016	RDF
44	Gireg Desmeulles	Réification des interactions pour l'expérience in virtuo de systèmes biologiques multi-modèles. (Interactions reification to experience biological multi-models systems in virtuo).		2006	RDF
44	Selma Matougui	Proposition d'un processus de réification d'abstraction de communication comme un connecteur associé à des générateurs. (Proposal of a reification process for communication abstraction as a connector associated to generators).		2005	RDF
42	Drew V. McDermott, Dejing Dou	Representing Disjunction and Quantifiers in RDF.	ISWC	2002	DBLP DOI BibTeX RDF
37	Caroline Appert, Michel Beaudouin-Lafon	SMCanvas: augmenter la boîte à outils Java Swing pour prototyper des techniques d'interaction avancées.	IHM	2006	DBLP DOI BibTeX RDF	java swing, polymorphism, toolkit, state machine, widget, reification
37	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Contraint-Based Combinators for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
37	Nadeem Jamali, Xinghui Zhao	A scalable approach to multi-agent resource acquisition and control.	AAMAS	2005	DBLP DOI BibTeX RDF	control reification, cyberorgs, coordination, actors, hierarchical control, resource control
37	Dharini Balasubramaniam, Ronald Morrison, Kath Mickan, Graham N. C. Kirby, Brian Warboys, Ian Robertson, Bob Snowdon, Robert Mark Greenwood, Wykeen Seet	Support for feedback and change in self-adaptive systems.	WOSS	2004	DBLP DOI BibTeX RDF	hyper-code, recomposition, adaptation, software architectures, constraints, composition, policy, reflection, feedback, decomposition, autonomics, probes, mechanism, self-adaptive systems, reification
37	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
37	Neil Henderson, Stephen Paynter	The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.	FME	2002	DBLP DOI BibTeX RDF	retrieve relation, refinement, asynchronous communication, reification
37	Mark K. Singley, Moninder Singh, Peter G. Fairweather, Robert G. Farrell, Steven Swerling	Algebra jam: supporting teamwork and managing roles in a collaborative learning environment.	CSCW	2000	DBLP DOI BibTeX RDF	collabicons, object-oriented chat, role reification, team blackboard, team modeling, team tutoring systems
37	Robert Muller	M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	fexprs, metalinguistic constructs, unquote, reflection, LISP, reification
37	Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas	A Categorial Theory of Objects as Observed Processes.	REX Workshop	1990	DBLP DOI BibTeX RDF	object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition
36	Alex Villazón, Walter Binder	Portable Resource Reification in Java-Based Mobile Agent Systems.	Mobile Agents	2001	DBLP DOI BibTeX RDF
36	Werner Van Belle, Theo D'Hondt	Agent Mobility and Reification of Computational State: An Experiment in Migration.	Agents Workshop on Infrastructure for Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
28	Dirk Draheim, Melanie Himsl, Daniel Jabornig, Werner Leithner, Peter Regner, Thomas Wiesinger	Intuitive Visualization-Oriented Metamodeling.	DEXA	2009	DBLP DOI BibTeX RDF
28	Lorenzo Magnani	Animal Abduction.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
28	Nadeem Jamali, Chen Liu	Reifying Control of Multi-Owned Network Resources.	IPDPS	2007	DBLP DOI BibTeX RDF
28	Emmanuelle Richard, Angèle Tijou, Paul Richard, Jean-Louis Ferrier	Multi-modal virtual environments for education with haptic and olfactory feedback.	Virtual Real.	2006	DBLP DOI BibTeX RDF	Multi-modal feedback, Human scale, Education, Virtual Environment, Haptic interaction, Olfaction
28	William M. Fleischman	Meta-informatics and ethical issues in computing.	ITiCSE	2006	DBLP DOI BibTeX RDF	computing in public education, surveillance, digital divide
28	Jordi Cabot, Antoni Olivé, Ernest Teniente	Entity Types Derived by Symbol-Generating Rules.	ER	2003	DBLP DOI BibTeX RDF
28	Job Zwiers	Refining Data to Processes.	VDM Europe	1990	DBLP DOI BibTeX RDF
28	Job Zwiers	Predicated, Predicate Transformers and Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF
28	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
23	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
23	René F. Reitsma, Byron Marshall, Michael Dalton, Martha N. Cyr	Exploring educational standard alignment: in search of 'relevance'.	JCDL	2008	DBLP DOI BibTeX RDF	context-specific measurement, curriculum-standard alignment, inter-rater reliability, social science theory, digital library, relevance, reification
23	Jack Ox	Visualization and the art of metaphor.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	perceptualization, visualization, metaphor, sonification, reification
23	Babatunde Opeoluwa Akinkunmi, Adenike O. Osofisan	Temporal Properties of Repetitive Entities.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	artificial intelligence, knowledge representation, temporal reasoning, reification, interval logic
23	Quentin Limbourg, Jean Vanderdonckt	Addressing the mapping problem in user interface design with UsiXML.	TAMODIA	2004	DBLP DOI BibTeX RDF	concrete user interface, final user interface, user interface extensible markup language (UsiXML), adaptation, specifications, abstraction, task model, domain model, user interface description language, abstract user interface, reification, mapping problem, transformation model, model mapping
23	John H. Maloney, Randall B. Smith	Directness and Liveness in the Morphic User Interface Construction Environment.	ACM Symposium on User Interface Software and Technology	1995	DBLP DOI BibTeX RDF	live editing, structural reification, user interface construction, user interface frameworks, animation, direct manipulation, liveness, directness, automatic layout
23	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
22	Selsebil Benelhaj-Sghaier, Annabelle Gillet, Éric Leclercq	Knowledge Graph Multilevel Abstraction: A Property Graph Reification Based Approach.	RCIS (2)	2024	DBLP DOI BibTeX RDF
22	Manoé Kieffer, Ginwa Fakih, Patricia Serrano-Alvarado	Evaluating Reification with Multi-Valued Properties in a Knowledge Graph of Licensed Educational Resources.	SEMANTiCS	2023	DBLP DOI BibTeX RDF
22	Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter	Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations.	KI	2022	DBLP DOI BibTeX RDF
22	Rajendra Singh, Chad Anderson, Shaila M. Miranda	Physician Burnout: A Technology-based Reification of Competing Logics View.	HICSS	2022	DBLP BibTeX RDF
22	Pierre Jeanjean	IDE as Code: reifying language protocols as first-class citizens. (Environnements de développement programmables: réification des protocoles de langage en objets de première classe).		2022	RDF
22	Sini Govindapillai, Lay-Ki Soon, Su-Cheng Haw	Resource Description Framework reification for trustworthiness in knowledge graphs.	F1000Research	2021	DBLP DOI BibTeX RDF
22	Fabrizio Orlandi, Damien Graux, Declan O'Sullivan	Benchmarking RDF Metadata Representations: Reification, Singleton Property and RDF.	ICSC	2021	DBLP DOI BibTeX RDF
22	Jan Treur	Modeling higher order adaptivity of a network by multilevel network reification.	Netw. Sci.	2020	DBLP DOI BibTeX RDF
22	Agustín Mista, Alejandro Russo	BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs.	TFP	2020	DBLP DOI BibTeX RDF
22	Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover	Incremental Flow Analysis through Computational Dependency Reification.	SCAM	2020	DBLP DOI BibTeX RDF
22	Régis Riveret, Antonino Rotolo, Giovanni Sartor	A Deontic Argumentation Framework Towards Doctrine Reification.	FLAP	2019	DBLP BibTeX RDF
22	Alex Lamb, Jonathan Binas, Anirudh Goyal, Sandeep Subramanian, Ioannis Mitliagkas, Denis Kazakov, Yoshua Bengio, Michael C. Mozer	State-Reification Networks: Improving Generalization by Modeling the Distribution of Hidden Representations.	CoRR	2019	DBLP BibTeX RDF
22	Seyede Fatemeh Ghoreishi, W. D. Thomison, Douglas L. Allaire	Sequential Information-Theoretic and Reification-Based Approach for Querying Multi-Information Sources.	J. Aerosp. Inf. Syst.	2019	DBLP DOI BibTeX RDF
22	Joshua Introne, Sean P. Goggins	Advice reification, learning, and emergent collective intelligence in online health support communities.	Comput. Hum. Behav.	2019	DBLP DOI BibTeX RDF
22	Alessandro Artale, Enrico Franconi	Towards a Logical Foundation of Reification in Modelling Languages.	Ontology Makes Sense	2019	DBLP DOI BibTeX RDF
22	Alex Lamb, Jonathan Binas, Anirudh Goyal, Sandeep Subramanian, Ioannis Mitliagkas, Yoshua Bengio, Michael Mozer	State-Reification Networks: Improving Generalization by Modeling the Distribution of Hidden Representations.	ICML	2019	DBLP BibTeX RDF
22	Naveen Thayyil	Constructing global data: Automated techniques in ecological monitoring, precaution and reification of risk.	Big Data Soc.	2018	DBLP DOI BibTeX RDF
22	Grenville J. Croll	The Reification of an Incorrect and Inappropriate Spreadsheet Model.	CoRR	2018	DBLP BibTeX RDF
22	Viktor Sirotin	RPSE: Reification as Paradigm of Software Engineering.	CoRR	2018	DBLP BibTeX RDF
22	Jan Treur	Multilevel Network Reification: Representing Higher Order Adaptivity in a Network.	COMPLEX NETWORKS (1)	2018	DBLP DOI BibTeX RDF
22	Nazeer T. Mohammed Saeed, Christian Weber 0003, Madjid Fathi, Klaus-Dieter Kuhnert	An Approach for Modeling Spatial Prepositions with RDF Reification and Blank Nodes Based on the Environment Perception of a Simulated Mobile Robot.	MWSCAS	2018	DBLP DOI BibTeX RDF
22	Nicola Guarino, Tiago Prince Sales, Giancarlo Guizzardi	Reification and Truthmaking Patterns.	ER	2018	DBLP DOI BibTeX RDF
22	Jan Treur	Network Reification as a Unified Approach to Represent Network Adaptation Principles Within a Network.	TPNC	2018	DBLP DOI BibTeX RDF
22	Jason Gross, Andres Erbsen, Adam Chlipala	Reification by Parametricity - Fast Setup for Proof by Reflection, in Two Lines of Ltac.	ITP	2018	DBLP DOI BibTeX RDF
22	Livio Robaldo, Xin Sun 0001	Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
22	Andrea Rosà, Eduardo Rosales 0001, Walter Binder	Accurate reification of complete supertype information for dynamic analysis on the JVM.	GPCE	2017	DBLP DOI BibTeX RDF
22	Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre	Efficient Reification of Table Constraints.	ICTAI	2017	DBLP DOI BibTeX RDF
22	Marco Gaboardi, Luca Paolini, Mauro Piccolo	On the reification of semantic linearity.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
22	Nicola Guarino, Giancarlo Guizzardi	On the Reification of Relationships.	SEBD	2016	DBLP BibTeX RDF
22	Shigeru Chiba, YungYu Zhuang, Maximilian Scherr	A design of deep reification.	MODULARITY (Companion)	2016	DBLP DOI BibTeX RDF
22	Nicola Guarino, Giancarlo Guizzardi	Relationships and Events: Towards a General Theory of Reification and Truthmaking.	AI*IA	2016	DBLP DOI BibTeX RDF
22	Augusto Celentano, Emmanuel Dubois 0001	Evaluating metaphor reification in tangible interfaces.	J. Multimodal User Interfaces	2015	DBLP DOI BibTeX RDF
22	Edward Robbins 0001, Jacob M. Howe, Andy King	Theory propagation and reification.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
22	Livio Robaldo, Llio Humphreys, Xin Sun 0001, Loredana Cupi, Cristiana Santos, Robert Muthuri	Combining Input/Output Logic and Reification for Representing Real-World Obligations.	JSAI-isAI Workshops	2015	DBLP DOI BibTeX RDF
22	Cliff B. Jones, Nisansala Yatapanage	Reasoning about Separation Using Abstraction and Reification.	SEFM	2015	DBLP DOI BibTeX RDF
22	Martin Dias	Supporting Software Integration Activities with First-Class Code Changes. (Aide à l'Intégration de Branches Grâce à la Réification des Changements).		2015	RDF
22	Robert Schaefer	Software management: process and reification.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
22	Robert Schaefer	Software management: reification, institutionalization and "too big to succeed".	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
22	Olaf Hartig, Bryan Thompson	Foundations of an Alternative Approach to Reification in RDF.	CoRR	2014	DBLP BibTeX RDF
22	Vinh Nguyen, Olivier Bodenreider, Amit P. Sheth	Don't like RDF reification?: making statements about statements using singleton property.	WWW	2014	DBLP DOI BibTeX RDF
22	Carlos Cortinhas, Fernando J. Barros	Extending Groovy's Reification and Closures.	WorldCIST (2)	2014	DBLP DOI BibTeX RDF
22	Mário Vieira de Carvalho	Art as "phantasmagoria": between illusion and reification.	Kybernetes	2013	DBLP DOI BibTeX RDF
22	Kris Van Hees, Jan Engelen	Equivalent representations of multimodal user interfaces - Runtime Reification of Abstract User Interface Descriptions.	Univers. Access Inf. Soc.	2013	DBLP DOI BibTeX RDF
22	Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson	On the reification of global constraints.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
22	Sébastien Picault	De la simulation multi-agents à la simulation multi-niveaux. Pour une réification des interactions. (From multi-agent simulation to multi-level simulation. Reifying the interactions).		2013	RDF
22	Robert G. M. Hausmann, Annalies Vuong	The effect of goal reification on error rates while solving geometric problems.	CogSci	2013	DBLP BibTeX RDF
22	Josef Svenningsson, Bo Joel Svensson	Simple and compositional reification of monadic embedded languages.	ICFP	2013	DBLP DOI BibTeX RDF
22	Martin Meier, Robert Haschke, Helge J. Ritter	Reification through perceptual grouping.	Humanoids	2012	DBLP DOI BibTeX RDF
22	Jean-Louis Denis, Geneviève Dompierre, Ann Langley, Linda Rouleau	Escalating Indecision: Between Reification and Strategic Ambiguity.	Organ. Sci.	2011	DBLP DOI BibTeX RDF
22	Cliff B. Jones, Ken G. Pierce	Elucidating concurrent algorithms via layers of abstraction and reification.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
22	Daniel David, Denis Payet, Rémy Courdier	Réification de zones urbaines émergentes dans un modèle simulant l'évolution de la population à La Réunion.	JFSMA	2011	DBLP BibTeX RDF
22	Benjamin Adams, Krzysztof Janowicz	Constructing geo-ontologies by reification of observation data.	GIS	2011	DBLP DOI BibTeX RDF
22	Reinhard Oldenburg	Reification and symbolization.	Koli Calling	2011	DBLP DOI BibTeX RDF
22	Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey	Half Reification and Flattening.	CP	2011	DBLP DOI BibTeX RDF
22	Sunitha Ramanujam, Anubha Gupta, Latifur Khan, Steven Seida, Bhavani Thuraisingham	Relationalization of provenance data in complex RDF reification nodes.	Electron. Commer. Res.	2010	DBLP DOI BibTeX RDF
22	Amaury Daele	Reifying, Participating and Learning: Analysis of Uses of Reification Tools by a Community of Practice.	Int. J. Web Based Learn. Teach. Technol.	2010	DBLP DOI BibTeX RDF