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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 11th International Conference on Image Analysis and Processing (ICIAP 2001), 26-28 September 2001, Palermo, Italy, pp. 137-144, 2001, IEEE Computer Society, 0-7695-1183-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
Refinement of Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings, pp. 216-230, 2001, Springer, 3-540-42344-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 456-471, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Dusko Pavlovic, Douglas R. Smith |
Composition and Refinement of Behavioral Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 157-165, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rolf H. Möhring, Matthias Müller-Hannemann |
Complexity and Modeling Aspects of Mesh Refinement into Quadrilater. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 26(1), pp. 148-171, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000, pp. 52-61, 2000, ACM, 1-58113-201-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jarmo Rantakokko |
A Local Refinement Algorithm for Data Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings, pp. 140-148, 2000, Springer, 3-540-41729-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 114-129, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Geoff A. W. West, Ezra Tassone |
Assessing Different Features for Pose Refinement . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 3687-3690, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 286-303, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Yin-Sun Lynn, Antonios Symvonis, David R. Wood |
Refinement of Three-Dimensional Orthogonal Graph Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings, pp. 308-320, 2000, Springer, 3-540-41554-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Nirmalie Wiratunga, Susan Craw |
Informed Selection of Training Examples for Knowledge Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000, Proceedings, pp. 233-248, 2000, Springer, 3-540-41119-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Veselin Dobrev, Panayot S. Vassilevski |
Local Refinement in Non-overlapping Domain Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers, pp. 253-264, 2000, Springer, 3-540-41814-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers, pp. 710-722, 2000, Springer, 3-540-41814-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
A Technique for Modular Logic Program Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR (LNCS 2042: Selected Papers) ![In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers., pp. 38-56, 2000, Springer, 3-540-42127-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Elena Baralis, Giuseppe Psaila |
Incremental Refinement of Mining Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, First International Conference, DaWaK '99, Florence, Italy, August 30 - September 1, 1999, Proceedings, pp. 173-182, 1999, Springer, 3-540-66458-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Beattie, Lawrence T. Pileggi |
Electromagnetic parasitic extraction via a multipole method with hierarchical refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 437-444, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Claus Schneider |
Executable Specification for Multimedia Supporting Refinement and Architecture Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 1394-1397, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig |
Structuring and Refinement of Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Dingel |
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 231-247, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 70-75, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
17 | Julia Padberg, Magdalena Gajewsky, Claudia Ermel |
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 221-238, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(3), pp. 395-426, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 787-802, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Arend Rensink, Roberto Gorrieri |
Action Refinement as an Implementation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 772-786, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Seppo Puuronen, Vagan Y. Terziyan |
The Voting-Type Technique in the Refinement of Multiple Expert Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 287-296, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | James D. Roberts |
A New Parallelization of Subgraphs Isomorphism Refinement for Classification and Retrieval of Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 202-216, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas |
Refinement Mapping for General (Discrete Event) Systems Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 103-116, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Karlis Cerans |
CTR: A Calculus of Timed Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 516-530, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Robert R. Goldberg |
Constrained pose refinement of parametric objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 13(2), pp. 181-211, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | François Erasmy, Emil Sekerinski |
Stepwise Refinement of Control Software - A Case Study Using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 547-566, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(8), pp. 1209-1216, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jim Grundy |
A Three-Valued Logic for Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 26-42, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Colin J. Fidge |
Real-Time Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 314-331, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Steve A. Schneider |
Timewise Refinement for Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 177-214, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth R. Wood |
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 79-88, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(3), pp. 396-403, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Lalita Jategaonkar, Albert R. Meyer |
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 17-31, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 16(1), pp. 48-71, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Steve King 0001 |
Z and the Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 164-188, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Joseph A. Goguen |
An Algebraic Approach to Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 12-28, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Mahesh Sharma, Graham F. Carey |
Semiconductor device simulation using adaptive refinement and flux upwinding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(6), pp. 590-598, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Peter Kilpatrick, P. McParland |
Software Support for the Refinement of VDM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings, pp. 459-475, 1988, Springer, 3-540-50214-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders |
Data Refinement Refined. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 187-196, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Larry Wos, Ross A. Overbeek, Lawrence J. Henschen |
Hyperparamodulation: A Refinement of Paramodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 208-219, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 115-147, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 473, pp. 111762, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15463, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 16(2), pp. 635-652, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 30, pp. 7815-7829, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.13689, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Huili Xing |
Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 28929-28939, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mathieu Montin, Marc Pantel |
Ordering Strict Partial Orders to Model Behavioral Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018., pp. 23-38, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Efraim Machado, Aline Andrade |
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 161-178, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement - Partial and Total Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 143-154, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 215-230, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Fantechi, Stefania Gnesi |
Refinement of Behavioural Models for Variability Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 155-169, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 201-214, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jüri Vain, Leonidas Tsiopoulos, Pontus Boström |
Integrating Refinement-Based Methods for Developing Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 171-185, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Michael Kerber, Michael Sagraloff |
Root refinement for real polynomials using quadratic interval refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 280, pp. 377-395, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Diana-Elena Gratie, Ion Petre |
Full structural model refinement as type refinement of colored Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 70-84, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Jason Koenig, K. Rustan M. Leino |
Programming Language Features for Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 87-106, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais |
Formal refinement of extended state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 1-16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten |
Big Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 17-23, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brijesh Dongol, Lindsay Groves |
Towards linking correctness conditions for concurrent objects and contextual trace refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 107-111, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 71-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
A logic for n-dimensional hierarchical refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 40-56, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Brijesh Dongol, John Derrick |
Data refinement for true concurrency ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 15-35, 2013. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 36-51, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Bisimilarity and refinement for hybrid(ised) logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 84-98, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Emil Sekerinski, Tian Zhang |
On a New Notion of Partial Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 1-14, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Timed Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 121-137, 2011, Springer, 978-3-642-21460-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Siobhán North, Anthony J. H. Simons |
Building a refinement checker for Z ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 37-52, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt |
Bigraphical Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 20-36, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Refinement-based verification of sequential implementations of Stateflow charts ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 65-83, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 139-154, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ukachukwu Ndukwu, Annabelle McIver |
Model exploration and analysis for quantitative safety refinement in probabilistic B ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 101-120, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Steve Reeves, David Streader |
Refinement for Probabilistic Systems with Nondeterminism ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 84-100, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten |
Perspicuity and Granularity in Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 155-165, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 53-64, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(5), pp. 994-1005, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shengtai Li |
Comparison of refinement criteria for structured adaptive mesh refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 233(12), pp. 3139-3147, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Steve Reeves, David Streader |
Guarded Operations, Refinement and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 177-191, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Carroll Morgan |
How to Brew-up a Refinement Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 123-141, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa, Ralph-Johan Back |
Data Refinement of Invariant Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 143-163, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | T. M. Rabehaja, Jeff W. Sanders |
Data Refinement with Probability in Mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 165-176, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 21-34, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 3-19, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement by Interpretation in a General Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 105-121, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
More Relational Concurrent Refinement: Traces and Partial Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 255-276, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emil Sekerinski |
An Algebraic Approach to Refinement with Fair Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 51-79, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Schellhorn |
Completeness of ASM Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 25-49, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wim H. Hesselink |
Simulation Refinement for Concurrency Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 3-23, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Neil Evans |
Refinement for Pipelining in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 183-202, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira |
Observational Refinement Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 103-129, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcel Oliveira, Ana Cavalcanti 0001 |
ArcAngelC: a Refinement Tactic Language for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 203-229, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Maria Spichkova |
Refinement-Based Verification of Interactive Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 131-157, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Georg Struth |
Modal Tools for Separation and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 81-101, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake |
Aspect Refinement Ð Unifying AOP and Stepwise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 6(9), pp. 13-33, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Larissa Meinicke, Kim Solin |
Refinement Algebra for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 177-195, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|