Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 989 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 841 Treffer
- [info.info-dc]computer science [cs]/distributed 823 Treffer
- and cluster computing [cs.dc] 823 Treffer
- parallel 823 Treffer
-
45 weitere Werte:
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 819 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 819 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 819 Treffer
- [spi.auto]engineering sciences [physics]/automatic 63 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 50 Treffer
- info 26 Treffer
- [phys.phys.phys-optics]physics [physics]/physics [physics]/optics [physics.optics] 24 Treffer
- [phys.meca]physics [physics]/mechanics [physics] 22 Treffer
- acm: i.: computing methodologies/i.2: artificial intelligence/i.2.11: distributed artificial intelligence/i.2.11.3: multiagent systems 22 Treffer
- geo 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 18 Treffer
- data generators 18 Treffer
- edu 18 Treffer
- [spi.other]engineering sciences [physics]/other 17 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.8: testing tools (e.g. 17 Treffer
- coverage testing) 17 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 12 Treffer
- [phys.meca.mefl]physics [physics]/mechanics [physics]/fluid mechanics [physics.class-ph] 11 Treffer
- [phys.meca.ther]physics [physics]/mechanics [physics]/thermics [physics.class-ph] 11 Treffer
- [spi.nrj]engineering sciences [physics]/electric power 11 Treffer
- complex systems 11 Treffer
- environment 11 Treffer
- interaction 11 Treffer
- programming language 11 Treffer
- simulation 11 Treffer
- simulation techniques 11 Treffer
- smart cities 11 Treffer
- tools and environments 10 Treffer
- envir 9 Treffer
- environment modeling 9 Treffer
- model-based testing 8 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 7 Treffer
- [info]computer science [cs] 7 Treffer
- archi 7 Treffer
- case study 7 Treffer
- formal methods 7 Treffer
- synchronization 7 Treffer
- java modeling language 6 Treffer
- lang 6 Treffer
- museo 6 Treffer
- optimization 6 Treffer
- programming languages for agents and multi-agent systems 6 Treffer
- verification 6 Treffer
- coverage 5 Treffer
- csp||b 5 Treffer
Verlag
- hal ccsd 1.215 Treffer
- springer 68 Treffer
- ieee 22 Treffer
- springer-verlag 20 Treffer
- ieee computer society press 13 Treffer
-
11 weitere Werte:
- springer international publishing switzerland 11 Treffer
- elsevier 8 Treffer
- acm 6 Treffer
- springer berlin / heidelberg 6 Treffer
- springer verlag 6 Treffer
- acm press 5 Treffer
- springer nature switzerland 4 Treffer
- ieee computer society 3 Treffer
- ieee cps 3 Treffer
- springer -verlag 3 Treffer
- ieee press 2 Treffer
Publikation
- 13th international conference on practical applications of agents and multi-agent systems (paams'15) ; https://hal.science/hal-01122557 ; 13th international conference on practical applications of agents and multi-agent systems (paams'15), jun 2015, salamanca, spain. pp.107-119, ⟨10.1007/978-3-319-18944-4_9⟩ 6 Treffer
- 14th international conference on autonomous agents and multiagent systems (aamas) ; https://hal.science/hal-01122523 ; 14th international conference on autonomous agents and multiagent systems (aamas), may 2015, istanbul, turkey. pp.1801-1802 ; http://www.aamas2015.com/en/aamas_2015_usb/aamas/p1801.pdf 6 Treffer
- euro-par 2023: parallel processing: 29th international conference on parallel and distributed computing, limassol, cyprus, august 28 - september 1, 2023, proceedings ; 29th international european conference on parallel and distributed computing (euro-par 2023) ; https://hal.science/hal-04257315 ; 29th international european conference on parallel and distributed computing (euro-par 2023), aug 2023, limassol, cyprus. pp.229--242, ⟨10.1007/978-3-031-39698-4_16⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-39698-4_16 4 Treffer
- 7th international workshop on formal aspects of component software - facs'2010 ; https://inria.hal.science/inria-00541613 ; 7th international workshop on formal aspects of component software - facs'2010, oct 2010, guimaraes, portugal 3 Treffer
- electronic proceedings in theoretical computer science ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps ; https://hal.science/hal-00935129 ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps, apr 2014, grenoble, france. 14 p 3 Treffer
-
12 weitere Werte:
- international conference on software composition 2012 ; https://hal.science/hal-00699997 ; international conference on software composition 2012, may 2012, prague, czech republic. pp.35-50 3 Treffer
- model and data engineering ; https://inria.hal.science/hal-01241302 ; model and data engineering, sep 2015, island of rhodes, greece. ⟨10.1007/978-3-319-23781-7_6⟩ 3 Treffer
- 5th international conference on tests & proofs ; https://inria.hal.science/inria-00622904 ; 5th international conference on tests & proofs, jun 2011, zurich, switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩ 2 Treffer
- annual congress of the european society of mycobacteriology ; https://hal.science/hal-04224815 ; annual congress of the european society of mycobacteriology, jun 2023, tirana, albania 2 Treffer
- conference d'informatique en parallelisme, architecture et systeme (compas 2023) ; https://hal.science/hal-04257319 ; conference d'informatique en parallelisme, architecture et systeme (compas 2023), laboratoire d'informatique, systemes, traitement de l'information et de la connaissance (listic) - universite savoie mont blanc, jul 2023, annecy, france ; https://2023.compas-conference.fr/ 2 Treffer
- tap 2015, 9th int. conf. of tests and proofs ; https://hal.science/hal-01228995 ; tap 2015, 9th int. conf. of tests and proofs, 2015, l'aquila, italy. pp.109--128 2 Treffer
- tap'10, 4th int. conf. on tests and proofs ; https://hal.science/hal-00563308 ; tap'10, 4th int. conf. on tests and proofs, 2010, spain. pp.94--100 2 Treffer
- tests and proofs ; https://inria.hal.science/hal-01108553 ; tests and proofs, jul 2014, york, united kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩ 2 Treffer
- 24e congres annuel de la societe francaise de recherche operationnelle et d'aide a la decision (roadef 2023) ; https://hal.science/hal-04257320 ; 24e congres annuel de la societe francaise de recherche operationnelle et d'aide a la decision (roadef 2023), societe francaise de recherche operationnelle et d'aide a la decision, feb 2023, rennes, france ; https://roadef2023.sciencesconf.org/ 1 Treffer
- 24eme congres annuel de l'association francaise de recherche operationnelle et d'aide a la decision (roadef 2023) ; https://hal.science/hal-04257320 ; 24eme congres annuel de l'association francaise de recherche operationnelle et d'aide a la decision (roadef 2023), association francaise de recherche operationnelle et d'aide a la decision, feb 2023, rennes, france ; https://roadef2023.sciencesconf.org/ 1 Treffer
- international wireless communications and mobile computing conference ; https://hal.science/hal-04224793 ; international wireless communications and mobile computing conference, jun 2023, marrakech, morocco 1 Treffer
- types 2022 : 28th international conference on types for proofs and programs ; 28th international conference on types for proofs and programs (types 2022) ; https://hal.science/hal-04245455 ; 28th international conference on types for proofs and programs (types 2022), jun 2022, nantes, france. pp.11:1-11:19, ⟨10.4230/lipics.types.2022.11⟩ 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
1.215 Treffer
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: FUTURMOB ; https://hal.science/hal-02472607 ; FUTURMOB, Sep 2017, Montbéliard, France, 2017Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: European Conference on Antennas and Propagation ; https://hal.science/hal-04528361 ; European Conference on Antennas and Propagation, Mar 2024, Glasgow, United Kingdom, 2024Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: Conference on Manufacturing Modelling, Management, and Control 2019 ; Conference on Manufacturing Modelling, 2019Online KonferenzZugriff:
-
In: Conference on Manufacturing Modelling, Management, and Control 2019 ; Conference on Manufacturing Modelling, 2019Online KonferenzZugriff:
-
In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022KonferenzZugriff:
-
In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022KonferenzZugriff:
-
In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022KonferenzZugriff:
-
In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-04390478 ; Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2023, Rennes, France, 2023Online KonferenzZugriff: