Format:
Table of Contents: “... Algorithms -- 7 Related Work -- 8 Conclusion -- References -- A Modeling Concept for Formal Verification...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 Related Work -- 3 Running Example -- 4 Preliminaries -- 5 Method -- 6 Validation...”
Click to View

Format:
Table of Contents: “... Related Work -- 8 Conclusion and Future Work -- References -- DBpedia Archivo: A Web-Scale Interface...”
Click to View

Format:
Table of Contents: “... Creativity -- Towards a Formal Definition of Bisociation -- Related Work -- Discussion and Conclusion...”
Click to View

Format:
Table of Contents: “....3 Discussion -- 4 Stateful Information-Flow Interfaces -- 5 Related Work -- 6 Conclusion -- References -- A...”
Click to View

Format:
Table of Contents: “... -- 4.3 From Cost Invariants to Postconditions -- 5 Experimental Evaluation -- 6 Related Work -- 7...”
Click to View

Format:
Table of Contents: “... methodology -- 4 Research contribution -- 5 Discussion -- 6 Related work - S3P -- 7 Related work - SRA -- 8...”
Click to View

Format:
Table of Contents: “... Expected Values of Neural Networks -- 6 Discussion on Extension to General Certificates -- 7 Related Work...”
Click to View

Format:
Table of Contents: “... and Back: Remote Pair Programming During COVID-19 -- 1 Introduction -- 2 Background and Related Work -- 2...”
Click to View

Format:
Table of Contents: “... Technique for Relational Database -- 1 Introduction -- 2 Related Work -- 3 Scheme -- 3.1 Pre-processing...”
Click to View

Format:
Table of Contents: “... -- 1 Introduction -- 2 Background and Related Work -- 2.1 Activity Theory Based Framework -- 2...”
Click to View

Format:
Table of Contents: “... Selection on Attack Resilience -- 6.3 Hardware cost -- 7 Related Work -- 8 Discussion -- References...”
Click to View

Format:
Table of Contents: “... -- 5 Related Work and Alternatives -- 6 Conclusion -- References -- On Satisficing in Quantitative...”
Click to View

Format:
Table of Contents: “...-invariant Method -- 7 Related Work -- References -- Sound and Complete Certificates for Quantitative...”
Click to View

Format:
Table of Contents: “... Procedure Guess(f,t) -- 4.2 The Check Procedure CheckCond(cf,ct) -- 5 Experimental Results -- 6 Related Work...”
Click to View

Format:
Table of Contents: “... -- 6 Evaluation -- 7 Related Work -- 8 Conclusion and Outlook -- References -- A Two-Phase Approach...”
Click to View

Format:
Table of Contents: “....5 Related Work -- 5.6 Conclusion -- 5.6.1 Summary -- 5.6.2 Outlook -- 5.6.3 Further Reading -- 6 Continuous...”
Click to View

Format:
Table of Contents: “... Results -- 8 Related Work -- 9 Conclusion -- References -- On Incremental Pre-processing for SMT -- 1...”
Click to View

Format:
Table of Contents: “...2 Related Work in the Context of Station Planning in LMAS -- 3 Methodology and Foundations -- 4...”
Click to View

Format:
Table of Contents: “... -- 3 Layered Normal Form with Sets of Levels -- 4 Correctness -- 5 Comparison With Related Work -- 6...”
Click to View