Results for "P-Pandya" using Google Scholar

Just Indexes Chart of Citations Chart of Papers Chart of Importance (to come...) Chart of Time (to come...) Debug

• The number of papers is 87
  
• The total number of citations is 1390
  
• The maximum number of citations is 637
  
• The h-number (or h-index) is 18
  
• The m-number (or m-index) is 0.782608695652 (1986-2009)
  

Google    rank & Year	Merge paper with	Title(s) and Citations
1:	none	Finding response times in a real-time system Some Extensions to Propositional Mean-Value Calculus: Expressiveness and … Finding Response Times in a Real-Time System," BCS Comp Finding response times in areal-time system [BibTeX]
2:	none 1	Specifying and Deciding Quanti Discrete-time Duration Calculus Formulae using … [BibTeX]
3:	none 1 2	P—A logic—a compositional proof system for distributed programs [BibTeX]
4:	none 1 2 3	Duration Calculus of weakly monotonic time Duration calculus of weakly monotonic time. Research Report 122, … Duration Calculus with Weakly Monotonic Time. UNU Duration calculus with weakly monotonic time [BibTeX]
5:	none 1 2 3 4	Finite divergence [BibTeX]
7:	none 1 2 3 4 5	Representation, verification, and computation of timed properties in web … [BibTeX]
14:	none 1 2 3 4 5 7	Weak chop inverses and liveness in mean-value calculus Weak chop inverses and liveness in duration calculus [BibTeX]
10:	none 1 2 3 4 5 7 14	An approach to verifiable compiling specification and prototyping An Approach to Verifiable Compiling Specification and Prototyping [BibTeX]
18:	none 1 2 3 4 5 7 14 10	Formal design of hybrid systems Formal design of hybrid systems [BibTeX]
9:	none 1 2 3 4 5 7 14 10 18	Digitizing interval duration logic [BibTeX]
8:	none 1 2 3 4 5 7 14 10 18 9	Towards a theory of sequential hybrid programs Towards a theory of sequential hybrid programs. InD. GriesandW.-P. … [BibTeX]
13:	none 1 2 3 4 5 7 14 10 18 9 8	Timed modelling and analysis in web service compositions Timed modelling and analysis in web service compositions. ares Modelling and Analysis of Time-related Properties in Web Service … [BibTeX]
11:	none 1 2 3 4 5 7 14 10 18 9 8 13	Some comments on the assumption-commitment framework for compositional … [BibTeX]
12:	none 1 2 3 4 5 7 14 10 18 9 8 13 11	Interval Duration Logic Expressiveness and Decidability [BibTeX]
19:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12	A recursive duration calculus A recursive duration calculus Technical Report [BibTeX]
15:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19	Model checking ctl*[dc] [BibTeX]
16:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15	An algebraic approach to verifiable compiling specification and … [BibTeX]
17:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16	Compositional verification of distributed programs [BibTeX]
21:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17	Efficient guided symbolic reachability using reachability expressions [BibTeX]
32:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21	A calculus for hybrid sampled data systems [CITATION] A calculus for hybrid sampled data systems A calculus for hybrid sampled data systems, Formal Techniques in … [BibTeX]
23:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32	Bounded validity checking of interval duration logic [BibTeX]
22:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23	Some extensions to mean-value calculus: expressiveness and … [BibTeX]
29:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22	A compositional semantics of Esterel in Duration Calculus A Compositional Semantics of Esterel in Duration Calculus, in proc [BibTeX]
25:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29	State-based proof theory of concurrency: from noncompositional to … [BibTeX]
28:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25	A structure-directed total correctness proof rule for recursive procedure calls [BibTeX]
31:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28	The saga of synchronous bus arbiter: On model checking quantitative timing … [BibTeX]
43:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31	Verification tools in the development of provably correct compilers Verification Tools in the Development of Provably Correct Compilers [BibTeX]
38:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43	Some results on the decidability of duration calculus under synchronous … Some decidability results for duration calculus under synchronous interpretation [BibTeX]
30:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38	[PS] Scheduling clusters in model checking of real time systems [BibTeX]
44:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30	Compiling Specification for ProCoS level 0 language Compiling specification for ProCos level 0 language, 1990 Compiling Specification for ProCoS Programming Language Level 0 [BibTeX]
34:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44	[CITATION] Reasoning algebraically about recursion [BibTeX]
37:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34	Specification of the ProCoS level 0 instruction set [BibTeX]
35:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37	Translation validation of optimizing compilers by computational … [BibTeX]
63:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35	Timed automata with integer resets: Language inclusion and expressiveness [BibTeX]
42:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63	DCVALID 1.3: The user manual [BibTeX]
41:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42	Recursive Mean-Value Calculus [BibTeX]
78:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41	Specification of an Adaptive Control System [BibTeX]
51:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78	A simulation approach to verification of assembling specification of … [BibTeX]
54:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51	On sampling abstraction of continuous time logic with durations [BibTeX]
58:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54	[DOC] Computer Recognition of Tabla Bols [BibTeX]
56:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58	ICSP and Its Relationship with ACSP and CSP [BibTeX]
55:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56	Marking the chops: an unambiguous temporal logic [BibTeX]
46:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55	Translation validation of optimizing compilers by computational … [BibTeX]
52:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46	DCVALID 1.4: The user manual [BibTeX]
48:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52	DCVALID version 1.3 User Manual [BibTeX]
45:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48	[CITATION] Specification and verification of total correctness of distributed … [BibTeX]
80:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45	A compositional semantics of SL [BibTeX]
64:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80	AC OMPOSITIONAL Approach TO Concurrency AND ITS Applications [BibTeX]
62:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64	Determinization of timed automata with integral resets [BibTeX]
61:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62	Model checking based analysis of end-to-end latency in embedded, real-time … [BibTeX]
60:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61	A compositional approach to concurrency and its applications. … [BibTeX]
79:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60	Finding extremal models of discrete duration calculus formulae using symbolic … [BibTeX]
66:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79	DCVALID version 1.4 user manual [BibTeX]
72:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66	DCVALID: A Tool for Modelchecking DC Formulae [BibTeX]
75:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72	JSD in asynchronous CSP [BibTeX]
76:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75	Qddc-loc: Syntax and semantics [BibTeX]
77:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76	Model checking CTL [DC] specifications of SMV, Verilog and Esterel … [BibTeX]
73:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77	DCVALID User Manual [BibTeX]
59:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73	Compositional Theory of Concurrency [BibTeX]
86:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59	On Sampling Abstraction of Continuous Time Logic with Duration … [BibTeX]
81:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86	Modal strength reduction in quantified discrete duration calculus [BibTeX]
84:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81	Infinitary parallelism without unbounded nondeterminism in CSP [BibTeX]
85:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84	Compositional Verification of Distributed Systems [BibTeX]
91:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85	A Dose of Timed Logic, in Guarded Measure [BibTeX]
92:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91	On the Computational Power of Operators in ICSP with Fairness [BibTeX]
89:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92	[PS] Software Synthesis of Music with Interaction: Extending an MP4-SA … [BibTeX]
95:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89	Determinization and Expressiveness of Integer Reset Timed Automata with Silent … [BibTeX]
74:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95	A Compositional Semantics of Esterel in Duration Calculus, in proc [BibTeX]
93:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74	An Approach to Verifiable Compiling Specification and Prototyping [BibTeX]
87:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93	Modelling and Analysis of Time-related Properties in Web Service … [BibTeX]
82:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87	Duration Calculus with Weakly Monotonic Time. UNU [BibTeX]
83:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82	Duration calculus with weakly monotonic time [BibTeX]
70:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83	Timed modelling and analysis in web service compositions. ares [BibTeX]
71:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70	Duration calculus of weakly monotonic time. Research Report 122, … [BibTeX]
26:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71	Formal design of hybrid systems [BibTeX]
53:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26	Some decidability results for duration calculus under synchronous interpretation [BibTeX]
39:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53	Finding response times in areal-time system [BibTeX]
40:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39	A recursive duration calculus Technical Report [BibTeX]
49:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40	Verification Tools in the Development of Provably Correct Compilers [BibTeX]
57:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49	[CITATION] A calculus for hybrid sampled data systems [BibTeX]
27:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57	Finding Response Times in a Real-Time System," BCS Comp [BibTeX]
69:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27	Compiling Specification for ProCoS Programming Language Level 0 [BibTeX]
68:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69	Compiling specification for ProCos level 0 language, 1990 [BibTeX]
67:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68	A calculus for hybrid sampled data systems, Formal Techniques in … [BibTeX]
65:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67	Towards a theory of sequential hybrid programs. InD. GriesandW.-P. … [BibTeX]
20:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65	Some Extensions to Propositional Mean-Value Calculus: Expressiveness and … [BibTeX]
24:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20	Weak chop inverses and liveness in duration calculus [BibTeX]
94:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24	[CITATION] An analysis of Babinet compensator fringes using Jones calculus. [BibTeX]
90:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94	[CITATION] FST TCS 2003: Foundations of Software Technology and Theoretical … [BibTeX]
88:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90	1963Ninth Symposium (Int.) on Combustion [BibTeX]
47:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90 88	XML-based mobile agents [BibTeX]
50:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90 88 47	Asymptotic analysis of a peer enhanced cache invalidation scheme [BibTeX]
36:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90 88 47 50	The study of the structure of laminar diffusion flames by optical methods [BibTeX]
33:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90 88 47 50 36	Current switch emitter follower latch having output signals with reduced noise [BibTeX]
6:	none 1 2 3 4 5 7 14 10 18 9 8 13 11 12 19 15 16 17 21 32 23 22 29 25 28 31 43 38 30 44 34 37 35 63 42 41 78 51 54 58 56 55 46 52 48 45 80 64 62 61 60 79 66 72 75 76 77 73 59 86 81 84 85 91 92 89 95 74 93 87 82 83 70 71 26 53 39 40 49 57 27 69 68 67 65 20 24 94 90 88 47 50 36 33	Cortical network reorganization guided by sensory input features [BibTeX]