Suchergebnisse - (publications of) concurrent constraint programming~

Treffer weiter einschränken
  1. 1

    A Concurrent Constraint Programming Interpretation of Access Permissions

    Autoren: Olarte, Carlos Pimentel, Elaine Rueda, Camilo

    Index Begriffe: Computer Science - Logic in Computer Science, text

    URL: http://arxiv.org/abs/1802.04695

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Bisimilarity in Concurrent Constraint Programming

    Autoren: Aristizabal P., Andres A. Andres A. Aristizabal P.

    Weitere Verfasser: Aristizabal P., Andres A. Andres A. Aristizabal P.

    Schlagwörter: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics

    Dateibeschreibung: application/pdf

    Relation: Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

    Verfügbarkeit: https://doi.org/10.4230/LIPIcs.ICLP.2010.236
    https://nbn-resolving.org/urn:nbn:de:0030-drops-26029
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent Constraint Programs∗

    Autoren: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.dsic.upv.es/~villanue/pub/FV06.pdf.

    Schlagwörter: Automatic verification, reactive systems, timed concurrent constraint programming

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771; http://www.dsic.upv.es/~villanue/pub/FV06.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771
    http://www.dsic.upv.es/~villanue/pub/FV06.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs

    Autoren: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia et al.

    Weitere Verfasser: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia et al.

    Quelle: PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming ; https://inria.hal.science/inria-00426608 ; PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩

    Schlagwörter: Concurrent Constraint Programming Abstract Interpretation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

    Geographisches Schlagwort: Coimbra, Portugal

    Verfügbarkeit: https://inria.hal.science/inria-00426608
    https://inria.hal.science/inria-00426608/document
    https://inria.hal.science/inria-00426608/file/ppdp21-olarte.pdf
    https://doi.org/10.1145/1599410.1599436

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)

    Autoren: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander et al.

    Weitere Verfasser: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander et al.

    Schlagwörter: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, alternative splicing, biological modeling, épissage alternatif, programmation par contraintes, modélisation biologique

    Zugangs-URL: https://inria.hal.science/inria-00099705v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    A Variant of Concurrent Constraint Programming on GPU

    Autoren: Talbot, Pierre Pinel, Frédéric G Bouvry, Pascal

    Quelle: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 36 No. 4: AAAI-22 Technical Tracks 4; 3830-3839 ; 2374-3468 ; 2159-5399

    Schlagwörter: Constraint Satisfaction And Optimization (CSO)

    Dateibeschreibung: application/pdf

    Relation: https://ojs.aaai.org/index.php/AAAI/article/view/20298/20057; https://ojs.aaai.org/index.php/AAAI/article/view/20298

    Verfügbarkeit: https://ojs.aaai.org/index.php/AAAI/article/view/20298
    https://doi.org/10.1609/aaai.v36i4.20298

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)

    Autoren: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

    Weitere Verfasser: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

    Schlagwörter: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, biologie systémique, modeling, systems biology, programmation par contraintes, modélisation

    Zugangs-URL: https://inria.hal.science/inria-00100608v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Dynamic Slicing for Concurrent Constraint Languages

    Autoren: Falaschi M. Gabbrielli M. Olarte C. et al.

    Weitere Verfasser: Falaschi M. Gabbrielli M. Olarte C. et al.

    Quelle: Fundamenta Informaticae. 177:331-357

    Schlagwörter: Concurrent Constraint Programming, Debugging, Program slicing, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Concurrent Constraint Programming, Debugging, Program slicing, 0202 electrical engineering, electronic engineering, information engineering

    Dateibeschreibung: application/pdf; STAMPA

    Zugangs-URL: https://hal.archives-ouvertes.fr/hal-02423973v2/file/paper.pdf
    https://hal.science/hal-02423973v2
    https://hal.science/hal-02423973v2/document
    https://doi.org/10.3233/fi-2020-1992
    https://hal.univ-cotedazur.fr/hal-02423973v1
    https://dblp.uni-trier.de/db/journals/fuin/fuin177.html#FalaschiGOP20
    https://hal.archives-ouvertes.fr/hal-02423973/document
    https://cris.unibo.it/handle/11585/812478
    https://content.iospress.com/articles/fundamenta-informaticae/fi1992
    https://hal.archives-ouvertes.fr/hal-02423973v1
    https://hdl.handle.net/11365/1124071
    https://doi.org/10.3233/FI-2020-1992
    https://journals.sagepub.com/doi/abs/10.3233/FI-2020-1992
    https://content.iospress.com/articles/fundamenta-informaticae/fi1992
    https://doi.org/10.3233/FI-2020-1992
    https://hdl.handle.net/11585/812478

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

    Autoren: Bockmayr, Alexander Courtois, Arnaud Loria, Publications et al.

    Weitere Verfasser: Bockmayr, Alexander Courtois, Arnaud Loria, Publications et al.

    Quelle: Lecture Notes in Computer Science ISBN: 9783540439301

    Schlagwörter: 0301 basic medicine, systèmes hybrides, contraintes, concurrence, biologie systémique, programmation logique, systems biology, bioinformatics, 0102 computer and information sciences, hybrid systems, biologie moléculaire, 01 natural sciences, 3. Good health, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], logic programming, 03 medical and health sciences, molecular biology, concurrency, constraints, bioinformatique

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://hal.inria.fr/inria-00107635/document
    https://inria.hal.science/inria-00100783v1
    https://inria.hal.science/inria-00107635v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    On the Expressiveness of Spatial Constraint Systems

    Autoren: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

    Weitere Verfasser: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

    Schlagwörter: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming

    Dateibeschreibung: application/pdf

    Relation: Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

    Verfügbarkeit: https://doi.org/10.4230/OASIcs.ICLP.2016.16
    https://nbn-resolving.org/urn:nbn:de:0030-drops-67469
    https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Distributed Concurrent Constraint Programming: Distributed concurrent constraint programming

    Autoren: Jean-Hugues Réty

    Quelle: Fundamenta Informaticae. 34:323-346

    Schlagwörter: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Network design and communication in computer systems, concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Dateibeschreibung: application/xml

    Zugangs-URL: https://zbmath.org/1337862
    https://content.iospress.com/articles/fundamenta-informaticae/fi34-3-05
    http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0003-0046
    https://dblp.uni-trier.de/db/journals/fuin/fuin34.html#Rety98

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Soft Concurrent Constraint Programming.

    Autoren: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

    Quelle: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

    Schlagwörter: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Universal Temporal Concurrent Constraint Programming

    Autoren: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi et al.

    Weitere Verfasser: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi et al.

    Quelle: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf.

    Schlagwörter: 1.2 Publications from this Dissertation. 14

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039
    http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Models and emerging trends of concurrent constraint programming.

    Autoren: Olarte, Carlos Rueda, Camilo Valencia, Frank

    Quelle: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    This document in subdirectoryRS/01/48/ Temporal Concurrent Constraint Programming: Applications and Behavior

    Autoren: Mogens Nielsen Frank D. Valencia Copyright C et al.

    Weitere Verfasser: Mogens Nielsen Frank D. Valencia Copyright C et al.

    Quelle: http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf.

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057
    http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem

    Autoren: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

    Weitere Verfasser: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

    Quelle: https://inria.hal.science/inria-00156049 ; [Research Report] RR-6223, INRIA. 2007.

    Schlagwörter: Probabilistic Concurrent Constraint Programming, Probabilistic Choices Combinator, Statistical Structural Testing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Verfügbarkeit: https://inria.hal.science/inria-00156049
    https://inria.hal.science/inria-00156049v3/document
    https://inria.hal.science/inria-00156049v3/file/RR-6223.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

    Autoren: Acosta, Hugo Andrés López Hildebrandt, Thomas

    Quelle: Acosta, H A L & Hildebrandt, T 2009, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. in Logic Programming : 25th International Conference, ICLP 2009. vol. 5649, Springer, Lecture Notes in Computer Science, no. 5649/2009, pp. 417, International Conference on Logic Programming (ICLP), Pasadena, United States, 02/07/2010. https://doi.org/10.1007/978-3-642-02846-5_34

    Verfügbarkeit: https://pure.itu.dk/portal/da/publications/597ca280-e1a4-11de-a523-000ea68e967b
    https://doi.org/10.1007/978-3-642-02846-5_34

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Preventive Immunology for Livestock and Zoonotic Infectious Diseases in the One Health Era: From Mechanistic Insights to Innovative Interventions.

    Autoren: Marzouk, Eman Alajaji, Ahmed I.

    Quelle: Veterinary Sciences; Oct2025, Vol. 12 Issue 10, p1014, 42p

    Schlagwörter: LIVESTOCK, ZOONOSES, ANIMAL health, DRUG resistance in microorganisms, DIAGNOSTIC services, VACCINES, INFECTION prevention

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  19. 19

    Hybrid ITSP-LSTM Approach for Stochastic Citrus Water Allocation Addressing Trade-Offs Between Hydrological-Economic Factors and Spatial Heterogeneity.

    Autoren: Xu, Wen Hu, Rui Zheng, Yifei et al.

    Quelle: Water (20734441); Sep2025, Vol. 17 Issue 18, p2665, 21p

    Schlagwörter: STOCHASTIC programming, WATER supply management, CITRUS fruit growing, WATER management, HYDROLOGICAL forecasting, WATER supply, SPATIAL variation, INTEGRATED water development

    Geografische Kategorien: CHINA, YANGTZE River (China)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Reducing Weak to Strong Bisimilarity in CCP

    Autoren: Aristizábal, Andrés Bonchi, Filippo Pino, Luis et al.

    Weitere Verfasser: Aristizábal, Andrés Bonchi, Filippo Pino, Luis et al.

    Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 104, Iss Proc. ICE 2012, Pp 2-16 (2012)

    Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, Bisimiliarity, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Software, Mathematics, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://arxiv.org/pdf/1212.3874
    http://arxiv.org/abs/1212.3458
    http://arxiv.org/abs/1212.3874
    https://doaj.org/article/5199e5c2049d47baa9fc157349a942ee
    https://hal.science/hal-00761611v1
    https://doi.org/10.4204/eptcs.104
    https://hal.science/hal-00761611v1/document
    http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3458C/abstract
    https://arxiv.org/abs/1212.3458
    https://haslab.uminho.pt/xana/publications/proceedings-ice-2012
    https://hal.archives-ouvertes.fr/hal-00761611
    https://hal.inria.fr/hal-00761611
    https://hal.archives-ouvertes.fr/hal-00761611/document
    https://dblp.uni-trier.de/db/series/eptcs/eptcs104.html#abs-1212-3874
    https://arxiv.org/pdf/1212.3874
    https://arxiv.org/abs/1212.3874
    https://arxiv.org/pdf/1212.3874.pdf
    https://arxiv.org/abs/1212.3874
    http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3874A/abstract
    https://hdl.handle.net/11568/900178
    https://doi.org/10.4204/EPTCS.104.2

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: