Kapitel eines Bandes, dessen Inhalt auf einer Konferenz oder einem Workshop präsentiert und anschließend in einem Proceedings-Band publiziert wurde. Hier finden Sie (selbständige) Kapitel, Vorworte, Poster-, Keynote-Beiträge, Beiträge in Abstract Books und Beiträge in künstlerischen Druckwerken.
Chapter of a volume whose content was presented at a conference or workshop and subsequently published in conference proceedings. Here you will find individual chapters of edited volumes, editorials, poster contributions, keynote contributions, contributions in Abstract Books and contributions in artistic books.
Collection's Items (Sorted by Submit Date in descending order): 21 to 40 of 41762
| Preview | Author(s) | Title | Type | Issue Date |
|---|---|---|---|---|
| Daniilidis, Aris | Unilateral analysis, orientation and determination | Inproceedings Konferenzbeitrag | 18-Jun-2024 | |
| Eichinger, Benjamin | Universality Limits via Canonical Systems | Inproceedings Konferenzbeitrag | 10-Sep-2024 | |
| Herda, Maxime ; Jüngel, Ansgar ; Portisch, Stefan | Analysis of a drift-diffusion model with Fermi–Dirac statistics for memristive devices | Inproceedings Konferenzbeitrag | 11-Sep-2024 | |
| Kulcke, Matthias ; Lorenz, Wolfgang | Urban Street Space Analysis with Spherical Box-Counting: Holistic digital Gestalt analysis of architecture in urban space | Inproceedings Konferenzbeitrag  | 12-Sep-2024 | |
 | Priya, Siddharth ; Gurfinkel, Arie | Ownership in low-level intermediate representation | Inproceedings Konferenzbeitrag   | Oct-2024 |
 | Egolf, Derek ; Schultz, William ; Tripakis, Stavros | Efficient Synthesis of Symbolic Distributed Protocols by Sketching | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Jonáš, Martin ; Strejcek, Jan ; Griggio, Alberto | Combining Symbolic Execution with Predicate Abstraction and CEGAR | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Konrad, Alexander ; Scholl, Christoph | Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Bonnot, Paul ; Boyer, Benoît ; Faissole, Florian ; Marché, Claude ; Rieu-Helft, Raphaël | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Kwan, Carl ; Hunt, Warren A., Jr. | Automatic Verification of Right-greedy Numerical Linear Algebra Algorithms | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils | Clausal Equivalence Sweeping | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Bansal, Suguman ; Kankariya, Yash ; Li, Yong | DAG-Based Compositional Approaches for LTLf to DFA Conversions | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Dureja, Rohit ; Baumgartner, Jason ; Gajavelly, Raj Kumar ; Kanzelman, Robert ; Rozier, Kristin Y. | Toward Exhaustive Sequential Redundancy Removal | Inproceedings Konferenzbeitrag | Oct-2024 |
 | D’Antoni, Loris ; Gacek, Andrew ; Goel, Amit ; Jovanovic, Dejan ; Kıcı, Rami Gökhan , et al | Projective Model Counting for IP Addresses in Access Control Policies | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Fung, Long-Hin ; Cheng, Che ; Fan, Yu-Wei ; Tan, Tony ; Jiang, Jie-Hong Roland | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn J. H. | Verified Substitution Redundancy Checking | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Nukala, Karthik ; Choudhuri, Soumyaditya ; Bryant, Randal ; Heule, Marijn J. H. | Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Cleaveland, Rachel ; Trippel, Caroline | Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Schult, Jasmin ; Fiedler, Ben ; Cock, David ; Roscoe, Timothy | Semi-open-state testing for in-silicon coherent interconnects | Inproceedings Konferenzbeitrag | Oct-2024 |
 | Redondi, Gianluca ; Cimatti, Alessandro ; Griggio, Alberto | Towards Verification Modulo Theories of asynchronous systems via abstraction refinement | Inproceedings Konferenzbeitrag | Oct-2024 |
Collection's Items (Sorted by Submit Date in descending order): 21 to 40 of 41762