David Walter

Paul-Ferdinand Steuck

Proceedings of the 54. Jahrestagung der Gesellschaft für Informatik, 2024

A Taxonomy of Design Options for Informal Caregiving Support Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Information Systems, 2024

2023

Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen.

[BibT_eX]

[DOI]

HMD Prax. Wirtsch., June, 2023

Designing Unlearning Support Systems: A Requirements Catalog.

[BibT_eX]

[DOI]

Proceedings of the Digital Responsibility: Social, 2023

Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research.

[BibT_eX]

[DOI]

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

Practical Support for Unlearning â€" a Systematic Review to Organize the field.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Information Systems, 2023

Tool-Support for Managing Technostress in Hybrid Learning Settings.

[BibT_eX]

[DOI]

Proceedings of the DELFI 2023, 2023

Mitigating Educational Challenges Through Unlearning.

[BibT_eX]

[DOI]

Paul-Ferdinand Steuck

Proceedings of the DELFI 2023, 2023

COREFLECTOR - Prototyp zur Unterstützung von Verlernen beim analytischen Lesen für Studierende.

[BibT_eX]

[DOI]

Proceedings of the DELFI 2023, 2023

2022

Adaptive Block Floating-Point for Analog Deep Learning Hardware.

[BibT_eX]

[DOI]

CoRR, 2022

THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten.

[BibT_eX]

[DOI]

Proceedings of the DELFI 2022, 2022

2018

Syntactical Analysis of the Weaknesses of Sentiment Analyzers.

[BibT_eX]

[DOI]

Rohil Verma

Samuel Kim

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

2014

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

2013

Teaching cyber-physical systems to computer scientists via modeling and verification.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2011

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

2010

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2010

2008

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods.

[BibT_eX]

PhD thesis, 2007

Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.

[BibT_eX]

[DOI]

Scott Little

Chris J. Myers

Proceedings of the Automated Technology for Verification and Analysis, 2007

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

Symbolic Model Checking of Analog/Mixed-Signal Circuits.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Verification of timed circuits with failure-directed abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Verification of analog/mixed-signal circuits using labeled hybrid petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2005

The Case for Analog Circuit Verification.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

2004

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

1996

The Design of the IRISS Parallel Database Machine.

[BibT_eX]

[DOI]

Jon M. Kerridge

Proceedings of the High-Performance Computing and Networking, 1996

1995

W-SQL: An Interface for Scalable, Highly Parallel Database Machines.

[BibT_eX]

[DOI]

Jon M. Kerridge

Romola Guiton

Proceedings of the Advances in Databases, 13th British National Conference on Databases, 1995

1994

Computer art from Newton's, Secant, and Richardson's methods.

[BibT_eX]

[DOI]

Comput. Graph., 1994

Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition.

[BibT_eX]

[DOI]

Jon M. Kerridge

Proceedings of the High-Performance Computing and Networking, 1994

1993

Systemised serendipity for producing computer art.

[BibT_eX]

[DOI]