Martin Gogolla - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged refinement

Refinements for Retrieval and Adaptation of the CookIIS ApplicationAlexandre Hanft, Norman Ihle, Régis Newo. wm 2009: 139-153

Some refinements on fixed income performance attributionG. M. Zambruno. eor, 185(3):1574-1577, 2008. [doi]

Horn Query Learning with Multiple RefinementJosefina Sierra, Josefina Santibáñez. seal 2008: 503-513 [doi]

Electromagnetic particle-in-cell simulations on magnetic reconnection with adaptive mesh refinementKeizo Fujimoto, Richard D. Sydora. cphysics, 178(12):915-923, 2008. [doi]

CRefine: Support for the Circus Refinement CalculusM. Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro. SEFM 2008: 281-290 [doi]

Breaking EXTENDS relationships for use/misuse/mitigation use case refinementJoshua J. Pauli. sede 2007: 76-80

Using Error-Correcting Output Codes with Model-Refinement to Boost Centroid Text ClassifierSongbo Tan. acl 2007: [doi]

Feature RefinementSteve Reeves, David Streader. SEFM 2007: 371-380 [doi]

A hybrid interpolation method for the refinement of a regular grid digital elevation modelJohn Wenzhong Shi, Y. Tian. gis, 20(1):53-67, 2006. [doi]

Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME 2005)Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens. uml 2006: 151-158 [doi]

A Dynamic Mpi-openmp Model for Structured Adaptive Mesh RefinementJarmo Rantakokko. ppl, 15(1-2):37-48, 2005. [doi]

Representation of Zn(II) complexes in polarizable molecular mechanics. Further refinements of the electrostatic and short-range contributions. Comparisons with parallel ab initio computationsNohad Gresh, Jean-Philip Piquemal, Morris Krauss. jcc, 26(11):1113-1130, 2005. [doi]

On the expressive power of CSP refinementA. W. Roscoe. fac, 17(2):93-112, 2005. [doi]

Refinement and Hierarchical Coarsening Schemes for Triangulated SurfacesJosé P. Suárez, Angel Plaza. wscg 2003: [doi]

A Refinement of the µ-measure for Stack ProgramsEmanuele Covino, Giovanni Pani. ENTCS, 90(1):37-44, 2003. [doi]

Concurrent Remembered Set Refinement in Generational Garbage CollectionDavid Detlefs, Ross Knippel, William D. Clinger, Matthias Jacob. jvm 2002: 13-26 [doi]

Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element MethodSergey Kopyssov, Alexander Novikov. pact 2001: 266-276 [doi]

Some refinements of the Hodge decomposition and applicationsAdele Ferone, Mohamed Amin Jalal, Jean-Michel Rakotoson, Roberta Volpicelli. appml, 14(1):75-79, 2001. [doi]

Local Refinement in Non-overlapping Domain DecompositionVeselin Dobrev, Panayot Vassilevski. naa 2001: 253-264 [doi]

Power Simulation and its Relation to Traces and Failures RefinementPaul Gardiner. ENTCS, 32:78-100, 2000. [doi]

Accepting Zeno words: a way toward timed refinementsBéatrice Bérard, Claudine Picaronny. ACTA, 37(1):45-81, 2000. [doi]

A formal specification of geometric refinementsDavid Cazier, Jean-François Dufourd. vc, 15(6):279-301, 1999. [doi]

The Approximate Cell Decomposition with Local Node Refinement Global Path Planning Method: Path Nodes Refinement and Curve Parametric InterpolationNikos I. Katevas, Spyros G. Tzafestas, Christos G. Pnevmatikatos. jirs, 22(3-4):289-314, 1998. [doi]

The minimal user interface of a simple refinement toolPhilipp A. Heuberger. stp, 19(2):89-95, 1998. [doi]

Invariants, Bisimulations and the Correctness of Coalgebraic RefinementsBart Jacobs. amast 1997: 276-291

Beta-Sheet Prediction Using Inter-Strand Residue Pairs and Refinement with Hopfield Neural NetworkMinoru Asogawa. ismb 1997: 48-51

An ::::n:::: log ::::n:::: Algorithm for Online BDD RefinementNils Klarlund. cav 1997: 107-118

The Selection of Training Cases for Automated Knowledge RefinementGareth J. Palmer, Susan Craw. eurovav 1997: 205-215

Action Refinement and Property Inheritance in Systems of Sequential AgentsMichaela Huhn. concur 1996: 639-654

Mechanized Support for Stepwise RefinementJan L. A. van de Snepscheut. plsa 1994: 35-48

Symbolic Local Refinement of Tetrahedral GridsDelma J. Hebert. JSC, 17(5):457-472, 1994.

Refinement of an inequality of G. BennettHorst Alzer. DM, 135(1-3):39-46, 1994. [doi]

Avoiding Duplicate Proofs with the Foothold RefinementBruce Spencer. AMAI, 12(1-2):117-140, 1994.

Temporal Verification of Simulation and RefinementYonit Kesten, Zohar Manna, Amir Pnueli. rex 1994: 273-346

A Refinement of Communicating ProcessesSylvie Damy, Guy-René Perrin. parle 1992: 949-950

Refinement, Conformance and InheritanceElspeth Cusack. fac, 3(2):129-141, 1991.

Program Inversion in the Refinement CalculusJoakim von Wright. ipl, 37(2):95-100, 1991.

An Introduction to Refinement in ZJim Woodcock. FM 1991: 96-117

The Refinement CalculusJim Woodcock. FM 1991: 80-95

Knowledge Refinement Using a High Level, Non-Technical VocabularyEric K. Jones. icml 1991: 18-22

Stepwise Refinement of Action SystemsRalph-Johan Back, Kaisa Sere. stp, 12(1):17-30, 1991.

A Calculus of Refinements for Program DerivationsRalph-Johan Back. ACTA, 25(6):593-624, 1988.

5-connected 3-polytopes are refinements of octahedraDavid W. Barnette. JCT, 42(2):250-254, 1987. [doi]

Inductive Inference by RefinementPhilip D. Laird. AAAI 1986: 472-476

Stepwise refinement revisitedVaclav Rajlich. jss, 5(1):81-88, 1985. [doi]

On Correct Refinement of ProgramsRalph-Johan Back. jcss, 23(1):49-68, 1981.

Algorithm 544: L2A and L2B, Weighted Least Squares Solutions by Modified Gram-Schmidt with Iterative Refinement [F4]Roy H. Wampler. TOMS, 5(4):494-499, 1979. [doi]

Solutions to Weighted Least Squares Problems by Modified Gram-Schmidt with Iterative RefinementRoy H. Wampler. TOMS, 5(4):457-465, 1979. [doi]

Finite Element Mesh Refinement Algorithm Using Element ResidualsGraham F. Carey, D. L. Humphrey. ode 1979: 243-249

Proving Programs Correct through RefinementClaus H. Correl. ACTA, 9:121-132, 1978.

runs on WebDSL