Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Nicolas Zabel |
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
17 | E. Allen Emerson |
Real-Time and the Mu-Calculus (Preliminary Report). |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Kohei Honda 0001, Mario Tokoro |
An Object Calculus for Asynchronous Communication. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Michel Langevin |
Automated RTL Verification Based on Predicate Calculus. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Asperti |
Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Amy P. Felty, Dale Miller 0001 |
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Gorrieri, Ugo Montanari |
SCONE: A Simple Calculus of Nets. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Greg Nelson |
A Generalization of Dijkstra's Calculus. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Christine Paulin-Mohring |
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
17 | Ralph-Johan Back, Joakim von Wright |
Refinement Calculus, Part I: Sequential Nondeterministic Programs. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness |
17 | Flemming Nielson |
The Typed lambda-Calculus with First-Class Processes. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Michel Parigot |
On the Representation of Data in Lambda-Calculus. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Roth, Henry F. Korth, Abraham Silberschatz |
Extended Algebra and Calculus for Nested Relational Databases. |
ACM Trans. Database Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Victor Matos |
Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions. |
ACM Trans. Database Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Allen Van Gelder, Rodney W. Topor |
Safety and Correct Translation of Relational Calculus Formulas. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Erik Meijer 0001 |
Petri net models for the lambda-calculus. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca |
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. |
ICALP |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Hartmann J. Genrich, Gerda Thieler-Mevissen |
The Calculus of Facts. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Zohar Manna |
Properties of Programs and the First-Order Predicate Calculus. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
17 | Alon Jacobson, Xiaozhe Hu |
Structure-preserving discretization of fractional vector calculus using discrete exterior calculus. |
Comput. Math. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney |
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Axel Kerinec, Lionel Vaux Auclair |
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yilmaz Zengin |
Construction of proof of the Fundamental Theorem of Calculus using dynamic mathematics software in the calculus classroom. |
Educ. Inf. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Emanuele Guidotti |
calculus: High-Dimensional Numerical and Symbolic Calculus in R. |
J. Stat. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Alon Jacobson, Xiaozhe Hu |
Structure-Preserving Discretization of Fractional Vector Calculus using Discrete Exterior Calculus. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Kudasov, Violetta Sim |
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Luís Pinto 0001, Tarmo Uustalu |
Plotkin's call-by-value λ-calculus as a modal calculus. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Kudasov, Violetta Sim |
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kai Bavendiek |
The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems. |
|
2022 |
RDF |
|
17 | Hafiz Muhammad Fahad, Arran Fernandez |
Operational calculus for Caputo fractional calculus with respect to functions and the associated fractional differential equations. |
Appl. Math. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yongqiang Sun, Nan Wang 0010, Xiao-Liang Shen 0001 |
Calculus interdependency, personality contingency, and causal asymmetry: Toward a configurational privacy calculus model of information disclosure. |
Inf. Manag. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Emanuele Guidotti |
calculus: High Dimensional Numerical and Symbolic Calculus in R. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Miao-Jung Yvonne Ou |
Teaching multivariable calculus and tensor calculus with computer algebra software. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Cole Comfort |
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. |
QPL |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka B. Malinowska, Dorota Mozyrska, Lukasz Sajewski (eds.) |
Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018 |
RRNR |
2020 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. |
Math. Struct. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Ostalczyk, Dominik Sankowski, Jacek Nowakowski (eds.) |
Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017. |
RRNR |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
First-order μ-calculus over generic transition systems and applications to the situation calculus. |
Inf. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Amina Wagner, Hanna Krasnova, Olga Abramova, Peter Buxmann, Izak Benbasat |
From 'Privacy Calculus' to 'Social Calculus': Understanding Self-Disclosure on Social Networking Sites. |
ICIS |
2018 |
DBLP BibTeX RDF |
|
17 | Doina Logofatu, Christina Andersson, Damian Groskreutz, Fitore Muharremi, Egbert Falkenberg |
On teaching calculus for prospective engineers and computer scientists: A case study monitoring of six semester calculus at Frankfurt UAS. |
EDUCON |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz |
An Extension of the Fractional Gronwall Inequality. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bohdan Datsko |
Complex Dynamics in Basic Two-Component Auto-Oscillation Systems with Fractional Derivatives of Different Orders. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Oziablo |
Numerical Simulations for Fitting Parameters of Linear and Logistic-Type Fractional-, Variable-Order Equations - Comparision of Methods. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Klaudia Dziedzic |
PSO Identification for Discrete Fractional Order Model of Heat Transfer Process. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Ruszewski |
Stability Analysis for a Class of Fractional Discrete-Time Linear Scalar Systems with Multiple Delays in State. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Domek |
Switched Fractional State-Space Predictive Control Methods for Non-Linear Fractional Systems. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yuriy Povstenko, Tamara Kyrylych |
Time-Fractional Heat Conduction with Heat Absorption in a Half-Line Domain Due to Boundary Value of the Heat Flux Varying Harmonically in Time. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Kaczorek |
Extensions of Kharitonov Theorem to Positive Fractional Linear Systems. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Józef Wiora, Alicja Wiora |
Inaccuracies Revealed During the Analysis of Propagation of Measurement Uncertainty Through a Closed-Loop Fractional-Order Control System. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Macias, Dominik Sierociuk, Wiktor Malesza |
Realization of the Fractional Variable-Order Model with Symmetric Property. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Pawluszewicz |
Aspects of the Finite Step Observability of Fractional Order Discrete-Time Polynomial Systems. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Wiktor Jakowluk |
Design of an Optimal Input Signal for Parameter Estimation of Linear Fractional-Order Systems. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Wojciech Mitkowski |
Exponential Stability for a Class of Fractional Order Dynamic Systems. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Macias |
The Particular Types of Fractional Variable-Order Symmetric Operators. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Kamil Koziol, Rafal Stanislawski |
Selected Implementation Issues in Computation of the Grünwald-Letnikov Fractional-Order Difference by Means of Embedded System. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Szajek, Wojciech Sumelka |
Complexity of an Identification Problem of Sharp Local Density Loss in Fractional Body. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Slawomir Wiraszka, Piotr Sakrajda |
Switching Energy Loss in Fractional-Order Time-Varying Heat Diffusion Model. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Lino, Guido Maione |
Non-Integer Order Control of PMSM Drives with Two Nested Feedback Loops. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Girejko, Dorota Mozyrska, Malgorzata Wyrwas |
Fractional Cucker-Smale Type Models with the Caputo Variable-Order Operator. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Antun Lovro Brkic, Andrej Novák |
A Nonlocal Image Inpainting Problem Using the Linear Allen-Cahn Equation. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka Jakubowska-Ciszek, Janusz Walczak |
Frequency Method for Determining the Equivalent Parameters of Fractional-Order Elements L _β C _α. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. |
QPL |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Brian Faulkner, Geoffrey L. Herman |
Where does the calculus go? A follow up investigation of how calculus ideas are used in core engineering coursework. |
FIE |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz |
Memory-Effective Modifications of PSE Approximation. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Waldemar Bauer, Wojciech Slowik |
Comparison Fixed-Point and Floating-Point Implementation of Noninteger Filter of STM Microcontroller. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz |
Non-invasive Control of the Fractional Hegselmann-Krause Type Model. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mehmet Yavuz, Necati Özdemir |
New Numerical Techniques for Solving Fractional Partial Differential Equations in Conformable Sense. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Adam Domanski, Joanna Domanska, Tadeusz Czachórski, Jerzy Klamka, Jakub Szygula |
The AQM Dropping Packet Probability Function Based on Non-integer Order PI^α D^β P I α D β Controller. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Kaczorek |
Decentralized Stabilization of Fractional Positive Descriptor Discrete-Time Linear Systems. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Sowa |
Solutions of Circuits with Fractional, Nonlinear Elements by Means of a SubIval Solver. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandra Kawala-Janik, Waldemar Bauer, Amir F. Al-Bakri, Chase Haddix, Yuvaraj Rajamanickam, Katarzyna Cichon, Wojciech Podraza |
Implementation of Low-Pass Fractional Filtering for the Purpose of Analysis of Electroencephalographic Signals. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena Gertner |
Application of Fractional-Order Controller. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lukasz Majka |
Fractional Derivative Approach in Modeling of a Nonlinear Coil for Ferroresonance Analyses. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Piotrowska, Krzysztof Rogowski |
Analysis of Fractional Electrical Circuit Using Caputo and Conformable Derivative Definitions. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Ruszewski |
Stability Analysis of Fractional Discrete-Time Linear Scalar Systems with Pure Delay. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Domek |
Fractional Linear Systems with Memory Deficiency and Their State-Space Integer-Order Approximation. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof J. Latawiec, Rafal Stanislawski, Marian Lukaniszyn, Marek Rydel, Boguslaw R. Szkuta |
Grünwald-Letnikov-Laguerre Modeling of Discrete-Time Noncommensurate Fractional-Order State Space LTI MIMO Systems. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Benedikt Haus, Paolo Mercorelli |
An Extended Kalman Filter for Time Delays Inspired by a Fractional Order Model. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Ostalczyk, Marcin Bakala, Jacek Nowakowski |
State Delays Extraction in the Fractional-Order State-Space Model. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Edyta Gawin, Wojciech Mitkowski |
A PLC Implementation of PSE Approximant for Fractional Order Operator. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Wiktor Malesza, Dominik Sierociuk |
Duality Properties of Variable-Type and -Order Differences. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski |
Dag-calculus: a calculus for parallel computation. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ehrhard, Giulio Guerrieri |
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
On First-Order μ-Calculus over Situation Calculus Action Theories. |
KR |
2016 |
DBLP BibTeX RDF |
|
17 | Revantha Ramanayake |
Embedding the hypersequent calculus in the display calculus. |
J. Log. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kogtenkov, Bertrand Meyer 0001, Sergey Velder |
Alias calculus, change calculus and frame inference. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Virgil U. Pierce, Javier A. Kypuros |
A summer bridge to calculus for students with high school calculus experience. |
FIE |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka B. Malinowska, Tatiana Odzijewicz |
Multidimensional Discrete-Time Fractional Calculus of Variations. |
RRNR |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Joohyung Lee 0002, Ravi Palla |
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Tom Gundersen, Willem Heijltjes, Michel Parigot |
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexis Goyet |
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Christian C. Wagner, James G. Schiiller |
An Introduction to the Cognitive Calculus: A Calculus of the Human Mind. |
AAAI Fall Symposia |
2013 |
DBLP BibTeX RDF |
|
17 | Malgorzata Klimek, Maria Lupa |
Reflection Symmetry in Fractional Calculus - Properties and Applications. |
RRNR |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Szymanek |
The Application of Fractional Order Differential Calculus for the Description of Temperature Profiles in a Granular Layer. |
RRNR |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hanna Krasnova, Natasha F. Veltri, Oliver Günther 0001 |
Self-disclosure and Privacy Calculus on Social Networking Sites: The Role of Culture - Intercultural Dynamics of Privacy Calculus. |
Bus. Inf. Syst. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tatiana Odzijewicz, Agnieszka B. Malinowska, Delfim F. M. Torres |
Generalized fractional calculus with applications to the calculus of variations. |
Comput. Math. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Joohyung Lee 0002, Ravi Palla |
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. |
J. Artif. Intell. Res. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jan Wolenski |
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics. |
Logica Universalis |
2012 |
DBLP DOI BibTeX RDF |
|