المؤلفون: Sira Yongchareon, Chengfei Liu, Jyothi Kunchala, Jian Yu

المصدر: Computing. 102:951-976

مصطلحات موضوعية: Numerical Analysis, Computer science, Business process, business.industry, 020206 networking & telecommunications, 02 engineering and technology, Business process modeling, Computer Science Applications, Theoretical Computer Science, Computational Mathematics, Flow logic, Inter organizational, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Computer communication networks, Merge (version control), Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::834da5e18c353c99dac9fe4bcf174ddc
https://doi.org/10.1007/s00607-019-00770-z

المؤلفون: Mike Halsey

المصدر: The IT Support Handbook ISBN: 9781484251324

مصطلحات موضوعية: Flow logic, Computer science, Troubleshooting, Computer security, computer.software_genre, computer, Front (military)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d44a3e9f5db7949066200e58735efd2c
https://doi.org/10.1007/978-1-4842-5133-1_4

المؤلفون: Henrik Søndberg Karlsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen, René Rydhof Hansen

المصدر: Wognsen, E R, Karlsen, H S, Olesen, M C & Hansen, R R 2014, ' Formalisation and analysis of Dalvik bytecode ', Science of Computer Programming, vol. 92, no. Part A, pp. 25-55 . https://doi.org/10.1016/j.scico.2013.11.037

مصطلحات موضوعية: Bytecode, Flow logic, Control flow analysis, Control flow, Computer science, Programming language, Dynamic dispatch, Malware, Static analysis, Android (operating system), computer.software_genre, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d17e2f44ecf7ec8a444fb5f240e6a4e1
https://doi.org/10.1016/j.scico.2013.11.037

المؤلفون: Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

المصدر: The Journal of Logic and Algebraic Programming. 77:92-130

مصطلحات موضوعية: Theoretical computer science, Pathway analysis, Logic, Computer science, Process calculus, media_common.quotation_subject, Systems biology, Control flow analysis, Monotone frameworks, Flow logic, Theoretical Computer Science, Set (psychology), media_common, Data-flow analysis, Systems Biology, Postdiction, BioAmbients, Static analysis, Computational Theory and Mathematics, Debugging, LDL degradation pathway, Software, Data flow analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f334a0ac857974a4838b2d7644cf9309
https://doi.org/10.1016/j.jlap.2008.05.006

المؤلفون: Hanne Riis Nielson, Flemming Nielson

المصدر: Electronic Notes in Theoretical Computer Science. 172:523-543

مصطلحات موضوعية: Flow Logic, Mathematical optimization, Theoretical computer science, General Computer Science, Bell-LaPadula Mandatory Access Control, Static Analysis, Static analysis, Computer security model, Security policy, Mandatory access control, Theoretical Computer Science, Least fixed point, Order (exchange), Security Properties, Least Fixed Point logic, Heuristics, Boolean data type, Computer Science(all), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f8e60598daf5249c6c5d11b537e791b
https://doi.org/10.1016/j.entcs.2007.02.018

المؤلفون: Igor Siveroni, René Rydhof Hansen

المصدر: Electronic Notes in Theoretical Computer Science. 141:145-162

مصطلحات موضوعية: Flow Logic, Correctness, General Computer Science, Java, Computer science, Programming language, Static analysis, computer.software_genre, Theoretical Computer Science, Java Card bytecode, Bytecode, static analysis, Real time Java, Operating system, well-formed transactions, Software_PROGRAMMINGLANGUAGES, Java Card, Programmer, Java annotation, computer, Java applet, Computer Science(all), computer.programming_language, Data-flow analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f4c032d82606b530c478b0cafd7ef8d
https://doi.org/10.1016/j.entcs.2005.02.032

المؤلفون: Christian W. Probst, Hanne Riis Nielson, René Rydhof Hansen, Rosario Pugliese, Rocco De Nicola, Flemming Nielson, Daniele Gorla

المصدر: De Nicola, R, Gorla, D, Hansen, R R, Nielson, F, Nielson, H R, Probst, C W & Pugliese, R 2010, ' From Flow Logic to Static Type Systems for Coordination Languages ', Science of Computer Programming, vol. 75, no. 6, pp. 376-397 . https://doi.org/10.1016/j.scico.2009.07.009
COORDINATION

مصطلحات موضوعية: Flow Logic, Correctness, Programming language, Computer science, Formal methods, Distributed computing, Type systems, Construct (python library), Static analysis, computer.software_genre, Global computing, Coordination languages, Typing environment, Tuple space, Tuple, type systems, formal methods, flow logic, coordination languages, global computing, Process migration, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ff46e677450ab180e45e2195ce479fc
https://vbn.aau.dk/da/publications/d6005291-e9d7-4784-ae44-956cea70306d

المؤلفون: Dennis McCarthy, Nick Rich

مصطلحات موضوعية: Lean project management, Engineering, Flow logic, business.industry, Management system, Key (cryptography), Production (economics), business, Master plan, Cash conversion cycle, Combined approach, Manufacturing engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ebf122bb9421a347bf5b80b32c420672
https://doi.org/10.1016/b978-0-08-100090-8.00002-1

المؤلفون: Flemming Nielson, Hanne Riis Nielson, Ren eacute Rydhorf Hansen

المصدر: Technical University of Denmark Orbit

مصطلحات موضوعية: Password, General Computer Science, Process calculus, Hardest attackers, Static analysis, Computer security, computer.software_genre, Flow logic, Theoretical Computer Science, Firewall (construction), Control flow analysis, Ambient calculus, Control flow, Firewalls, Control-flow analysis, computer, Time complexity, Mobile ambients, Mathematics, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::174fe6ed3620579b265d98ea7aa5c015

المؤلفون: Nielson, Hanne Riis, Nielson, Flemming, Buchholtz, Mikael

المصدر: Nielson , H R , Nielson , F & Buchholtz , M 2004 , Security for Mobility . in Foundations of Security Analysis and Design II - FOSAD 2001/2002 Tutorial Lectures . Springer , pp. 207-265 . < http://www.imm.dtu.dk/pubdb/p.php?2840 >

مصطلحات موضوعية: Mobile Ambients, Security, Flow Logic, Mobility

Relation: https://orbit.dtu.dk/en/publications/f9b0a3a1-7ccf-420e-81f8-5a1ca0b7c964; urn:ISBN:3-540-20955-7

الاتاحة: https://orbit.dtu.dk/en/publications/f9b0a3a1-7ccf-420e-81f8-5a1ca0b7c964
http://www.imm.dtu.dk/pubdb/p.php?2840

المؤلفون: Siddharth Sharma, Nishaat Vasi, Jason Ghidella

المصدر: AIAA Modeling and Simulation Technologies (MST) Conference.

مصطلحات موضوعية: Cockpit display system, Flow logic, Software, Finite-state machine, business.industry, Computer science, Model-based design, Control engineering, Control logic, business, Relevant information

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::263d843ce2b1ec512591845d1e01be03
https://doi.org/10.2514/6.2013-4589

المؤلفون: Hansen, René Rydhof

المصدر: Hansen , R R 2002 , A Prototype Tool for JavaCard Firewall Analysis . in Nordic Workshop on Secure IT-Systems . Karlstad University . < http://www.imm.dtu.dk/pubdb/p.php?2979 >

مصطلحات موضوعية: static analysis java card firewall flow logic

الاتاحة: https://orbit.dtu.dk/en/publications/0dd8a3f9-b01b-4aaa-9bf7-bf4ad74a019a
http://www.imm.dtu.dk/pubdb/p.php?2979

المؤلفون: Hansen, René Rydhof

المصدر: Hansen , R R 2001 , Flow Logics for Carmel . in The 13th Nordic Workshop on Programming Theory, Informatics and Mathematical Modelling, Technical University of Denmark . Informatics and Mathematical Modelling, Technical University of Denmark , The 13th Nordic Workshop on Programming Theory , 01/01/2001 . < http://www.imm.dtu.dk/pubdb/p.php?2978 >

مصطلحات موضوعية: static analysis java card flow logic

الاتاحة: https://orbit.dtu.dk/en/publications/5a072244-9f10-447e-9d22-79c253315f33
http://www.imm.dtu.dk/pubdb/p.php?2978

المؤلفون: Pilegaard, Henrik

المصدر: Pilegaard, H 2003, A feasibility Study: The Succinct Solver v2.0, XSB Prolog v2.6, and Flow-Logic Based Program Analysis for Carmel .

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SecSafe Prolog Succinct Solver Carmel Flow-Logic

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1202::a915e22a795da046541861ec29fc2776
http://orbit.dtu.dk/ws/files/2796593/imm3193.pdf

المؤلفون: Nielson, Hanne Riis, Nielson, Flemming, Buchholtz, Mikael

المصدر: Nielson, H R, Nielson, F & Buchholtz, M 2002, Security for Mobility . < http://www.imm.dtu.dk/pubdb/p.php?1254 >

مصطلحات موضوعية: Flow Logic, Mobility, Mobile Ambients, Security

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1202::908e6bc414000dc73161b6ec97726f86
https://orbit.dtu.dk/en/publications/e7d18772-73eb-4ee1-b1f8-7ac7ada63ef8

المؤلفون: H. Riis Nielson, Chiara Bodei, Flemming Nielson, Pierpaolo Degano

المصدر: Technical University of Denmark Orbit

مصطلحات موضوعية: Control Flow Analysis, Theoretical computer science, Computer Networks and Communications, Computer science, business.industry, Semantics (computer science), Cryptography, Encryption, Flow logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Control flow analysis, nuSpi Calculus, Security Properties, Symmetric-key algorithm, Hardware and Architecture, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Secrecy, business, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e0f4c2d774b73e77d8432431f52e2bb
http://hdl.handle.net/11568/184678

المؤلفون: Hanne Riis Nielson, Flemming Nielson

المصدر: Mathematical Foundations of Computer Science 1998 ISBN: 9783540648277
MFCS

مصطلحات موضوعية: Correctness, Computer science, Programming language, Coinduction, Minor (linear algebra), computer.software_genre, Mathematical proof, Object (philosophy), Operational semantics, Flow logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Control flow analysis, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Algorithm, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e089b1147f542879dd1de621c301b427
https://doi.org/10.1007/bfb0055771

المؤلفون: Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://wwwusers.di.uniroma1.it/~gorla/papers/DGHNNPP-SCP10.pdf.

مصطلحات موضوعية: Key words, Global computing, Coordination languages, Formal methods, Flow logic, Type

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.3708; http://wwwusers.di.uniroma1.it/~gorla/papers/DGHNNPP-SCP10.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.3708
http://wwwusers.di.uniroma1.it/~gorla/papers/DGHNNPP-SCP10.pdf

المؤلفون: René Rydhof Hansen, Mathematical Modelling, Igor A. Siveroni

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.diku.dk/~rrhansen/pubs/bytecode05.pdf.

مصطلحات موضوعية: Key words, Java Card bytecode, well-formed transactions, static analysis, Flow Logic

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.2688; http://www.diku.dk/~rrhansen/pubs/bytecode05.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.2688
http://www.diku.dk/~rrhansen/pubs/bytecode05.pdf

المؤلفون: Shimon Y. Nof

المصدر: International Journal of Production Research. 20:575-590

مصطلحات موضوعية: Flow control (data), Engineering, Queueing theory, business.industry, Job shop, Strategy and Management, Transfer line, Control engineering, Management Science and Operations Research, Industrial and Manufacturing Engineering, Material flow, Flow system, Flow logic, Control theory, business, AND gate

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::96e6440592adf9ff4ab5f1aaaecfa1b1
https://doi.org/10.1080/00207548208947788