Jens Brandt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged refinement

A Formal Semantics of Clock Refinement in Imperative Synchronous LanguagesMike Gemunde, Jens Brandt, Klaus Schneider. acsd 2010: 157-168 [doi]

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]

Multilevel Refinement for Combinatorial Optimisation: Boosting Metaheuristic PerformanceChris Walshaw. In Christian Blum, María J. Blesa Aguilera, Andrea Roli, Michael Sampels, editors, Hybrid Metaheuristics, An Emerging Approach to Optimization. Volume 114 of Studies in Computational Intelligence, pages 261-289, Springer, 2008. [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]

Geometrical Mesh Improvement Properties of Delaunay Terminal Edge RefinementR. Bruce Simpson, Maria-Cecilia Rivara. gmp 2006: 536-544 [doi]

A Dynamic Mpi-openmp Model for Structured Adaptive Mesh RefinementJarmo Rantakokko. ppl, 15(1-2):37-48, 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]

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