Search results for "stateful"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Roman Ginis, Robert E. Strom	An Autonomic Messaging Middleware with Stateful Stream Transformation.	ICAC	2004	DBLP DOI BibTeX RDF
25	Rémi Douence, Pascal Fradet, Mario Südholt	Composition, reuse and interaction analysis of stateful aspects.	AOSD	2004	DBLP DOI BibTeX RDF	reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition
25	Pankaj N. Parmar, Priya Rajagopal, Ravi Sahita	Protocol Decode Based Stateful Firewall Policy Definition Language.	POLICY	2004	DBLP DOI BibTeX RDF
25	Andrej Bogdanov, Hoeteck Wee	A Stateful Implementation of a Random Function Supporting Parity Queries over Hypercubes.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
25	Nong Ye	QoS-Centric Stateful Resource Management in Information Systems.	Inf. Syst. Frontiers	2002	DBLP DOI BibTeX RDF	quality of service, internet, information systems, resource management, cyber attacks
25	Rocky K. C. Chang, King P. Fung	Transport layer proxy for stateful UDP packet filtering.	ISCC	2002	DBLP DOI BibTeX RDF
25	Christopher Krügel, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer	Stateful Intrusion Detection for High-Speed Networks.	S&P	2002	DBLP DOI BibTeX RDF	Intrusion Detection, High-Speed Networks, Security Analysis
21	Freddy Lécué, Alexandre Delteil, Alain Léger	Extending Web Service Composition Languages with Semantic Data Flow.	ICSC	2009	DBLP DOI BibTeX RDF
21	Andrey Brito, Christof Fetzer, Heiko Sturzrehm, Pascal Felber	Speculative out-of-order event processing with software transaction memory.	DEBS	2008	DBLP DOI BibTeX RDF	software transactional memory, event stream processing
21	Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov	Interface theories with component reuse.	EMSOFT	2008	DBLP DOI BibTeX RDF	interfaces, composition, refinement
21	Zakir Laliwala, Sanjay Chaudhary	Service grouping and group notification in grid business process.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	event-driven SOA, grid business process, service grouping, web services, SOA, notification
21	Vijay A. Balasubramaniyan, Arup Acharya, Mustaque Ahamad, Mudhakar Srivatsa, Italo Dacosta, Charles P. Wright	SERvartuka: Dynamic Distribution of State to Improve SIP Server Scalability.	ICDCS	2008	DBLP DOI BibTeX RDF
21	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Concurrent Enforcement of Usage Control Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Policy, System Management, Usage Control, Enforcement
21	Daniela Weinberg	Efficient Controllability Analysis of Open Nets.	WS-FM	2008	DBLP DOI BibTeX RDF	Petri nets, Business process analysis, Process verification and validation, Formal models in business process management
21	Ming-Wei Wu, Yi-Min Wang, Sy-Yen Kuo, Yennun Huang	Self-Healing Spyware: Detection, and Remediation.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
21	Manhee Lee, Eun Jung Kim 0001	A Comprehensive Framework for Enhancing Security in InfiniBand Architecture.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Cluster Security, InfiniBand Architecture, Galois/Counter Mode, Availability DoS, Authentication, Encryption
21	Holger Schmidt 0002, Rüdiger Kapitza, Franz J. Hauck, Hans P. Reiser	AWSM: Infrastructure for Adaptive Web Service Migration.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF	Dynamic Loading of Code, Web Service, Adaptation, Migration, Platform Independency
21	Piergiorgio Bertoli, Jörg Hoffmann 0001, Freddy Lécué, Marco Pistore	Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.	ICWS	2007	DBLP DOI BibTeX RDF
21	Erich M. Nahum, John M. Tracey, Charles P. Wright	Evaluating SIP server performance.	SIGMETRICS	2007	DBLP DOI BibTeX RDF	performance, SIP, server, experimental evaluation
21	Tinghui Xu, Jie Wu 0001	Quorum Based IP Address Autoconfiguration in Mobile Ad Hoc Networks.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF	IP Autoconfiguration, quorum voting, scalability, mobile ad-hoc networks (MANETs)
21	Neha Rungta, Eric G. Mercer	Hardness for Explicit State Software Model Checking Benchmarks.	SEFM	2007	DBLP DOI BibTeX RDF
21	Andrew Harrison 0001, Ian J. Taylor	The Web Services Resource Framework in a Peer-to-Peer Context.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	WS-RF, WSPeer, Peer-To-Peer, P2P, Web Services Resource Framework
21	Lixin Su, Mikko H. Lipasti	Dynamic Class Hierarchy Mutation.	CGO	2006	DBLP DOI BibTeX RDF
21	Badrish Chandramouli, Junyi Xie, Jun Yang 0001	On the database/network interface in large-scale publish/subscribe systems.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	complex subscriptions, content-based forwarding network, query processing, publish/subscribe systems
21	Alan J. Demers, Johannes Gehrke, Mingsheng Hong, Mirek Riedewald, Walker M. White	Towards Expressive Publish/Subscribe Systems.	EDBT	2006	DBLP DOI BibTeX RDF
21	Ramsés Rodríguez, Carmen Costilla, Antonio J. Calleja	A Topic-based approach to express dynamic capabilities of Semantic WS-Resources.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
21	Javier Verdú, Jorge García-Vidal, Mario Nemirovsky, Mateo Valero	The impact of traffic aggregation on the memory performance of networking applications.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
21	Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau	A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.	DSN	2005	DBLP DOI BibTeX RDF
21	David B. Lomet	Persistent Middle Tier Components Without Logging.	IDEAS	2005	DBLP DOI BibTeX RDF
21	Seung-Sun Hong, Shyhtsun Felix Wu	On Interactive Internet Traffic Replay.	RAID	2005	DBLP DOI BibTeX RDF
21	Davide Rossi, Elisa Turrini	Analyzing the Impact of Components Replication in High Available J2EE Clusters.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	components replication, performance, availability, J2EE, application server
21	Xin Li, Zhenzhou Ji, Mingzeng Hu	Session Table Architecture for Defending SYN Flood Attack.	ICICS	2005	DBLP DOI BibTeX RDF
21	Narottam Chand, Ramesh C. Joshi, Manoj Misra	Energy Efficient Cache Invalidation in a Disconnected Mobile Environment.	ICDCIT	2004	DBLP DOI BibTeX RDF
21	Yali Zhu, Elke A. Rundensteiner, George T. Heineman	Dynamic Plan Migration for Continuous Queries Over Data Streams. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
21	Mehul A. Shah, Joseph M. Hellerstein, Sirish Chandrasekaran, Michael J. Franklin	Flux: An Adaptive Partitioning Operator for Continuous Query Systems.	ICDE	2003	DBLP DOI BibTeX RDF
21	Victoria Ungureanu, Benjamin Melamed, Michael N. Katehakis	Towards an Efficient Cluster-Based E-Commerce Server.	CLUSTER	2003	DBLP DOI BibTeX RDF
21	Yan Chen 0005, Xinyuan Fan, Jian Jiao 0008, Dongmin Wang	Smart Active Object: A New Object-Oriented Programming Paradigm for Developing Multithreaded Applications.	Metainformatics	2002	DBLP DOI BibTeX RDF
19	Luciano Baresi, Pier Luca Lanzi, Matteo Miraz	TestFul: An Evolutionary Test Approach for Java.	ICST	2010	DBLP DOI BibTeX RDF	Stateful Systems, Evolutionary Algorithms, Multi-Objective Optimization, Test Generation, Object-Oriented Paradigm
19	Yu-Sung Wu, Vinita Apte, Saurabh Bagchi, Sachin Garg, Navjot Singh 0001	Intrusion detection in voice over IP environments.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Voice over IP system, Cross-protocol detection, Stateful detection, Correlation-based IDS, Intrusion detection, SIP, RTP
19	Doha Elsharief, Hamidah Ibrahim, Ali Mamat, Mohamed Othman	A survey of methods for maintaining mobile cache consistency.	MoMM	2009	DBLP DOI BibTeX RDF	mobile cache consistency, stateful approach, stateless broadcasting approach, invalidation reports
19	Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca	Towards a Dependable Architecture for Highly Available Internet Services.	ARES	2008	DBLP DOI BibTeX RDF	Stateful firewalls, Reliability, High Availability, active replication
19	Soumaya Marzouk, Mohamed Jmaiel	Towards Making WSRF Based Web Services Strongly Mobile.	WETICE	2008	DBLP DOI BibTeX RDF	strong mobility, stateful service, WSRF
19	Hagen Höpfner	Anfragebasierte Client-Indexierung in Client-Server-Informationssystemen.	Inform. Forsch. Entwickl.	2006	DBLP DOI BibTeX RDF	Stateful Server, Database Systems, Mobile Information Systems
19	Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Rémi Douence, Mario Südholt, Thomas Fritz 0001, Egon Wuchner	Dynamic Adaptation of the Squid Web Cache with Arachne.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	networking softwrae, stateful aspects, Arachne, aspect-oriented programming, web caching, open implementation
19	Mark A. Holliday, Barry Wilkinson, James Ruff	Using an end-to-end demonstration in an undergraduate grid computing course.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	load sharing facility, stateful web services, sun grid engine, grid computing, computer science education, globus
19	Bin Liu 0005, Yali Zhu, Elke A. Rundensteiner	Run-time operator state spilling for memory intensive long-running queries.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	long running queries, state spill, stateful operators, data streams, data partitions
19	Grzegorz Lewandowski, Norka B. Lucena, Steve J. Chapin	Analyzing Network-Aware Active Wardens in IPv6.	Information Hiding	2006	DBLP DOI BibTeX RDF	active wardens, traffic normalizers, active mappers, traffic analysis, covert channels, stateful, stateless, network-aware, evasion attacks
19	Arunchandar Vasan 0001, Atif M. Memon	ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	faulty PDUs, protocol data units, stateless protocols, stateful protocols, automated testing, robustness testing
15	Hojin Choi, Junghee Lee, Wonjun Lee 0001, Yoojin Kwon, Nogil Myoung, Myunghye Park, Jae-Ju Song	Cross Domain Solution With Stateful Correlation of Outgoing and Incoming Application- Layer Packets.	IEEE Access	2024	DBLP DOI BibTeX RDF
15	Li Luo, Bochang Li, Lidan Wang 0001, Jinpei Tan, Shukai Duan, Chunxiang Zhu	Reconfigurable Stateful Logic Circuit With Cu/CuI/Pt Memristors for In-Memory Computing.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
15	Paulo César Prandel, Priscila Solís Barreto	Age of information optimization in cyber-physical systems with stateful packet management techniques.	Ad Hoc Networks	2024	DBLP DOI BibTeX RDF
15	Henriette Padberg, Amir Regev, Giuseppe Piccolboni, Alessandro Bricalli, Gabriel Molas, Jean-Francois Nodin, Shahar Kvatinsky	Experimental Demonstration of Non-Stateful In-Memory Logic With 1T1R OxRAM Valence Change Mechanism Memristors.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
15	Antonio Calagna, Yenchia Yu, Paolo Giaccone, Carla-Fabiana Chiasserini	Design, Modeling, and Implementation of Robust Migration of Stateful Edge Microservices.	IEEE Trans. Netw. Serv. Manag.	2024	DBLP DOI BibTeX RDF
15	Zinuo Cai, Zebin Chen, Ruhui Ma, Haibing Guan	SMSS: Stateful Model Serving in Metaverse With Serverless Computing and GPU Sharing.	IEEE J. Sel. Areas Commun.	2024	DBLP DOI BibTeX RDF
15	Zhihan Zhou 0001, Qixiang Fang, Leonardo Neves, Francesco Barbieri, Yozen Liu, Han Liu, Maarten W. Bos, Ron Dotsch	USE: Dynamic User Modeling with Stateful Sequence Models.	CoRR	2024	DBLP DOI BibTeX RDF
15	Thomas Powell	Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
15	Dawei Sun 0001, Chunlin Zhang, Shang Gao 0003, Rajkumar Buyya	An adaptive load balancing strategy for stateful join operator in skewed data stream environments.	Future Gener. Comput. Syst.	2024	DBLP DOI BibTeX RDF
15	Pasquale Noce	Information Flow Control via Stateful Intransitive Noninterference in Language IMP.	Arch. Formal Proofs	2024	DBLP BibTeX RDF
15	Adam Hasselberg, Thomas Ohlson Timoudas, Paris Carbone, György Dán	Cliffhanger: An Experimental Evaluation of Stateful Serverless at the Edge.	WONS	2024	DBLP DOI BibTeX RDF
15	Ruobing Han, Jisheng Zhao, Hyesoon Kim	Enabling Fine-Grained Incremental Builds by Making Compiler Stateful.	CGO	2024	DBLP DOI BibTeX RDF
15	Tao Li, Yongkun Li 0001, Wenzhe Zhu, Yinlong Xu, John C. S. Lui	MinFlow: High-performance and Cost-efficient Data Passing for I/O-intensive Stateful Serverless Analytics.	FAST	2024	DBLP BibTeX RDF
15	Daigo Fujii, Katsuya Matsubara, Yuki Nakata	Stateful VM Migration Among Heterogeneous WebAssembly Runtimes for Efficient Edge-cloud Collaborations.	EdgeSys@EuroSys	2024	DBLP DOI BibTeX RDF
15	Yong Feng, Zhikang Chen, Haoyu Song 0001, Yinchao Zhang, Hanyi Zhou, Ruoyu Sun 0009, Wenkuo Dong, Peng Lu, Shuxin Liu, Chuwen Zhang, Yang Xu 0010, Bin Liu 0001	Empower Programmable Pipeline for Advanced Stateful Packet Processing.	NSDI	2024	DBLP BibTeX RDF
15	Tianlong Li, Tian Song, Yating Yang	iStack: A General and Stateful Name-based Protocol Stack for Named Data Networking.	NSDI	2024	DBLP BibTeX RDF
15	Qingyang Wu, Zhou Yu	Stateful Memory-Augmented Transformers for Efficient Dialogue Modeling.	EACL (Findings)	2024	DBLP BibTeX RDF
15	Matteo Nardelli 0001, Gabriele Russo Russo	Function Offloading and Data Migration for Stateful Serverless Edge Computing.	ICPE	2024	DBLP DOI BibTeX RDF
15	Josef Spillner	Upscaling Messaging and Stateful Computation.	ICPE (Companion)	2024	DBLP DOI BibTeX RDF
15	Hamid Ghasemirahni, Alireza Farshin, Mariano Scazzariello, Marco Chiesa, Dejan Kostic	Deploying Stateful Network Functions Efficiently using Large Language Models.	EuroMLSys@EuroSys	2024	DBLP DOI BibTeX RDF
15	Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos	Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows.	EDBT	2024	DBLP DOI BibTeX RDF
15	Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker	Stateful Protocol Composition in Isabelle/HOL.	ACM Trans. Priv. Secur.	2023	DBLP DOI BibTeX RDF
15	Jianxin Huang, Bo Yu 0008, Runhao Liu, Jinshu Su	Automatic discovery of stateful variables in network protocol software based on replay analysis.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
15	Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina	Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
15	Yang Zheng, Xiaoyi Feng, Zhaoqiang Xia, Xiaoyue Jiang, Maura Pintor, Ambra Demontis, Battista Biggio, Fabio Roli	Stateful detection of adversarial reprogramming.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Ganesh Chandrasekaran, Grace Hanusha Talakala, Shailendra Rajpoot, Rajesh Challa	CAPT: A Context-Aware Stateful Processing Ecosystem for Telco Infra Management.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Walid I. Khedr, Ameer El-Sayed Gouda, Ehab R. Mohamed	FMDADM: A Multi-Layer DDoS Attack Detection and Mitigation Framework Using Machine Learning for Stateful SDN-Based IoT Networks.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Sören Tempel, Vladimir Herdt, Rolf Drechsler	Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
15	Gábor Lencse, Keiichi Shima, Kenjiro Cho	Benchmarking methodology for stateful NAT64 gateways.	Comput. Commun.	2023	DBLP DOI BibTeX RDF
15	Zichuan Xu, Lizhen Zhou, Weifa Liang, Qiufen Xia, Wenzheng Xu, Wenhao Ren, Haozhe Ren, Pan Zhou	Stateful Serverless Application Placement in MEC With Function and State Dependencies.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
15	K. Sornalakshmi, G. Vadivu	An empirical analysis of stateful operator migration for online scheduling in distributed stream processing systems.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
15	Aqib Rashid, Jose M. Such	MalProtect: Stateful Defense Against Adversarial Query Attacks in ML-based Malware Detection.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ryan Feng, Ashish Hooda, Neal Mangaokar, Kassem Fawaz, Somesh Jha, Atul Prakash 0001	Investigating Stateful Defenses Against Black-Box Adversarial Examples.	CoRR	2023	DBLP DOI BibTeX RDF
15	Firas Al-Hafez, Guoping Zhao, Jan Peters 0001, Davide Tateo	Time-Efficient Reinforcement Learning with Stochastic Stateful Policies.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein	Optimizing Stateful Dataflow with Local Rewrites.	CoRR	2023	DBLP DOI BibTeX RDF
15	Lingfan Yu, Jinyang Li 0001	Stateful Large Language Model Serving with Pensieve.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tobias Pfandzelter, David Bermbach	Enoki: Stateful Distributed FaaS from Edge to Cloud.	CoRR	2023	DBLP DOI BibTeX RDF
15	Le Xu, Divyanshu Saxena, Neeraja J. Yadwadkar, Aditya Akella, Indranil Gupta	Dirigo: Self-scaling Stateful Actors For Serverless Real-time Data Processing.	CoRR	2023	DBLP DOI BibTeX RDF
15	Massimo Coluzzi, Amos Brocco, Alessandro Antonucci 0001, Tiziano Leidi	MementoHash: A Stateful, Minimal Memory, Best Performing Consistent Hash Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
15		Towards Persistent Memory based Stateful Serverless Computing for Big Data Applications.	CoRR	2023	DBLP DOI BibTeX RDF
15	Henriette Padberg, Amir Regev, Giuseppe Piccolboni, Alessandro Bricalli, Gabriel Molas, Jean-François Nodin, Shahar Kvatinsky	Experimental Demonstration of Non-Stateful In-Memory Logic with 1T1R OxRAM Valence Change Mechanism Memristors.	CoRR	2023	DBLP DOI BibTeX RDF
15	Qiongwen Xu, Sebastiano Miano, Xiangyu Gao, Tao Wang, Songyuan Zhang, Anirudh Sivaraman, Gianni Antichi, Srinivas Narayana	State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing.	CoRR	2023	DBLP DOI BibTeX RDF
15	Antoine Scardigli, Lukas Cavigelli, Lorenz K. Müller	RL-based Stateful Neural Adaptive Sampling and Denoising for Real-Time Path Tracing.	CoRR	2023	DBLP DOI BibTeX RDF
15	Cristian Daniele, Seyed Behnam Andarzian, Erik Poll	Fuzzers for stateful systems: Survey and Research Directions.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zhonghao Yang 0005, Shuhao Zhang 0001	A Database System for State Management in Stateful Network Service Function Chains [Vision].	CoRR	2023	DBLP DOI BibTeX RDF
15	Ashish Hooda, Neal Mangaokar, Ryan Feng, Kassem Fawaz, Somesh Jha, Atul Prakash 0001	Theoretically Principled Trade-off for Stateful Defenses against Query-Based Black-Box Attacks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vahid Noroozi, Somshubra Majumdar, Ankur Kumar, Jagadeesh Balam, Boris Ginsburg	Stateful Conformer with Cache-based Inference for Streaming Automatic Speech Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
15	Wenyuan Wu, Jasmin Heierli, Max Meisterhans, Adrian Moser, Andri Färber, Mateusz Dolata, Elena Gavagnin, Alexandre de Spindler, Gerhard Schwabe	PROMISE: A Framework for Model-Driven Stateful Prompt Orchestration.	CoRR	2023	DBLP DOI BibTeX RDF
15	Liang Liang, Heting Zhang, Guang Yang, Thomas Heinis, Rosa Filgueira	Optimization towards Efficiency and Stateful of dispel4py.	CoRR	2023	DBLP DOI BibTeX RDF
15	Thomas Powell	Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jonas Spenger, Chengyang Huang, Philipp Haller, Paris Carbone	Portals: A Showcase of Multi-Dataflow Stateful Serverless. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
15	Bruno Dinis, Étienne Miquey	Stateful Realizers for Nonstandard Analysis.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF