Autor: "Worrell, James" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Porous invariants for linear systems
Autorzy:: Lefaucheux, Engel
Ouaknine, JoëlAff2, IDs10703024004443_cor2
Purser, David
Worrell, James; Pokaż więcej
Źródło:: Formal Methods in System Design: An International Journal. :1-37

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Risk Perceptions about Personal Internet-of-Things: Research Directions from a Multi-Panel Delphi Study
Autorzy:: Di Gangi, Paul M.
Wech, Barbara A.
Hamrick, Jennifer D.
Worrell, James L.
Goh, Samuel H.; Pokaż więcej
Deskryptory:: Risk Assessment
Consumer Economics
Computer Security
Information Security
Delphi Technique
Data Collection
Źródło:: Journal of Cybersecurity Education, Research and Practice. Jan 2023 2022(2).
Recenzowane naukowo:: Y
Page Count:: 20

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Costs and rewards in priced timed automata
Autorzy:: Fränzle, Martin
Shirmohammadi, Mahsa
Swaminathan, Mani
Worrell, James; Pokaż więcej
Źródło:: In Information and Computation January 2022 282

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Probabilistic automata of bounded ambiguity
Autorzy:: Fijalkow, Nathanaël
Riveros, Cristian
Worrell, James; Pokaż więcej
Źródło:: In Information and Computation January 2022 282

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On Strongest Algebraic Program Invariants.
Autorzy:: HRUSHOVSKI, EHUD
OUAKNINE, JOËL
POULY, AMAURY
WORRELL, JAMES; Pokaż więcej
Temat:: POLYNOMIALS
EQUATIONS
MATRICES (Mathematics)
Źródło:: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-22, 22p

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: On the Zeros of Exponential Polynomials.
Autorzy:: CHONEV, VENTSISLAV
OUAKNINE, JOEL
WORRELL, JAMES; Pokaż więcej
Źródło:: Journal of the ACM; Aug2023, Vol. 70 Issue 4, p1-26, 26p

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 7.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: First-Order Orbit Queries
Autorzy:: Almagor, Shaull
Ouaknine, JoëlAff2, Aff3
Worrell, James; Pokaż więcej
Źródło:: Theory of Computing Systems. 65(4):638-661

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 9.

Tytuł:: On the Monniaux Problem in Abstract Interpretation
Autorzy:: Fijalkow, Nathanaël
Lefaucheux, Engel
Ohlmann, Pierre
Ouaknine, JoëlAff10, Aff12
Pouly, Amaury
Worrell, James; Pokaż więcej
Źródło:: Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings. 11822:162-180

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Model Checking Real-Time Systems
Autorzy:: Bouyer, Patricia
Fahrenberg, Uli
Larsen, Kim Guldstrand
Markey, NicolasAff5, Aff6
Ouaknine, JoëlAff9, Aff10
Worrell, James; Pokaż więcej
Źródło:: Handbook of Model Checking. :1001-1046

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Autorzy:: Fijalkow, NathanaëlAff1, Aff2
Ohlmann, Pierre
Ouaknine, JoëlAff4, Aff5
Pouly, Amaury
Worrell, James; Pokaż więcej
Źródło:: Theory of Computing Systems. 63(5):1027-1048

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 12.

Tytuł:: Timed Temporal Logics
Autorzy:: Bouyer, Patricia
Laroussinie, François
Markey, Nicolas
Ouaknine, JoëlAff22, Aff23
Worrell, James; Pokaż więcej
Źródło:: Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. 10460:211-230

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: What could possibly go wrong? A multi-panel Delphi study of organizational social media risk
Autorzy:: Di Gangi, Paul M.
Johnston, Allen C.
Worrell, James L.
Thompson, Samuel C.; Pokaż więcej
Źródło:: Information Systems Frontiers: A Journal of Research and Innovation. 20(5):1097-1116

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Markov Chains and Unambiguous Büchi Automata
Autorzy:: Baier, Christel
Kiefer, Stefan
Klein, Joachim
Klüppelholz, Sascha
Müller, David
Worrell, James; Pokaż więcej
Źródło:: Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. 9779:23-42

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Language equivalence of probabilistic pushdown automata
Autorzy:: Forejt, Vojtěch
Jančar, Petr
Kiefer, Stefan
Worrell, James; Pokaż więcej
Źródło:: In Information and Computation October 2014 237:1-11

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Minimisation of Multiplicity Tree Automata
Autorzy:: Kiefer, Stefan
Marusic, Ines
Worrell, James; Pokaż więcej
Źródło:: Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9034:297-311

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Three Variables Suffice for Real-Time Logic
Autorzy:: Antonopoulos, Timos
Hunter, Paul
Raza, Shahab
Worrell, James; Pokaż więcej
Źródło:: Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9034:361-374

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Complexity of Equivalence and Learning for Multiplicity Tree Automata
Autorzy:: Marusic, Ines
Worrell, James; Pokaż więcej
Źródło:: Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 8634:414-425

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
Autorzy:: Ouaknine, Joël
Worrell, James; Pokaż więcej
Źródło:: Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. 8573:330-341

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: On the Positivity Problem for Simple Linear Recurrence Sequences,
Autorzy:: Ouaknine, Joël
Worrell, James; Pokaż więcej
Źródło:: Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. 8573:318-329

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Worrell, James"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji