![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jean-François Couchot
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j24]Marianne Abi Kanaan
, Jean-François Couchot
, Christophe Guyeux
, David Laiymani
, Talar Atéchian
, Rony Darazi
:
Combining a multi-feature neural network with multi-task learning for emergency calls severity prediction. Array 21: 100333 (2024) - [j23]Héber Hwang Arcolezi
, Jean-François Couchot
, Bechara al Bouna, Xiaokui Xiao:
Improving the utility of locally differentially private protocols for longitudinal and multidimensional frequency estimates. Digit. Commun. Networks 10(2): 369-379 (2024) - [j22]Yakini Tchouka, Jean-François Couchot
, David Laiymani
, Philippe Selles, Azzedine Rahmani:
Differentially private de-identifying textual medical document is compliant with challenging NLP analyses: Example of privacy-preserving ICD-10 code association. Intell. Syst. Appl. 23: 200416 (2024) - 2023
- [j21]Héber Hwang Arcolezi
, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi:
On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. Proc. VLDB Endow. 16(5): 1126-1139 (2023) - 2022
- [j20]Héber Hwang Arcolezi
, Jean-François Couchot
, Denis Renaud
, Bechara al Bouna
, Xiaokui Xiao
:
Differentially private multivariate time series forecasting of aggregated human mobility with deep learning: Input or gradient perturbation? Neural Comput. Appl. 34(16): 13355-13369 (2022) - [j19]Héber Hwang Arcolezi
, Selene Cerna
, Jean-François Couchot
, Christophe Guyeux
, Abdallah Makhoul
:
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities. IEEE Trans. Ind. Informatics 18(8): 5592-5599 (2022) - 2021
- [j18]Makram W. Hatoum, Jean-François Couchot, Raphaël Couturier, Rony Darazi:
Using Deep learning for image watermarking attack. Signal Process. Image Commun. 90: 116019 (2021) - 2020
- [j17]Héber Hwang Arcolezi
, Jean-François Couchot
, Selene Cerna, Christophe Guyeux
, Guillaume Royer, Bechara al Bouna, Xiaokui Xiao
:
Forecasting the number of firefighter interventions per region with local-differential-privacy-based data. Comput. Secur. 96: 101888 (2020) - [j16]Nancy Awad, Jean-François Couchot
, Bechara al Bouna, Laurent Philippe:
Publishing Anonymized Set-Valued Data via Disassociation towards Analysis. Future Internet 12(4): 71 (2020) - [j15]Makram W. Hatoum
, Rony Darazi, Jean-François Couchot:
Normalized blind STDM watermarking scheme for images and PDF documents robust against fixed gain attack. Multim. Tools Appl. 79(3-4): 1887-1919 (2020) - 2019
- [j14]Nesrine Khernane, Jean-François Couchot
, Ahmed Mostefaoui:
Optimal power/rate trade-off for internet of multimedia things lifetime maximization under dynamic links capacity. Future Gener. Comput. Syst. 93: 737-750 (2019) - [j13]Christophe Guyeux
, Michel Salomon
, Bashar Al-Nuaimi, Bassam AlKindy
, Jean-François Couchot:
Ancestral Reconstruction and Investigations of Genomic Recombination on some Pentapetalae Chloroplasts. J. Integr. Bioinform. 16(4) (2019) - [j12]Nancy Awad
, Bechara al Bouna, Jean-François Couchot, Laurent Philippe:
Safe disassociation of set-valued datasets. J. Intell. Inf. Syst. 53(3): 547-562 (2019) - 2018
- [j11]Régis Garnier, Christophe Guyeux
, Jean-François Couchot, Michel Salomon
, Bashar Al-Nuaimi
, Bassam AlKindy
:
Comparison of metaheuristics to measure gene effects on phylogenetic supports and topologies. BMC Bioinform. 19-S(7): 89-107 (2018) - [j10]Christophe Guyeux
, Bashar Al-Nuaimi
, Bassam AlKindy
, Jean-François Couchot, Michel Salomon
:
On the reconstruction of the ancestral bacterial genomes in genus Mycobacterium and Brucella. BMC Syst. Biol. 12(5): 99-121 (2018) - [j9]Nesrine Khernane, Jean-François Couchot
, Ahmed Mostefaoui:
Maximum network lifetime with optimal power/rate and routing trade-off for Wireless Multimedia Sensor Networks. Comput. Commun. 124: 1-16 (2018) - [j8]Mohammed Bakiri
, Christophe Guyeux
, Jean-François Couchot, Abdelkrim Kamel Oudjida:
Survey on hardware implementation of random number generators on FPGA: Theory and experimental analyses. Comput. Sci. Rev. 27: 135-153 (2018) - [j7]Mohammed Bakiri
, Jean-François Couchot
, Christophe Guyeux
:
CIPRNG: A VLSI Family of Chaotic Iterations Post-Processings for $\mathbb {F}_{2}$ -Linear Pseudorandom Number Generation Based on Zynq MPSoC. IEEE Trans. Circuits Syst. I Regul. Pap. 65-I(5): 1628-1641 (2018) - [j6]Mohammed Bakiri
, Christophe Guyeux
, Jean-François Couchot
, Luigi Marangio
, Stefano Galatolo
:
A Hardware and Secure Pseudorandom Generator for Constrained Devices. IEEE Trans. Ind. Informatics 14(8): 3754-3765 (2018) - 2017
- [j5]Sylvain Contassot-Vivier, Jean-François Couchot, Christophe Guyeux
, Pierre-Cyrille Héam:
Random Walk in a N-Cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations. Int. J. Bifurc. Chaos 27(1): 1750014:1-1750014:18 (2017) - [j4]Ahmad W. Bitar, Rony Darazi, Jean-François Couchot, Raphaël Couturier
:
Blind digital watermarking in PDF documents using Spread Transform Dither Modulation. Multim. Tools Appl. 76(1): 143-161 (2017) - 2015
- [j3]Jean-François Couchot, Raphaël Couturier
, Christophe Guyeux
:
STABYLO: steganography with adaptive, Bbs, and binary embedding at low cost. Ann. des Télécommunications 70(9-10): 441-449 (2015) - 2012
- [j2]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux
:
Steganography: A Class of Secure and Robust Algorithms. Comput. J. 55(6): 653-666 (2012) - 2004
- [j1]Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise:
Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comput. Soc. 9(2): 17-36 (2004)
Conference and Workshop Papers
- 2023
- [c36]Sylia Amarouche, Said Talbi, Mehammed Daoui, Jean-François Couchot:
2D-ZasHen Chaotic Map-Based Medical Image Cryptographic Approach in IoT-Based Healthcare Monitoring. AICCSA 2023: 1-8 - [c35]Yakini Tchouka, Jean-François Couchot, David Laiymani
:
An Easy-to-Use and Robust Approach for the Differentially Private De-Identification of Clinical Textual Documents. HEALTHINF 2023: 94-104 - [c34]Yakini Tchouka, Jean-François Couchot, David Laiymani
, Philippe Selles, Azzedine Rahmani:
Automatic ICD-10 Code Association: A Challenging Task on French Clinical Texts. CBMS 2023: 91-96 - [c33]Marianne Abi Kanaan
, Jean-François Couchot
, Christophe Guyeux
, David Laiymani
, Talar Atéchian
, Rony Darazi
:
A Methodology for Emergency Calls Severity Prediction: From Pre-processing to BERT-Based Classifiers. AIAI (1) 2023: 329-342 - 2022
- [c32]Héber Hwang Arcolezi
, Jean-François Couchot
, Sébastien Gambs, Catuscia Palamidessi
, Majid Zolfaghari
:
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. ESORICS (3) 2022: 770-775 - 2021
- [c31]Héber Hwang Arcolezi
, Jean-François Couchot, Bechara al Bouna, Xiaokui Xiao:
Random Sampling Plus Fake Data: Multidimensional Frequency Estimates With Local Differential Privacy. CIKM 2021: 47-57 - [c30]Rémy Scholler, Oumaïma Alaoui-Ismaïli, Jean-François Couchot, Eric Ballot, Denis Renaud:
Observing Road Freight Traffic from Mobile Network Signalling Data While Respecting Privacy and Business Confidentiality. Privacy and Identity Management 2021: 195-205 - 2020
- [c29]Héber Hwang Arcolezi
, Jean-François Couchot, Oumaya Baala
, Jean-Michel Contet, Bechara al Bouna, Xiaokui Xiao
:
Mobility modeling through mobile data: generating an optimized and open dataset respecting privacy. IWCMC 2020: 1689-1694 - [c28]Héber Hwang Arcolezi
, Jean-François Couchot
, Bechara al Bouna
, Xiaokui Xiao
:
Longitudinal Collection and Analysis of Mobile Phone Data with Local Differential Privacy. Privacy and Identity Management 2020: 40-57 - 2019
- [c27]Nancy Awad, Jean-François Couchot, Bechara al Bouna, Laurent Philippe:
Ant-driven clustering for utility-aware disassociation of set-valued datasets. IDEAS 2019: 6:1-6:9 - [c26]Jean-François Couchot, Christophe Guyeux
, Guillaume Royer:
Anonymously forecasting the number and nature of firefighting operations. IDEAS 2019: 30:1-30:8 - [c25]Sylvain Contassot-Vivier, Jean-François Couchot, Mohammed Bakiri
, Pierre-Cyrille Héam:
Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that. HPCS 2019: 650-657 - 2018
- [c24]Makram W. Hatoum, Rony Darazi, Jean-François Couchot:
Blind PDF Document Watermarking Robust Against PCA and ICA Attacks. ICETE (2) 2018: 586-593 - [c23]Nesrine Khernane, Jean-François Couchot, Ahmed Mostefaoui:
Joint routing/encoding-power for network lifetime maximization in WMSN. WCNC 2018: 1-6 - 2017
- [c22]Sylvain Contassot-Vivier, Jean-François Couchot:
Canonical Form of Gray Codes in N-cubes. AUTOMATA 2017: 68-80 - [c21]Christophe Guyeux
, Bashar Al-Nuaimi
, Bassam AlKindy
, Jean-François Couchot, Michel Salomon
:
On the Ability to Reconstruct Ancestral Genomes from Mycobacterium Genus. IWBBIO (1) 2017: 642-658 - [c20]Nesrine Khernane, Jean-François Couchot, Ahmed Mostefaoui:
Routing impact on network lifetime maximization using power/rate trade-off in WVSN. IWCMC 2017: 97-102 - [c19]Jean-François Couchot, Raphaël Couturier
, Michel Salomon
:
Improving Blind Steganalysis in Spatial Domain Using a Criterion to Choose the Appropriate Steganalyzer Between CNN and SRM+EC. SEC 2017: 327-340 - [c18]Mohammed Bakiri
, Jean-François Couchot, Christophe Guyeux:
One Random Jump and One Permutation: Sufficient Conditions to Chaotic, Statistically Faultless, and Large Throughput PRNG for FPGA. SECRYPT 2017: 295-302 - 2016
- [c17]Nesrine Khernane, Jean-François Couchot, Ahmed Mostefaoui:
Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints. MobiWac 2016: 59-66 - [c16]Mohammed Bakiri
, Jean-François Couchot, Christophe Guyeux
:
FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study. SECRYPT 2016: 302-309 - [c15]Jean-François Couchot, Raphaël Couturier
, Yousra Ahmed Fadil, Christophe Guyeux
:
A Second Order Derivatives based Approach for Steganography. SECRYPT 2016: 424-431 - 2015
- [c14]Bassam AlKindy
, Christophe Guyeux
, Jean-François Couchot, Michel Salomon
, Christian Parisod
, Jacques M. Bahi:
Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes. AlCoB 2015: 83-96 - [c13]Bassam AlKindy
, Bashar Al-Nuaimi
, Christophe Guyeux
, Jean-François Couchot, Michel Salomon
, Reem Alsrraj, Laurent Philippe:
Binary Particle Swarm Optimization Versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees. CIBB 2015: 165-179 - [c12]Yousra Ahmed Fadil, Jean-François Couchot, Raphaël Couturier
, Christophe Guyeux
:
Steganalyzer Performances in Operational Contexts. IIH-MSP 2015: 429-432 - [c11]Bassam AlKindy
, Huda Al-Nayyef
, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Jacques M. Bahi:
Improved Core Genes Prediction for Constructing Well-Supported Phylogenetic Trees in Large Sets of Plant Species. IWBBIO (1) 2015: 379-390 - 2014
- [c10]Bassam AlKindy
, Christophe Guyeux
, Jean-François Couchot, Michel Salomon
, Jacques M. Bahi:
Gene similarity-based approaches for determining core-genes of chloroplasts. BIBM 2014: 71-74 - [c9]Jean-François Couchot, Pierre-Cyrille Héam, Christophe Guyeux, Qianxue Wang, Jacques M. Bahi:
Pseudorandom Number Generators with Balanced Gray Codes. SECRYPT 2014: 469-475 - 2013
- [c8]Jacques M. Bahi, Jean-François Couchot, Nicolas Friot, Christophe Guyeux
, Kamel Mazouzi:
Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction. IIH-MSP 2013: 547-550 - 2011
- [c7]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux
, Adrien Richard:
On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. FCT 2011: 126-137 - [c6]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux
:
Steganography: A Class of Algorithms having Secure Properties. IIH-MSP 2011: 209-212 - 2007
- [c5]Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108 - [c4]Jean-François Couchot, Stéphane Lescuyer:
Handling Polymorphism in Automated Deduction. CADE 2007: 263-278 - [c3]Jean-François Couchot, Frédéric Dadeau:
Guiding the Correction of Parameterized Specifications. IFM 2007: 176-194 - 2005
- [c2]Jean-François Couchot, Alain Giorgetti
, Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety. ASE 2005: 364-367 - 2003
- [c1]Jean-François Couchot, Frédéric Dadeau, David Déharbe
, Alain Giorgetti
, Silvio Ranise
:
Proving and Debugging Set-Based Specifications. WMF 2003: 189-208
Informal and Other Publications
- 2023
- [i34]Yakini Tchouka, Jean-François Couchot, David Laiymani, Philippe Selles, Azzedine Rahmani:
Automatic ICD-10 Code Association: A Challenging Task on French Clinical Texts. CoRR abs/2304.02886 (2023) - 2022
- [i33]Héber Hwang Arcolezi, Jean-François Couchot, Denis Renaud, Bechara al Bouna, Xiaokui Xiao:
Differentially Private Multivariate Time Series Forecasting of Aggregated Human Mobility With Deep Learning: Input or Gradient Perturbation? CoRR abs/2205.00436 (2022) - [i32]Héber Hwang Arcolezi, Jean-François Couchot, Sébastien Gambs, Catuscia Palamidessi, Majid Zolfaghari:
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. CoRR abs/2205.02648 (2022) - [i31]Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi:
On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. CoRR abs/2209.01684 (2022) - [i30]Yakini Tchouka, Jean-François Couchot, Maxime Coulmeau, David Laiymani, Philippe Selles, Azzedine Rahmani, Christophe Guyeux:
De-Identification of French Unstructured Clinical Notes for Machine Learning Tasks. CoRR abs/2209.09631 (2022) - [i29]Rémy Scholler, Jean-François Couchot, Oumaima Alaoui Ismaili, Denis Renaud, Eric Ballot:
In-stream Probabilistic Cardinality Estimation for Bloom Filters. CoRR abs/2210.15630 (2022) - [i28]Yakini Tchouka, Jean-François Couchot, David Laiymani:
An Easy-to-use and Robust Approach for the Differentially Private De-Identification of Clinical Textual Documents. CoRR abs/2211.01147 (2022) - 2021
- [i27]Héber Hwang Arcolezi, Jean-François Couchot, Bechara al Bouna, Xiaokui Xiao:
Random Sampling Plus Fake Data: Multidimensional Frequency Estimates With Local Differential Privacy. CoRR abs/2109.07269 (2021) - [i26]Héber Hwang Arcolezi, Jean-François Couchot, Bechara al Bouna, Xiaokui Xiao:
Improving the Utility of Locally Differentially Private Protocols for Longitudinal and Multidimensional Frequency Estimates. CoRR abs/2111.04636 (2021) - 2019
- [i25]Nancy Awad, Bechara al Bouna, Jean-François Couchot, Laurent Philippe:
Safe Disassociation of Set-Valued Datasets. CoRR abs/1904.03112 (2019) - 2017
- [i24]Sylvain Contassot-Vivier, Jean-François Couchot, Christophe Guyeux, Pierre-Cyrille Héam:
Random Walk in a N-cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations. CoRR abs/1702.02533 (2017) - [i23]Mohammed Bakiri, Jean-François Couchot, Christophe Guyeux:
One random jump and one permutation: sufficient conditions to chaotic, statistically faultless, and large throughput PRNG for FPGA. CoRR abs/1706.08093 (2017) - [i22]Reem Alsrraj, Bassam AlKindy, Christophe Guyeux, Laurent Philippe, Jean-François Couchot:
Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization. CoRR abs/1706.08514 (2017) - [i21]Jacques M. Bahi, Jean-François Couchot, Nicolas Friot, Christophe Guyeux:
A Robust Data Hiding Process Contributing to the Development of a Semantic Web. CoRR abs/1706.08764 (2017) - [i20]Jean-François Couchot, Pierre-Cyrille Héam, Christophe Guyeux, Qianxue Wang, Jacques M. Bahi:
Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers. CoRR abs/1706.08923 (2017) - 2016
- [i19]Jean-François Couchot, Raphaël Couturier, Christophe Guyeux, Michel Salomon:
Steganalysis via a Convolutional Neural Network using Large Convolution Filters. CoRR abs/1605.07946 (2016) - [i18]Yousra Ahmed Fadil, Jean-François Couchot, Raphaël Couturier, Christophe Guyeux:
Steganalyzer performances in operational contexts. CoRR abs/1608.05850 (2016) - [i17]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Michel Salomon:
Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with Multilayer Feedforward Networks. CoRR abs/1608.05916 (2016) - [i16]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux:
Quality Analysis of a Chaotic Proven Keyed Hash Function. CoRR abs/1608.05928 (2016) - [i15]Bassam AlKindy, Bashar Al-Nuaimi, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Reem Alsrraj, Laurent Philippe:
Binary Particle Swarm Optimization versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees. CoRR abs/1608.08749 (2016) - [i14]Jean-François Couchot, Raphaël Couturier, Yousra Ahmed Fadil, Christophe Guyeux:
A Second Order Derivatives based Approach for Steganography. CoRR abs/1611.08397 (2016) - [i13]Mohammed Bakiri, Jean-François Couchot, Christophe Guyeux:
FPGA Implementation of $\mathbb{F}_2$-Linear Pseudorandom Number Generators Based on Zynq MPSoC: a Chaotic Iterations Post Processing Case Study. CoRR abs/1611.08410 (2016) - [i12]Jean-François Couchot, Michel Salomon, Raphaël Couturier:
Improving Blind Steganalysis in Spatial Domain using a Criterion to Choose the Appropriate Steganalyzer between CNN and SRM+EC. CoRR abs/1612.08882 (2016) - 2015
- [i11]Bassam AlKindy, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Christian Parisod, Jacques M. Bahi:
Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes. CoRR abs/1504.05095 (2015) - [i10]Bassam AlKindy, Huda Al-Nayyef, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Jacques M. Bahi:
Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species. CoRR abs/1504.06110 (2015) - 2014
- [i9]Bassam AlKindy, Jean-François Couchot, Christophe Guyeux, Arnaud Mouly, Michel Salomon, Jacques M. Bahi:
Finding the Core-Genes of Chloroplasts. CoRR abs/1409.6369 (2014) - [i8]Bassam AlKindy, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Jacques M. Bahi:
Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts. CoRR abs/1412.5323 (2014) - 2012
- [i7]Jacques M. Bahi, Jean-François Couchot, Nicolas Friot, Christophe Guyeux:
Application of Steganography for Anonymity through the Internet. CoRR abs/1202.5302 (2012) - 2011
- [i6]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Qianxue Wang:
Class of Trustworthy Pseudo-Random Number Generators. CoRR abs/1112.0950 (2011) - [i5]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux:
Steganography: a class of secure and robust algorithms. CoRR abs/1112.1260 (2011) - [i4]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux:
Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations. CoRR abs/1112.1271 (2011) - [i3]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux:
Steganography: a Class of Algorithms having Secure Properties. CoRR abs/1112.1675 (2011) - [i2]Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard:
On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. CoRR abs/1112.1684 (2011) - 2009
- [i1]Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
:
Graph Based Reduction of Program Verification Conditions. CoRR abs/0907.1357 (2009)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint