Pierre Weis

434 total citations
13 papers, 103 citations indexed

About

Pierre Weis is a scholar working on Hardware and Architecture, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Pierre Weis has authored 13 papers receiving a total of 103 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Hardware and Architecture, 4 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. Recurrent topics in Pierre Weis's work include Parallel Computing and Optimization Techniques (6 papers), Numerical Methods and Algorithms (4 papers) and Logic, programming, and type systems (3 papers). Pierre Weis is often cited by papers focused on Parallel Computing and Optimization Techniques (6 papers), Numerical Methods and Algorithms (4 papers) and Logic, programming, and type systems (3 papers). Pierre Weis collaborates with scholars based in France, Italy and Tunisia. Pierre Weis's co-authors include Catherine Dubois, Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond, Roberto Di Cosmo, Guy Chavent, Zheng Li, François Clément, Victor F. Martín and Susanna Pelagatti and has published in prestigious journals such as Computers & Mathematics with Applications, Parallel Computing and Science of Computer Programming.

In The Last Decade

Pierre Weis

12 papers receiving 86 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Pierre Weis France	6	64	53	33	24	17	13	103
Luiz De Rose United States	3	43 0.7×	29 0.5×	89 2.7×	51 2.1×	14 0.8×	4	119
Ornela Dardha United Kingdom	6	90 1.4×	58 1.1×	17 0.5×	39 1.6×	21 1.2×	19	104
Péter Szeredi Hungary	7	108 1.7×	35 0.7×	46 1.4×	56 2.3×	18 1.1×	18	138
Assia Mahboubi France	5	110 1.7×	98 1.8×	16 0.5×	22 0.9×	13 0.8×	14	146
Dang Van Hung Spain	6	52 0.8×	70 1.3×	28 0.8×	24 1.0×	7 0.4×	31	110
Naoki Nishida Japan	7	106 1.7×	78 1.5×	18 0.5×	19 0.8×	10 0.6×	35	121
Dean Rosenzweig Croatia	6	98 1.5×	86 1.6×	20 0.6×	23 1.0×	24 1.4×	12	126
David Pichardie France	8	109 1.7×	61 1.2×	34 1.0×	27 1.1×	10 0.6×	26	133
Silvia Ghilezan Serbia	9	138 2.2×	97 1.8×	15 0.5×	34 1.4×	10 0.6×	36	165
Robert Dockins United States	6	133 2.1×	92 1.7×	31 0.9×	34 1.4×	10 0.6×	11	144

Countries citing papers authored by Pierre Weis

Since Specialization

Citations

This map shows the geographic impact of Pierre Weis's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Pierre Weis with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Pierre Weis more than expected).

Fields of papers citing papers by Pierre Weis

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Pierre Weis. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Pierre Weis. The network helps show where Pierre Weis may publish in the future.

Co-authorship network of co-authors of Pierre Weis

This figure shows the co-authorship network connecting the top 25 collaborators of Pierre Weis. A scholar is included among the top collaborators of Pierre Weis based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Pierre Weis. Pierre Weis is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

13 of 13 papers shown

1.

Boldo, Sylvie, et al.. (2014). Trusting computations: A mechanized proof from partial differential equations to actual program. Computers & Mathematics with Applications. 68(3). 325–352. 9 indexed citations

2.

Boldo, Sylvie, et al.. (2012). Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. Journal of Automated Reasoning. 50(4). 423–456. 23 indexed citations

3.

Chavent, Guy, et al.. (2011). Image segmentation with multidimensional refinement indicators. Inverse Problems in Science and Engineering. 19(5). 577–597. 3 indexed citations

4.

Weis, Pierre, et al.. (2008). The multidimensional refinement indicators algorithm for optimal parameterization. Journal of Inverse and Ill-Posed Problems. 16(2). 6 indexed citations

5.

Cosmo, Roberto Di, Zheng Li, Susanna Pelagatti, & Pierre Weis. (2008). SKELETAL PARALLEL PROGRAMMING WITH OCAMLP3L 2.0. Parallel Processing Letters. 18(1). 149–164. 5 indexed citations

6.

Doligez, Damien, Alain Frisch, Jacques Garrigue, et al.. (2007). New Results - The Objective Caml system, tools, and extensions. 1 indexed citations

7.

Martín, Victor F., et al.. (2006). Domain decomposition and skeleton programming with OCamlP3l. Parallel Computing. 32(7-8). 539–550. 7 indexed citations

8.

Cosmo, Roberto Di, et al.. (2004). Parallel Programming with the System Applications to Numerical Code Coupling. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations

9.

Leroy, Xavier, Jacques Garrigue, Damien Doligez, et al.. (2002). New Results - Implémentations de Caml. 3 indexed citations

10.

Weis, Pierre, et al.. (1995). An exact arithmetic package for ML. Science of Computer Programming.

11.

Dubois, Catherine, et al.. (1995). Extensional polymorphism. 118–129. 25 indexed citations

12.

Serrano, Manuel & Pierre Weis. (1993). 1+1=1 : an optimizing Caml compiler. OpenGrey (Institut de l'Information Scientifique et Technique). 1 indexed citations

13.

Weis, Pierre, et al.. (1990). The CAML reference manual. OpenGrey (Institut de l'Information Scientifique et Technique). 491. 19 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact