The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1974-1988 (16) 1989-1990 (22) 1991-1992 (16) 1993 (20) 1994 (29) 1995 (44) 1996 (50) 1997 (74) 1998 (69) 1999 (99) 2000 (118) 2001 (166) 2002 (210) 2003 (217) 2004 (350) 2005 (447) 2006 (532) 2007 (587) 2008 (603) 2009 (460) 2010 (187) 2011 (174) 2012 (162) 2013 (158) 2014 (184) 2015 (200) 2016 (202) 2017 (193) 2018 (208) 2019 (189) 2020 (271) 2021 (256) 2022 (283) 2023 (251) 2024 (47)
Publication types (Num. hits)
article(2200) book(6) data(6) incollection(62) inproceedings(4763) phdthesis(55) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4728 occurrences of 2493 keywords

Results
Found 7094 publication records. Showing 7094 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Ofer Arazy, Aron Lindberg, Mostafa Rezaei, Michele Samorani The Evolutionary Trajectories of Peer-Produced Artifacts: Group Composition, the Trajectories' Exploration, and the Quality of Artifacts. Search on Bibsonomy MIS Q. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21María Luciana Roldán, Marcela Vegetti, Silvio Gonnet, Marcelo Martín Marciszack, Horacio Pascual Leone An Ontology for Specifying and Tracing Requirements Engineering Artifacts and Test Artifacts. Search on Bibsonomy CLEI Electron. J. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Marco Fasoli Super Artifacts: Personal Devices as Intrinsically Multifunctional, Meta-representational Artifacts with a Highly Variable Structure. Search on Bibsonomy Minds Mach. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Sabine Matook, Susan A. Brown Characteristics of IT artifacts: a systems thinking-based framework for delineating and theorizing IT artifacts. Search on Bibsonomy Inf. Syst. J. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Sujan Shrestha, Joyram Chakraborty, Mona A. Mohamed A comparative pilot study of historical artifacts in a CAVE automatic virtual reality environment versus paper-based artifacts. Search on Bibsonomy MobileHCI Adjunct The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Mithun Acharya Humanizing Software Artifacts: Software Engineering with Intelligent and Social Software Artifacts as our Friends. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Simon Lind Kappel, David Looney, Danilo P. Mandic, Preben Kidmose A method for quantitative assessment of artifacts in EEG, and an empirical study of artifacts. Search on Bibsonomy EMBC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Robert F. Lario, Kensaku Kawamoto Transforming Health eDecisions Knowledge Artifacts into Vendor-Specific Knowledge Formats: a Strategy for Sharing Knowledge Artifacts at Scale. Search on Bibsonomy AMIA The full citation details ... 2013 DBLP  BibTeX  RDF
21Takumi Okawa, Yuko Osana Similarity-based image retrieval considering artifacts by self-organizing map with refractoriness - Artifacts extraction by RBF network -. Search on Bibsonomy NaBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Stephan Aier, Bettina Gleichauf Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning. Search on Bibsonomy DESRIST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Michele Piunti, Alessandro Ricci From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS. Search on Bibsonomy Programming Multi-Agent Systems The full citation details ... 2008 DBLP  BibTeX  RDF
21Michele Piunti, Alessandro Ricci From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS. Search on Bibsonomy WOA The full citation details ... 2008 DBLP  BibTeX  RDF
21L. Amaya Becvar, James D. Hollan, Edwin L. Hutchins Representational Gestures as Cognitive Artifacts for Developing Theories in a Scientific Laboratory. Search on Bibsonomy Theory in CSCW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Madhu C. Reddy, Paul Dourish Representation, Coordination, and Information Artifacts in Medical Work. Search on Bibsonomy Theory in CSCW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Jakob Tholander, Carolina Johansson Bodies, boards, clubs and bugs: a study of bodily engaging artifacts. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interaction, experience, engagement, movement, body
20Eduardo Cerqueira, Lucjan Janowski, Mikolaj Leszczuk, Zdzislaw Papir, Piotr Romaniak Video Artifacts Assessment for Live Mobile Streaming Applications. Search on Bibsonomy FMN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Nadine Weber, Raiko Eckstein, Andreas Henrich Searching Multiple Artifacts: A Comprehensive Framework for Complex Search Situations. Search on Bibsonomy FQAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Artifact Type Hierarchies, Framework, Ranking, Product Development, Query-By-Example, Parallel Coordinates, Faceted Search
20Koh Sueda, Koji Ishii, Takashi Miyaki, Jun Rekimoto Communication Grill/Salon: Hybrid Physical/Digital Artifacts for Stimulating Spontaneous Real World Communication. Search on Bibsonomy HCI (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Chat-augmented meal, merging virtual and real, Communication Grill/Salon, Augmented reality, Chat
20Namfon Assawamekin, Thanwadee Sunetnanta, Charnyote Pluempitiwiriyawej MUPRET: An Ontology-Driven Traceability Tool for Multiperspective Requirements Artifacts. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Pablo A. Figueroa, Mauricio Coral, Pierre Boulanger, Juan Borda, Eduardo Londoño, Felipe Vega, Flavio Prieto, Diego Restrepo Multi-modal exploration of small artifacts: an exhibition at the Gold Museum in Bogota. Search on Bibsonomy VRST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Museo del Oro Colombia, multimodal booth, haptics, virtual heritage
20Shahida Sulaiman, Sarina Sulaiman genDMG: A Generic Graph Representation Layout to Visualize Existing Software Artifacts. Search on Bibsonomy IVIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Software maintenance, program comprehension, software visualization, graph representations
20N. Sadat Shami, Kate Ehrlich, Geri Gay, Jeffrey T. Hancock Making sense of strangers' expertise from signals in digital artifacts. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF social networks, social software, signaling, expertise search
20Manfred Broy From system requirements documents to integrated system modeling artifacts. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF integrated artifact models, tool support
20Pablo A. Figueroa, Juan Borda, Diego Restrepo, Pierre Boulanger, Eduardo Londoño, Flavio Prieto A VR Multimodal Interface for Small Artifacts in the Gold Museum. Search on Bibsonomy VR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Andrea Omicini, Alessandro Ricci, Mirko Viroli Artifacts in the A&A meta-model for multi-agent systems. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF A&A meta-model, MAS environment, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure, Coordination, Activity theory, Distributed cognition, Artifact
20Renting Liu, Jiaya Jia Reducing boundary artifacts in image deconvolution. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Tatsuya Nomura, Atsushi Omori, Yusuke Suzuki, Hiroaki Mizohata, Keigo Yasumura Robotics in education: Psychological relationships with "making-artifacts, " computers, and mathematics in Japan. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Françoise Decortis, Laura Lentini Semiotics artifacts, space and community: a case study on pinholes. Search on Bibsonomy IDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF physical and virtual spaces, pinholes, semiotic artifact, sense of community
20Michele Piunti, Alessandro Ricci Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments. Search on Bibsonomy KRAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Dongrong Xu, Bradley S. Peterson Improved Warping of Diffusion Tensor Fields Free of Artifacts. Search on Bibsonomy BMEI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Ondrej Krejcar, Jindrich Cernohorský New Possibilities of Intelligent Crisis Management by Large Multimedia Artifacts Prebuffering. Search on Bibsonomy IT Revolutions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PDPT Framework, SQL Server Mobile, Localization, MDA, Response Time, Wi-Fi, Crisis Management, 802.11b, Prebuffering
20Sebastian Gajek, Lijun Liao, Jörg Schwenk Stronger TLS bindings for SAML assertions and SAML artifacts. Search on Bibsonomy SWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF client certificate, fim, saml, tls
20Rosina Weber, Sidath Gunawardena, George Abraham Representing and Retrieving Knowledge Artifacts. Search on Bibsonomy PAKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Carsten Schulte Duality Reconstruction - Teaching Digital Artifacts from a Socio-technical Perspective. Search on Bibsonomy ISSEP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Lijie Zou, Yi Lai Lightweight support for the evolution of software design and development artifacts. Search on Bibsonomy ICSM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Ling Shao 0001, Hao Hu, Gerard de Haan Coding Artifacts Robust Resolution Up-conversion. Search on Bibsonomy ICIP (5) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Ihor O. Kirenko, Ling Shao 0001 Adaptive Repair of Compressed Video Signals using Local Objective Metrics of Blocking Artifacts. Search on Bibsonomy ICIP (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Falk Heinrich The aesthetics of interactive artifacts: thoughts on performative beauty. Search on Bibsonomy DIMEA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF beauty, interaction, aesthetics
20Lei Zhu, Jared Starman, Rebecca Fahrig A Backprojection-Based Estimation Method for Reducing the Cone-Beam Artifacts in Circular Trajectories. Search on Bibsonomy ISBI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Elaine M. Huang, Crysta J. Metcalf Talking about "stuff": artifacts and expectation in social communication. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computer-mediated communication, field studies, qualitative analysis, social communication
20Ling Shao 0001, Harm van der Heijden Integrated Image Enhancement and Artifacts Reduction Based on Frequency Bands Manipulation. Search on Bibsonomy ICME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Ihor O. Kirenko, Ling Shao 0001 Local Objective Metrics of Blocking Artifacts Visibility for Adaptive Repair of Compressed Video Signals. Search on Bibsonomy ICME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Changyin Zhou, Stephen Lin 0001 Removal of Image Artifacts Due to Sensor Dust. Search on Bibsonomy CVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Cristina Cachero, Coral Calero, Geert Poels Metamodeling the Quality of the Web Development Process' Intermediate Artifacts. Search on Bibsonomy ICWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF web quality process, web process quality, ontology, metamodel, web measurement, navigational model, web quality
20William A. Pike, Richard May 0001, Alan Turner Supporting Knowledge Transfer through Decomposable Reasoning Artifacts. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Marco P. Locatelli, Marco Loregian Active Coordination Artifacts in Collaborative Ubiquitous-Computing Environments. Search on Bibsonomy AmI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Rosine Kitio, Olivier Boissier, Jomi Fred Hübner, Alessandro Ricci Organisational Artifacts and Agents for Open Multi-Agent Organisations: "Giving the Power Back to the Agents". Search on Bibsonomy COIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MAS organisations, Multi-agent Systems, Open systems
20Hamish A. Carr, Torsten Möller, Jack Snoeyink Artifacts Caused by Simplicial Subdivision. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF approximation of surfaces and contours, volumetric representation, Interpolation, image representation, volume visualization, visualization techniques and methodologies
20Albert Elcock, Phillip A. Laplante Testing software without requirements: using development artifacts to develop test cases. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Dag I. K. Sjøberg Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts. Search on Bibsonomy Empirical Software Engineering Issues The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Olivier Salvado, David L. Wilson Removal of Interpolation Induced Artifacts in Similarity Surfaces. Search on Bibsonomy WBIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Tien N. Nguyen A Novel Structure-Oriented Difference Approach for Software Artifacts. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Can Ozmen, Selim Balcisoy A Framework for Working with Digitized Cultural Heritage Artifacts. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Victor Adrian, Bah-Hwee Gwee, Joseph Sylvester Chang An acoustic noise suppression system with reduced musical artifacts. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Andrea Omicini, Alessandro Ricci, Nicola Zaghini Distributed Workflow upon Linkable Coordination Artifacts. Search on Bibsonomy COORDINATION The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Dima Pröfrock, Mathias Schlauweg, Erika Müller Video Watermarking by Using Geometric Warping Without Visible Artifacts. Search on Bibsonomy Information Hiding The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Jing Tian 0002, Kai-Kuang Ma Markov Chain Monte Carlo Super-resolution Image Reconstruction With Artifacts Suppression. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Norbert A. Streitz, Carsten Röcker, Thorsten Prante, Daniel van Alphen, Richard Stenzel, Carsten Magerkurth Designing Smart Artifacts for Smart Environments. Search on Bibsonomy Computer The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Cho-Chun Cheng, Wen-Liang Hwang, Zuowei Shen, Tao Xia Advanced motion compensation techniques for blocking artifacts reduction in 3-D video coding systems. Search on Bibsonomy ICIP (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Mirco Pieper, Anton Kummert Elimination of Exposure Artifacts in Predicted Images by Means of an Adaptive Circular Median Filter. Search on Bibsonomy ICITA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Jun Ma 0001, YingNan Yi, Tian Tian, Yuejun Li Retrieving Digital Artifacts from Digital Libraries Semantically. Search on Bibsonomy ICIC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Simon Goodall, Paul H. Lewis, Kirk Martinez Towards Automatic Classification of 3-D Museum Artifacts Using Ontological Concepts. Search on Bibsonomy CIVR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Xiaokang Yang, Susu Yao, Keng Pang Lim, Xiao Lin 0001, Susanto Rahardja, Feng Pan 0002 An adaptive edge-preserving artifacts removal filter for video post-processing. Search on Bibsonomy ISCAS (5) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Kang Zhang 0001, Guang-Lei Song, Jun Kong Interoperating XML-style of digital artifacts for information reuse. Search on Bibsonomy IRI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Steven P. Reiss Incremental Maintenance of Software Artifacts. Search on Bibsonomy ICSM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Cho-Chun Cheng, Wen-Liang Hwang, Zuowei Shen, Tao Xia A Hybrid Motion Compensated 3-D Video Coding System for Blocking Artifacts Reduction. Search on Bibsonomy PCM (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Raffaella Settimi, Jane Cleland-Huang, Oussama Ben Khadra, Jigar Mody, Wiktor Lukasik, Chris DePalma Supporting Software Evolution through Dynamically Retrieving Traces to UML Artifacts. Search on Bibsonomy IWPSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Ju Jia Zou Reducing Artifacts in BDCT-Coded Images by Adaptive Pixel-Adjustment. Search on Bibsonomy ICPR (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Jyrki Lötjönen, Mika Pollari, Sari Kivistö, Kirsi Lauerma Correction of Movement Artifacts from 4-D Cardiac Short and Long-Axis MR Data. Search on Bibsonomy MICCAI (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Jon Froehlich, Paul Dourish Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Ying Luo, Rabab Kreidieh Ward Removing the blocking artifacts of block-based DCT compressed images. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Alessandro Ricci Agents and Coordination Artifacts for Feature Engineering. Search on Bibsonomy Objects, Agents, and Features The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Maurizio Morisio, Ioannis Stamelos, Alexis Tsoukiàs A new method to evaluate software artifacts against predefined profiles. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF quality models, software evaluation, multicriteria decision aid
20Sumit Kumar Nath, Eric Dubois 0002 A new method for removal of edge artifacts using a 2D extrapolated discrete wavelet transform with biorthogonal wavelets. Search on Bibsonomy ICIP (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Giuliano Antoniol, Gerardo Casazza, Ettore Merlo Identification of Lower-Level Artifacts. Search on Bibsonomy IWPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Yongyi Yang, Nikolas P. Galatsanos Removal of compression artifacts using projections onto convex sets and line process modeling. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Andreas Geppert, Klaus R. Dittrich Strategies and Techniques: Reusable Artifacts for the Construction of Database Management Systems Search on Bibsonomy CAiSE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DBMS-construction, system design and specification, software reuse
20David Castro-Perez, Nobuko Yoshida Dynamically Updatable Multiparty Session Protocols (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jinhao Tan, Bruno C. d. S. Oliveira Dependent Merges and First-Class Environments (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos Toward Tool-Independent Summaries for Symbolic Execution (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal Modular Verification of State-Based CRDTs in Separation Logic (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Henrique Botelho Guerra, João F. Ferreira 0001, João Costa Seco Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Kevin De Porre, Carla Ferreira 0001, Elisa Gonzalez Boix VeriFx: Correct Replicated Data Types for the Masses (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sarah Harris, Simon Cooksey, Michael Vollmer 0003, Mark Batty Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Ming-Ho Yee, Arjun Guha Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva 0001 Automata Learning with an Incomplete Teacher (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jan de Muijnck-Hughes, Wim Vanderbauwhede Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic Semantics for Noninterference with Interaction Trees (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Matthias Becker 0004, Julien Forget Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Simon Henniger, Nada Amin The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Raffaele Zippo, Paul Nikolaus, Giovanni Stea Isospeed: Improving (min, +) Convolution by Exploiting (min, +)/(max, +) Isomorphism (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Search on Bibsonomy Dagstuhl Artifacts Ser. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #300 of 7094 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
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