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