BIRTHDAY 2006 - PDF Preprint Papers

BIRTHDAY 2006 Computation Theory and Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed BIRTHDAY-2006 Paper

click to vote

BIRTHDAY
2006
Springer

194views Applied Computing» more BIRTHDAY 2006»

An Appreciation of the Work of Reinhard Wilhelm

13 years 8 months ago

Download www.model.in.tum.de

Thomas W. Reps, Mooly Sagiv, Jörg Bauer

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	194	An Appreciation of the Work of Reinhard Wilhelm	claim
2	178	Reasoning About Web Services in a Temporal Action Logic	claim
3	153	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification	claim
4	151	Elementary Algebraic Specifications of the Rational Complex Numbers	claim
5	151	Verification by Parallelization of Parametric Code	claim
6	141	Eliminating Dependent Pattern Matching	claim
7	136	Semantic Web Languages - Towards an Institutional Perspective	claim
8	135	Abstract Interpretation for Worst and Average Case Analysis	claim
9	133	Computational Logic in an Object-Oriented World	claim
10	125	Coordination of Actions in an Autonomous Robotic System	claim
11	122	Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity	claim
12	120	Complete Categorical Deduction for Satisfaction as Injectivity	claim
13	119	Composition by Colimit and Formal Software Development	claim
14	119	Data Flow Analysis for CCS	claim
15	117	Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency	claim
16	111	Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence	claim
17	107	Optimal Flow Distribution Among Multiple Channels with Unknown Capacities	claim
18	106	Completion Is an Instance of Abstract Canonical System Inference	claim
19	105	A Stochastic Theory of Black-Box Software Testing	claim
20	104	Iterative Lexicographic Path Orders	claim
21	103	Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems	claim
22	102	Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method	claim
23	102	Finitely Presented Abelian Lattice-Ordered Groups	claim
24	99	Uniform Functors on Sets	claim
25	99	Best-First Rippling	claim
26	97	Probability Theory on IF Events	claim
27	94	Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic	claim
28	93	The Reactive Engine for Modular Transducers	claim
29	91	Reductio ad Absurdum: Planning Proofs by Contradiction	claim
30	91	On the Expressive Power of Live Sequence Charts	claim
31	90	Grammar Analysis and Parsing by Abstract Interpretation	claim
32	90	Partial Solutions with Unique Completion	claim
33	89	Research Perspectives for Logic and Deduction	claim
34	88	Quantum Institutions	claim
35	88	From OBJ to ML to Coq	claim
36	88	A Functorial Framework for Constraint Normal Logic Programming	claim
37	88	Institutional 2-cells and Grothendieck Institutions	claim
38	88	Refinement-Based Verification for Possibly-Cyclic Lists	claim
39	86	Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses	claim
40	85	Some Varieties of Equational Logic	claim
41	85	SharedLife: Towards Selective Sharing of Augmented Personal Memories	claim
42	82	Ensuring Properties of Interaction Systems	claim
43	78	Abstract Counterexample-Based Refinement for Powerset Domains	claim
44	73	Proving Behavioral Refinements of COL-specifications	claim
45	72	Horizontal Composability Revisited	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers