Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Giovanni Gallo, Giorgio M. Grasso, Salvatore Nicotra, Alfredo Pulvirenti |
Remote Sensed Images Segmentation through Shape Refinement. |
ICIAP |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
Refinement of Conceptual Graphs. |
ICCS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
Divide and Compose: SCC Refinement for Language Emptiness. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Dusko Pavlovic, Douglas R. Smith |
Composition and Refinement of Behavioral Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rolf H. Möhring, Matthias Müller-Hannemann |
Complexity and Modeling Aspects of Mesh Refinement into Quadrilater. |
Algorithmica |
2000 |
DBLP DOI BibTeX RDF |
Bidirected flows, cal NP -completeness, Computer-aided design, Mesh generation, Mesh decomposition |
17 | Giorgio Levi, Fausto Spoto |
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jarmo Rantakokko |
A Local Refinement Algorithm for Data Partitioning. |
PARA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Geoff A. W. West, Ezra Tassone |
Assessing Different Features for Pose Refinement . |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Yin-Sun Lynn, Antonios Symvonis, David R. Wood |
Refinement of Three-Dimensional Orthogonal Graph Drawings. |
GD |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Nirmalie Wiratunga, Susan Craw |
Informed Selection of Training Examples for Knowledge Refinement. |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Veselin Dobrev, Panayot S. Vassilevski |
Local Refinement in Non-overlapping Domain Decomposition. |
NAA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Grigorii I. Shishkin |
A Posteriori and a Priori Techniques of Loal Grid Refinement for Parabolic Problems with Boundary and Transition Layers. |
NAA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
A Technique for Modular Logic Program Refinement. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Elena Baralis, Giuseppe Psaila |
Incremental Refinement of Mining Queries. |
DaWaK |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Beattie, Lawrence T. Pileggi |
Electromagnetic parasitic extraction via a multipole method with hierarchical refinement. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Claus Schneider |
Executable Specification for Multimedia Supporting Refinement and Architecture Exploration. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig |
Structuring and Refinement of Class Diagrams. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Dingel |
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
17 | James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton |
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
Java |
17 | Julia Padberg, Magdalena Gajewsky, Claudia Ermel |
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Rolf H. Möhring, Matthias Müller-Hannemann, Karsten Weihe |
Mesh refinement via bidirected flows: modeling, complexity, and computational results. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
b-matching problem, augmenting paths, bidirected flows, NP-completeness, templates, mesh generation |
17 | Bart Jacobs 0001 |
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Arend Rensink, Roberto Gorrieri |
Action Refinement as an Implementation Relations. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Seppo Puuronen, Vagan Y. Terziyan |
The Voting-Type Technique in the Refinement of Multiple Expert Knowledge. |
HICSS (5) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | James D. Roberts |
A New Parallelization of Subgraphs Isomorphism Refinement for Classification and Retrieval of Conceptual Structures. |
ICCS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas |
Refinement Mapping for General (Discrete Event) Systems Theory. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Karlis Cerans |
CTR: A Calculus of Timed Refinement. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Robert R. Goldberg |
Constrained pose refinement of parametric objects. |
Int. J. Comput. Vis. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | François Erasmy, Emil Sekerinski |
Stepwise Refinement of Control Software - A Case Study Using RAISE. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Chih-Chuan Lin, Mark E. Law, Rex E. Lowther |
Automatic grid refinement and higher order flux discretization for diffusion modeling. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jim Grundy |
A Three-Valued Logic for Refinement. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Colin J. Fidge |
Real-Time Refinement. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Steve A. Schneider |
Timewise Refinement for Communicating Processes. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth R. Wood |
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
Z |
17 | Bruno Baccus, Dominique Collard, Emmanuel Dubois 0002 |
Adaptive mesh refinement for multilayer process simulation using the finite element method. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Lalita Jategaonkar, Albert R. Meyer |
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
17 | David C. Arney, Joseph E. Flaherty |
An adaptive mesh-moving and local refinement method for time-dependent partial differential equations. |
ACM Trans. Math. Softw. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Steve King 0001 |
Z and the Refinement Calculus. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Joseph A. Goguen |
An Algebraic Approach to Refinement. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Mahesh Sharma, Graham F. Carey |
Semiconductor device simulation using adaptive refinement and flux upwinding. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Peter Kilpatrick, P. McParland |
Software Support for the Refinement of VDM Specifications. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders |
Data Refinement Refined. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Larry Wos, Ross A. Overbeek, Lawrence J. Henschen |
Hyperparamodulation: A Refinement of Paramodulation. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi |
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Tianrun Gao, Huihe Qiu, Lin Fu |
Multi-level adaptive particle refinement method with large refinement scale ratio and new free-surface detection algorithm for complex fluid-structure interaction problems. |
J. Comput. Phys. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi |
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Robert Burlacu |
On refinement strategies for solving ${\textsc {MINLP}\mathrm{s}}$ by piecewise linear relaxations: a generalized red refinement. |
Optim. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Yongxing Dai, Jun Liu 0036, Yan Bai, Zekun Tong, Ling-Yu Duan |
Dual-Refinement: Joint Label and Feature Refinement for Unsupervised Domain Adaptive Person Re-Identification. |
IEEE Trans. Image Process. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Yongxing Dai, Jun Liu 0036, Yan Bai, Zekun Tong, Ling-Yu Duan |
Dual-Refinement: Joint Label and Feature Refinement for Unsupervised Domain Adaptive Person Re-Identification. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Huili Xing |
Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mathieu Montin, Marc Pantel |
Ordering Strict Partial Orders to Model Behavioral Refinement. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Efraim Machado, Aline Andrade |
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement - Partial and Total Frameworks. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Rimvydas Ruksenas, Paolo Masci 0001, Paul Curzon |
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Fantechi, Stefania Gnesi |
Refinement of Behavioural Models for Variability Description. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre |
Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jüri Vain, Leonidas Tsiopoulos, Pontus Boström |
Integrating Refinement-Based Methods for Developing Timed Systems. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Michael Kerber, Michael Sagraloff |
Root refinement for real polynomials using quadratic interval refinement. |
J. Comput. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Diana-Elena Gratie, Ion Petre |
Full structural model refinement as type refinement of colored Petri nets. |
BioPPN@Petri Nets |
2015 |
DBLP BibTeX RDF |
|
16 | Jason Koenig, K. Rustan M. Leino |
Programming Language Features for Refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais |
Formal refinement of extended state machines. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten |
Big Data Refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brijesh Dongol, Lindsay Groves |
Towards linking correctness conditions for concurrent objects and contextual trace refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
A logic for n-dimensional hierarchical refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brijesh Dongol, John Derrick |
Data refinement for true concurrency |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall |
Modelling and Refinement in CODA |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Bisimilarity and refinement for hybrid(ised) logics |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Emil Sekerinski, Tian Zhang |
On a New Notion of Partial Refinement |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Timed Refinement. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Siobhán North, Anthony J. H. Simons |
Building a refinement checker for Z |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt |
Bigraphical Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Refinement-based verification of sequential implementations of Stateflow charts |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ukachukwu Ndukwu, Annabelle McIver |
Model exploration and analysis for quantitative safety refinement in probabilistic B |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Steve Reeves, David Streader |
Refinement for Probabilistic Systems with Nondeterminism |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten |
Perspicuity and Granularity in Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | César Jesus Rodrigues, Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement by interpretation in π-institutions |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto |
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop. |
IEICE Trans. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shengtai Li |
Comparison of refinement criteria for structured adaptive mesh refinement. |
J. Comput. Appl. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Steve Reeves, David Streader |
Guarded Operations, Refinement and Simulation. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Carroll Morgan |
How to Brew-up a Refinement Ordering. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa, Ralph-Johan Back |
Data Refinement of Invariant Based Programs. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | T. M. Rabehaja, Jeff W. Sanders |
Data Refinement with Probability in Mind. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa |
A Single Complete Relational Rule for Coalgebraic Refinement. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement by Interpretation in a General Setting. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
More Relational Concurrent Refinement: Traces and Partial Relations. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emil Sekerinski |
An Algebraic Approach to Refinement with Fair Choice. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Schellhorn |
Completeness of ASM Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wim H. Hesselink |
Simulation Refinement for Concurrency Verification. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Neil Evans |
Refinement for Pipelining in Event-B. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira |
Observational Refinement Process. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcel Oliveira, Ana Cavalcanti 0001 |
ArcAngelC: a Refinement Tactic Language for Circus. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Maria Spichkova |
Refinement-Based Verification of Interactive Real-Time Systems. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Georg Struth |
Modal Tools for Separation and Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake |
Aspect Refinement Ð Unifying AOP and Stepwise Refinement. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Larissa Meinicke, Kim Solin |
Refinement Algebra for Probabilistic Programs. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|