The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for elaboration with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1987 (18) 1988-1992 (16) 1993-1995 (17) 1996-1997 (17) 1998-1999 (22) 2000 (27) 2001 (19) 2002 (17) 2003 (30) 2004 (30) 2005 (46) 2006 (48) 2007 (55) 2008 (62) 2009 (45) 2010 (22) 2011 (16) 2012 (29) 2013 (24) 2014 (24) 2015 (21) 2016 (25) 2017 (25) 2018 (29) 2019 (25) 2020 (16) 2021 (31) 2022 (29) 2023 (31) 2024 (6)
Publication types (Num. hits)
article(227) book(1) incollection(4) inproceedings(519) phdthesis(71)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 439 occurrences of 375 keywords

Results
Found 822 publication records. Showing 822 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Leslie C. Lander, Sandeep Mitra Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications. Search on Bibsonomy Ada-Europe The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
69Greg Walsh, Allison Druin, Mona Leigh Guha, Elizabeth Foss, Evan Golub, Leshell Hatley, Elizabeth M. Bonsignore, Sonia Franckel Layered elaboration: a new technique for co-design with children. Search on Bibsonomy CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF layered elaboration, low-tech prototyping, children, co-design, storyboarding, cooperative inquiry
69Damien Pous Weak Bisimulation Up to Elaboration. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages
59Arran Derbyshire, Tobias Becker, Wayne Luk Incremental elaboration for run-time reconfigurable hardware designs. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF incremental elaboration, run-time reconfiguration, hardware compilation
53Andreas Rossberg, Claudio V. Russo, Derek Dreyer F-ing modules. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
53Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
49Stephen A. Edwards, Jia Zeng Static elaboration of recursion for concurrent software. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SHIM, static elaboration, concurrency, recursion, partial evaluation
49Anke Dittmar, Andreas Gellendin, Peter Forbrig Requirements Elicitation and Elaboration in Task-Based Design Needs More Than Task Modelling: A Case Study. Search on Bibsonomy TAMODIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Task models in user-centered software design, Early requirements, elicitation and elaboration for task-based design, User-task elicitation, Task-based design
49Sebastián Uchitel, Jeff Kramer, Jeff Magee Behaviour model elaboration using partial labelled transition systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model elaboration, partial LTS, synthesis, scenarios
48Todd B. Knoblock, Jakob Rehof Type elaboration and subtype completion for Java bytecode. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
48T. R. Girill Example elaboration as a neglected instructional strategy. Search on Bibsonomy SIGDOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF example design, self-explanation, teaching technical writing, usability, documentation, cognitive psychology
48Todd B. Knoblock, Jakob Rehof Type Elaboration and Subtype Completion for Java Bytecode. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Sevan G. Ficici, Anthony Bucci Advanced tutorial on coevolution. Search on Bibsonomy GECCO (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CCEA, archive methods, complexification, order theory, evaluation, dynamical systems, coevolution, neuroevolution, evolutionary game theory, NEAT, cooperative coevolution, pareto coevolution, elaboration, coevolutionary algorithm
42Colin Potts, Kenji Takahashi, Jeffrey D. Smith, Kenji Ota An evaluation of inquiry-based requirements analysis for an Internet service. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF inquiry-based requirements analysis, inquiry cycle, generic process model, requirements elaboration, requirements expression, Tuiqiao, requirements analysis phase, commercial consumer information service, qualitative classification schemes, synchronous meetings, work patterns, Internet, systems analysis, wide area networks, commitment, information services, Internet service, quantitative measures, discussion
38Axel van Lamsweerde, Robert Darimont, Philippe Massonet Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler
38Sebastián Uchitel, Jeff Kramer, Jeff Magee Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF implied scenarios, negative scenarios, MSC, LTSA
38Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato Multilingual semantic elaboration in the DOSE platform. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Semantic Web, multilingual ontology
38Patrick Heymans, Eric Dubois 0001 Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. Search on Bibsonomy Requir. Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Formal methods, Animation, Scenarios, Message sequence charts
38Adolfo Villafiorita Abstraction as a Form of Elaboration Tolerance. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Jean-Marc Meunier, Rozenn Baudet, Nadine Vigouroux, Frédéric Vella Élaboration d'un indice de complexité des éditeurs d'équations : L'exemple de la comparaison de HandiMathKey et Libreoffice: Elaboration of an equation editor complexity index: Example of the comparison between HandMathKey and Libre Office. Search on Bibsonomy IHM (Extended Abstracts) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Yinuo Li Elaboration of personalized projects for users in social and medico-social sector : automatic planning and data objectification. (Élaboration de projets personnalisés pour les usagers du secteur social et médico-social : planification automatique et ob- jectivation des données). Search on Bibsonomy 2021   RDF
34Robin Héron Le toucher social médié par la technologie : approche interactionniste de la co-élaboration des fonctions du toucher. (Technology-mediated social touch : an interactionist approach to the co-elaboration of touch functions). Search on Bibsonomy 2021   RDF
34Olivier Jacq Détection, analyse contextuelle et visualisation de cyber-attaques en temps réel: élaboration de la Cyber Situational Awareness du monde maritime. (Real-time detection, contextual analysis and visualization of cyberattacks : Cyber Situational Awareness elaboration for the maritime sector). Search on Bibsonomy 2021   RDF
34Delphine Guillon Assistance à l'élaboration d'offres du produit au service : proposition d'un modèle générique centré connaissances et d'une méthodologie de déploiement et d'exploitation. (How to assist in bid elaboration from products to services : proposal of a knowledge-based generic model and a methodology for deployment and exploitation). Search on Bibsonomy 2019   RDF
34Jorge Gaona Elaboración de un sistema de evaluación en línea como proceso de formación de profesores de matemáticas. (Elaboration of an online assessment system as a training process for mathematics teachers / Élaboration d'une base d'exercices comme processus de formation des professeurs de mathématique). Search on Bibsonomy 2018   RDF
34Elena Arsevska Élaboration d'une méthode semi-automatique pour l'identification et le traitement des signaux d'émergence pour la veille internationale sur les maladies animales infectieuses. (Elaboration of a Semi-Automatic Method for Identification and Analysis of Signals of Emergence of Animal Infectious Diseases at International Level). Search on Bibsonomy 2017   RDF
34Morgan Magnin Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics). Search on Bibsonomy 2016   RDF
34Sékou Kangoye Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test. (Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test). Search on Bibsonomy 2016   RDF
34Thomas Lecorre Des conditions de conception d'une ingénierie didactique relative à la définition de la notion de limite : élaboration d'un cadre basé sur un modèle de rationalités pour l'accès aux objets mathématiques complexes. (Conditions for the conception of didactical design for the definition of the notion of limit : elaboration of a frame based on a model of rationalities for the access of complex mathematical objects). Search on Bibsonomy 2016   RDF
34Riadh Ben Salah Élaboration d'une méthode tomographique de reconstruction 3D en vélocimétrie par image de particules basée sur les processus ponctuels marqués. (Elaboration of 3D reconstruction tomographic method in particle image velocimetry based on marked point process). Search on Bibsonomy 2015   RDF
34Philippe Chazara Outils d'élaboration de stratégie de recyclage basée sur la gestion des connaissances : application au domaine du génie des procédés. (Tools of elaboration of strategy of waste recycling based on knowledge management : application on process engineering). Search on Bibsonomy 2015   RDF
34Maxime Yves Julien Manifi Abouh, Etienne Sadembouo Designing technical concepts in the elaboration of a thematic bilingual French/Yambeta agricultural lexicon (De la dénomination des concepts techniques dans l'élaboration d'un lexique thématique agricole bilingue français yambetta) [in French]. Search on Bibsonomy TALAf@TALN The full citation details ... 2014 DBLP  BibTeX  RDF
34Julie Bolley Elaboration et caractérisation d'agents de contraste IRM pour le ciblage des intégrines αvβ3. (Elaboration and characterisation of MRI contrast agents targeting αvβ3). Search on Bibsonomy 2014   RDF
34Khanh Nguyen-Trong éLaboration d'un processus et conception des outils pour introduire la Collaboration dans simulation. (Elaboration of a process and design of tools to introduce the collaboration in simulation). Search on Bibsonomy 2013   RDF
34Hélène Marie Elaboration of a new sensor based on molecularly imprinted polymers for the detection of molecules in physiological fluids. (Elaboration de polymères à empreinte moléculaire pour la détection optique de molécule dans un fluide physiologique). Search on Bibsonomy 2013   RDF
34Clémentine Adam, Marianne Vergez-Couret Exploiting naive vs expert discourse annotations: an experiment using lexical cohesion to predict Elaboration / Entity-Elaboration confusions. Search on Bibsonomy LAW@ACL The full citation details ... 2012 DBLP  BibTeX  RDF
34Antoine Lambert Visualisation interactive de graphes : élaboration et optimisation d'algorithmes à coûts computationnels élevés. (Interactive graph visualization : elaboration and optimisation of algorithms with high computationnal cost). Search on Bibsonomy 2012   RDF
34Thomas Collonvillé Elaboration de processus de développements logiciels spécifiques et orientés modèles : application aux systèmes à évenements discrets. (Elaboration of specific model-driven software development processes : application to discrete event systems). Search on Bibsonomy 2010   RDF
34Élise Gendron Cadre conceptuel pour l'élaboration d'indicateurs de collaboration à partir des traces d'activité. (Framework for the elaboration of collaboration indicators from activity traces). Search on Bibsonomy 2010   RDF
34Alexandre Carra Modèle physique discret et systèmes différentiels: vers l'élaboration d'un simulateur cellulaire. (Physically based discrete model and differential systems: towards the elaboration of a cellular simulator). Search on Bibsonomy 2008   RDF
34Ludovic Garreau Élaboration d'une interface tangible pour l'assemblage en CAO. (Elaboration of a tangible user interface for CAD assembly). Search on Bibsonomy 2005   RDF
34Meriem Riahi Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine: Application à l'outil Ergo-Conceptor+. (Contribution to the elaboration of a methodology for the specification, verification and semi-automatic generation of human-machine interfaces: Application to the Ergo-Conceptor + tool). Search on Bibsonomy 2004   RDF
32Dario Fischbein, Sebastián Uchitel On correct and complete strong merging of partial behaviour models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modal transition systems, partial behaviour models, merge, elaboration
32Antonella Galizia, Federica Viti, Alessandro Orro, Daniele D'Agostino, Ivan Merelli, Luciano Milanesi, Andrea Clematis TMAinspect, an EGEE Framework for Tissue MicroArray Image Handling. Search on Bibsonomy CCGRID The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TMA, EGEE Grid, image elaboration, parallel coputing library
32Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert ORCHESTRA: Formalism to Express Mobile Cooperative Applications. Search on Bibsonomy CRIWG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples
32Didier Rémy Simple, partial type-inference for System F based on type-containment. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type containment, type reconstruction, polymorphism, type inference, System F, elaboration
32Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel Monitoring and control in scenario-based requirements analysis. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF implied scenarios, scenario-based requirements elaboration, message sequence charts
32Catherine Vaucelle, Tristan Jehan Dolltalk: a computational toy to enhance children's creativity. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2002 DBLP  DOI  BibTeX  RDF motion and speech detection, narrative elaboration, performance, children, tangible interface, toy, perspective-taking
32Annie I. Antón Goal-Based Requirements Analysis. Search on Bibsonomy ICRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF goal identification, goal elaboration, goal refinement, requirements methods, requirements engineering, scenario analysis
32Eric Dubois 0001, Philippe Du Bois, Michaël Petit Elicitating and Formalising Requirements for C.I.M. Information Systems Search on Bibsonomy CAiSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF O-O requirements engineering, CIM applications, elaboration of the requirements document, agents, formal language, actions
32Eric Dubois 0001, Philippe Du Bois, Michaël Petit O-O Requirements Analysis: an Agent Perspective. Search on Bibsonomy ECOOP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF O-O requirements analysis, first-order, temporal and deontic logic, elaboration of the requirements document, agents, formal language, actions
31Bruno Campagnolo, Cesar Augusto Tacla, Emerson Cabrera Paraiso, Gilson Yukio Sato, Milton Pires Ramos An architecture for supporting small collocated teams in cooperative software development. Search on Bibsonomy CSCWD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Cristen Torrey, Aaron Powers, Susan R. Fussell, Sara B. Kiesler Exploring adaptive dialogue based on a robot's awareness of human gaze and task progress. Search on Bibsonomy HRI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF adaptive dialogue, human-robot dialogue, human-robot interaction, social robots
31Azzedine Boukerche, Alessandro Fabbri, Armin R. Mikler Distributed Simulation over Loosely Coupled Domains. Search on Bibsonomy DS-RT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Local Time Warp, Distributed Simulation, Flow Control, Resource Control, Loosely Coupled Systems
31Anas Tarah, Christian Huitema Associating Metrics to Certification Paths. Search on Bibsonomy ESORICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar Elaboration of use case specifications: an approach based on use case fragments. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information systems specification, use case fragments, use cases
27Kelly J. Fadel, Alexandra Durcikova, Hoon S. Cha Elaboration Likelihood in Knowledge Management: A Model and Experimental Test. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27David Ginat Hasty design, futile patching and the elaboration of rigor. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF patching, rigor, programming errors
27Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. Search on Bibsonomy ETX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FLTL, synthesis, scenarios, Eclipse, MTS
27Antonis C. Kakas, Loizos Michael, Rob Miller 0002 Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Dario Bonino, Fulvio Corno, Laura Farinetti DOSE: A Distributed Open Semantic Elaboration Platform. Search on Bibsonomy ICTAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Luca Vollero, Giulio Iannello, Francesco Delfino An Open Software Architecture for Structured Data Elaboration and Transcoding. Search on Bibsonomy ITCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF code reusability, Transcoding, real-time processing, software modularity
21Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns. Search on Bibsonomy HCI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns
21Renée M. B. Fountain Conceptual enhancement via textual plurality: : a pedagogical Wiki bow towards collaborative structuration. Search on Bibsonomy Int. Sym. Wikis The full citation details ... 2007 DBLP  DOI  BibTeX  RDF co-elaboration, communal constructivism, intertextuality, intratextuality, collaboration, wikis, technology, higher education, concept development
21Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic, SystemC, parser, static, front-end, elaboration
21Eric Potratz A practical comparison between Java and Ada in implementing a real-time embedded system. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion
21Serafín Olcoz, Lorenzo Ayuda, Ivan Izaguirre, Olga Peñalba VHDL Teamwork, Organization Units and Workspace Management. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF VHDL analysis, simulation, management, Teamwork, cooperative work, workspace, elaboration
21Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel A Sound Observational Semantics for Modal Transition Systems. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21François Picard, Pascal Estraillier Enhancing a motion capture interface by introducing context management. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF movement interpretation, motion capture, interactive system, game development, context management, adaptive execution
21José Arnaldo Barra Montevechi, Rafael Florencio da Silva Costa, Fabiano Leal, Alexandre Ferreira de Pinho, Fernando Augusto Silva Marins, Fabio Ferreira Marins, Jose Tadeu de Jesus Combined use of modeling techniques for the development of the conceptual model in simulation projects. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Francesco Bruschi, Vincenzo Rana, Donatella Sciuto An architecture for dynamically reconfigurable real time audio processing systems. Search on Bibsonomy ESTIMedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Jennifer Black, Philip Koopman Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. Search on Bibsonomy PRDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Ludwik Kuzniarz, Lars Pareto, Jean-Louis Sourrouille, Miroslaw Staron Third Intenational Workshop on Quality in Modeling. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Caterina Mariani, Antonella Tronchi, Luigi Oncini, Osvaldo Pirani, Roberto Murri Analysis of the X-ray Work Flow in Two Diagnostic Imaging Departments With and Without a RIS/PACS System. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2006 DBLP  DOI  BibTeX  RDF RIS/PACS, workflow, X-rays
21Michael Attig, Gordon J. Brebner Systematic Characterization of Programmable Packet Processing Pipelines. Search on Bibsonomy FCCM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Sriram Sankaranarayanan 0001, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta Static Analysis in Disjunctive Numerical Domains. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21François Pottier From ML type inference to stratified type inference. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Salvatore Vitabile, Vincenzo Conti, Giuseppe Lentini, Filippo Sorbello An Intelligent Sensor for Fingerprint Recognition. Search on Bibsonomy EUC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. Search on Bibsonomy POLICY The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Jun Yan 0005, Yun Yang 0001, Gitesh K. Raikundalia Towards Incompletely Specified Process Support in SwinDeW - A Peer-to-Peer Based Workflow System. Search on Bibsonomy CSCWD (Selected papers) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Sebastián Uchitel, Marsha Chechik Merging partial behavioural models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial behaviour models, merge, MTS
21David Ginat Colorful examples for elaborating exploration of regularities in high-school CS1. Search on Bibsonomy ITiCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF high-school CS1, problem analysis, regularities, invariant properties
21Alessandro Fava, Emanuele Fava, Massimo Bertozzi MPIPOV: A Parallel Implementation of POV-Ray Based on MPI. Search on Bibsonomy PVM/MPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Dong Mei Zhang, Leila Alem A Generic Case-Based Framework for Assisting Instructional Design. Search on Bibsonomy EWCBR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Qin Chen, Jiahua Jin, Xiangbin Yan Impact of online physician service quality on patients' adoption behavior across different stages: An elaboration likelihood perspective. Search on Bibsonomy Decis. Support Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Qin Yang, Young-Chan Lee The effect of live streaming commerce quality on customers' purchase intention: extending the elaboration likelihood model with herd behaviour. Search on Bibsonomy Behav. Inf. Technol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Claudio Rubio, Ismael Gallardo, Felipe Besoain Promoting Healthy Behaviors Through an RPG Videogame: An Elaboration Likelihood Model Based Approach. Search on Bibsonomy IEEE Trans. Games The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Stacy Miller, Philip Menard, David Bourrie, Scott M. Sittig Integrating truth bias and elaboration likelihood to understand how political polarisation impacts disinformation engagement on social media. Search on Bibsonomy Inf. Syst. J. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Haoran Liao, Jidong Tian, Shaohua Hu, Hao He 0007, Yaohui Jin Look Before You Leap: Problem Elaboration Prompting Improves Mathematical Reasoning in Large Language Models. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Jacob Chia-An Tsai, Gary Klein 0001, Carol S. Saunders, James J. Jiang Information Elaboration and Coopetition: Participation in the Replacement of Legacy Systems. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Casper Bach Poulsen, Cas van der Rest Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Yang Li, Zeshui Xu, Yixin Zhang A Dynamic Product Evaluation Model Based on Online Customer Reviews from the Perspective of the Elaboration Likelihood Model. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Warut Khern-am-nuai, Matthew J. Hashim, Alain Pinsonneault, Weining Yang, Ninghui Li Augmenting Password Strength Meter Design Using the Elaboration Likelihood Model: Evidence from Randomized Experiments. Search on Bibsonomy Inf. Syst. Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Yaojie Li, Xuan Wang, Craig Van Slyke Determinants of online professor reviews: an elaboration likelihood model perspective. Search on Bibsonomy Internet Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Zhen Shao, Lin Zhang, Zhengyuan Pan, Jose Benitez 0001 Uncovering the dual influence processes for click-through intention in the mobile social platform: An elaboration likelihood model perspective. Search on Bibsonomy Inf. Manag. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Thiago Felicissimo, Frédéric Blanqui Sharing proofs with predicative theories through universe polymorphic elaboration. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Haitao Lin, Yufei Huang, Haotian Zhang, Lirong Wu, Siyuan Li, Zhiyuan Chen 0008, Stan Z. Li Functional-Group-Based Diffusion for Pocket-Specific Molecule Generation and Elaboration. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 822 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license