Toward building RDB to HBase conversion rules von Ouanouki, R., April, A., Abran, A., Gomez, A., Desharnais, J. M.

Volltext

A comparison of software effort estimation techniques: Using function points with neural networks, case-based reasoning and regression models von Finnie, G.R., Wittig, G.E., Desharnais, J-M.

Volltext

The metric analogue of weak bisimulation for probabilistic processes von Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

Volltext

Metrics for labelled Markov processes von Desharnais, Josée, Gupta, Vineet, Jagadeesan, Radha, Panangaden, Prakash

Volltext

Monomorphic characterization of n-ary direct products von Desharnais, Jules

Volltext

Solution-Phase Combinatorial Libraries: Modulating Cellular Signaling by Targeting Protein-Protein or Protein-DNA Interactions von Boger, Dale L., Desharnais, Joel, Capps, Kevin

Volltext

Defining and applying measures of distance between specifications von Jilani, L.L., Desharnais, J., Mili, A.

Volltext

Bisimulation for Labelled Markov Processes von Desharnais, Josée, Edalat, Abbas, Panangaden, Prakash

Volltext

Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems von Krivulin, Nikolai

Volltext

Small-Molecule Antagonists of Myc/Max Dimerization Inhibit Myc-Induced Transformation of Chicken Embryo Fibroblasts von Berg, Thorsten, Cohen, Steven B., Desharnais, Joel, Sonderegger, Corinna, Maslyar, Daniel J., Goldberg, Joel, Boger, Dale L., Vogt, Peter K.

Volltext

A relational model of cognitive maps von CHAIB-DRAA, B., DESHARNAIS, J.

Volltext

Approximating labeled Markov processes von Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

Volltext

Integration of sequential scenarios von Desharnais, J., Frappier, M., Khedri, R., Mili, A.

Volltext

A logical characterization of bisimulation for labeled Markov processes von Desharnais, J., Edalat, A., Panangaden, P.

Volltext

Relational characterizations of system fault tolerance von Cortellessa, V., Del Gobbo, D., Shereshevsky, M., Desharnais, J., Mili, A.

Volltext

Approximating labelled Markov processes von Desharnais, Josée, Gupta, Vineet, Jagadeesan, Radha, Panangaden, Prakash

Volltext

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra von Foster, Simon, Ye, Kangfeng, Cavalcanti, Ana, Woodcock, Jim

Volltext

Verifying Hybrid Systems with Modal Kleene Algebra von Huerta y Munive, Jonathan Julián, Struth, Georg

Volltext

Counting Finite Linearly Ordered Involutive Bisemilattices von Bonzio, Stefano, Baldi, Michele Pra, Valota, Diego

Volltext

A Set Solver for Finite Set Relation Algebra von Cristiá, Maximiliano, Rossi, Gianfranco

Volltext